platform/upstream/gcc.git
19 years agoDaily bump.
GCC Administrator [Sun, 19 Jun 2005 00:16:15 +0000 (00:16 +0000)]
Daily bump.

[[Split portion of a mixed commit.]]

From-SVN: r101173.2

19 years ago* Makefile.in: Fix tree-cfgcleanup.c dependencies.
Steven Bosscher [Sat, 18 Jun 2005 22:50:56 +0000 (22:50 +0000)]
* Makefile.in: Fix tree-cfgcleanup.c dependencies.

From-SVN: r101170

19 years agoexpr.c (store_constructor): Use store of 0 to indicate value death instead of a clobber.
Richard Henderson [Sat, 18 Jun 2005 22:40:49 +0000 (15:40 -0700)]
expr.c (store_constructor): Use store of 0 to indicate value death instead of a clobber.

        * expr.c (store_constructor): Use store of 0 to indicate value
        death instead of a clobber.

        * config/i386/i386.c (ix86_expand_reduc_v4sf): New.
        * config/i386/i386-protos.h (ix86_expand_reduc_v4sf): Declare.
        * config/i386/sse.md (reduc_plus_v4sf): New.
        (reduc_smax_v4sf, reduc_smin_v4sf): New.

From-SVN: r101169

19 years ago* tr.po, vi.po: Update.
Joseph Myers [Sat, 18 Jun 2005 21:50:11 +0000 (22:50 +0100)]
* tr.po, vi.po: Update.

From-SVN: r101168

19 years agovect-reduc-1.c: Add cleanup-tree-dump.
Dorit Nuzman [Sat, 18 Jun 2005 21:27:47 +0000 (21:27 +0000)]
vect-reduc-1.c: Add cleanup-tree-dump.

        * gcc.dg/vect/vect-reduc-1.c: Add cleanup-tree-dump.
        * gcc.dg/vect/vect-reduc-2.c: Likewise.
        * gcc.dg/vect/vect-reduc-3.c: Likewise.

From-SVN: r101167

19 years agounix.c (stream_at_bof): Don't assume that all non-mmapped files are non-seekable.
Janne Blomqvist [Sat, 18 Jun 2005 20:09:28 +0000 (23:09 +0300)]
unix.c (stream_at_bof): Don't assume that all non-mmapped files are non-seekable.

* unix.c (stream_at_bof): Don't assume that all non-mmapped files
are non-seekable.
(stream_at_eof): Likewise.

From-SVN: r101164

19 years agofold_const (fold_binary): Fold X % (2**N) to X & (2**N - 1) for nonnegative values...
James A. Morrison [Sat, 18 Jun 2005 19:57:12 +0000 (19:57 +0000)]
fold_const (fold_binary): Fold X % (2**N) to X & (2**N - 1) for nonnegative values of X.

2005-06-18  James A. Morrison  <phython@gcc.gnu.org>

        * fold_const (fold_binary): Fold X % (2**N) to X & (2**N - 1) for
        nonnegative values of X.

From-SVN: r101163

19 years agore PR fortran/19926 ([4.0 only] Incorrect rank with PARAMETER and array element.)
Steven G. Kargl [Sat, 18 Jun 2005 18:27:05 +0000 (18:27 +0000)]
re PR fortran/19926 ([4.0 only] Incorrect rank with PARAMETER and array element.)

PR fortran/19926
* gfortran.dg/pr19926.f90: New test.

From-SVN: r101162

19 years agore PR fortran/19926 ([4.0 only] Incorrect rank with PARAMETER and array element.)
Erik Edelmann [Sat, 18 Jun 2005 18:16:22 +0000 (18:16 +0000)]
re PR fortran/19926 ([4.0 only] Incorrect rank with PARAMETER and array element.)

PR fortran/19926
* primary.c (gfc_match_rvalue):  expr_type can be EXPR_CONSTANT
  for an array; check that sym->as is NULL.

Co-Authored-By: Steven G. Kargl <kargls@comast.net>
From-SVN: r101161

19 years agointrinsic.c (gfc_intrinsic_func_interface): Enable errors for generic functions whose...
Steven G. Kargl [Sat, 18 Jun 2005 17:59:31 +0000 (17:59 +0000)]
intrinsic.c (gfc_intrinsic_func_interface): Enable errors for generic functions whose simplification routine return FAILURE.

* intrinsic.c (gfc_intrinsic_func_interface): Enable errors for generic
  functions whose simplification routine return FAILURE.

From-SVN: r101160

19 years agomd.texi (Standard Names): Change insn pattern name from truncM2 to btruncM2 for ...
Uros Bizjak [Sat, 18 Jun 2005 15:21:19 +0000 (17:21 +0200)]
md.texi (Standard Names): Change insn pattern name from truncM2 to btruncM2 for 'trunc' built-in description.

* doc/md.texi (Standard Names): Change insn pattern name
from truncM2 to btruncM2 for 'trunc' built-in description.
Add rintM2 insn pattern description.

From-SVN: r101159

19 years agoc-decl.c (locate_old_decl): Add format attribute.
Kaveh R. Ghazi [Sat, 18 Jun 2005 15:07:28 +0000 (15:07 +0000)]
c-decl.c (locate_old_decl): Add format attribute.

* c-decl.c (locate_old_decl): Add format attribute.
(implicit_decl_warning): Likewise.

cp:
* call.c (convert_like_real): Add format attribute.
* typeck.c (check_for_casting_away_constness,
build_static_cast_1): Likewise.
* typeck2.c (readonly_error, cxx_incomplete_type_diagnostic):
Likewise.

From-SVN: r101158

19 years agodiagnostic.h (verbatim): Move ...
Kaveh R. Ghazi [Sat, 18 Jun 2005 15:03:56 +0000 (15:03 +0000)]
diagnostic.h (verbatim): Move ...

* diagnostic.h (verbatim): Move ...
* toplev.h (verbatim): ... here.  Add ATTRIBUTE_GCC_DIAG.
* pretty-print.h (pp_verbatim): Add ATTRIBUTE_GCC_PPDIAG.

From-SVN: r101157

19 years agore PR target/22083 (TARGET_C99_FUNCTIONS is wrongly defined on AIX 5.1)
Roger Sayle [Sat, 18 Jun 2005 13:26:20 +0000 (13:26 +0000)]
re PR target/22083 (TARGET_C99_FUNCTIONS is wrongly defined on AIX 5.1)

PR target/22083
* config/rs6000/aix51.h (TARGET_C99_FUNCTIONS): Remove definition.

From-SVN: r101156

19 years agotree.def (REDUC_MAX_EXPR, [...]): New tree-codes.
Dorit Nuzman [Sat, 18 Jun 2005 13:18:52 +0000 (13:18 +0000)]
tree.def (REDUC_MAX_EXPR, [...]): New tree-codes.

        * tree.def (REDUC_MAX_EXPR, REDUC_MIN_EXPR, REDUC_PLUS_EXPR): New
        tree-codes.
        * optabs.h (OTI_reduc_smax, OTI_reduc_umax, OTI_reduc_smin,
        OTI_reduc_umin, OTI_reduc_plus): New optabs for reduction.
        (reduc_smax_optab, reduc_umax_optab, reduc_smin_optab, reduc_umin_optab,
        reduc_plus_optab): New optabs for reduction.
        * expr.c (expand_expr_real_1): Handle new tree-codes.
        * tree-inline.c (estimate_num_insns_1): Handle new tree-codes.
        * tree-pretty-print.c (dump_generic_node, op_prio, op_symbol): Handle
        new tree-codes.
        * optabs.c (optab_for_tree_code): Handle new tree-codes.
        (init_optabs): Initialize new optabs.
        * genopinit.c (optabs): Define handlers for new optabs.

        * tree-vect-analyze.c (vect_analyze_operations): Fail vectorization in
        case of a phi that is marked as relevant. Call vectorizable_reduction.
        (vect_mark_relevant): Phis may be marked as relevant.
        (vect_mark_stmts_to_be_vectorized): The use corresponding to the
        reduction variable in a reduction stmt does not mark its defining phi
        as relevant. Update documentation accordingly.
        (vect_can_advance_ivs_p): Skip reduction phis.
        * tree-vect-transform.c (vect_get_vec_def_for_operand): Takes
        additional argument. Handle reduction.
        (vect_create_destination_var): Update call to vect_get_new_vect_var.
        Handle non-vector argument.
        (get_initial_def_for_reduction): New function.
        (vect_create_epilog_for_reduction): New function.
        (vectorizable_reduction): New function.
        (vect_get_new_vect_var): Handle new vect_var_kind.
        (vectorizable_assignment, vectorizable_operation, vectorizable_store,
        vectorizable_condition): Update call to vect_get_new_vect_var.
        (vect_transform_stmt): Call vectorizable_reduction.
        (vect_update_ivs_after_vectorizer): Skip reduction phis.
        (vect_transform_loop): Skip if stmt is both not relevant and not live.
        * tree-vectorizer.c (reduction_code_for_scalar_code): New function.
        (vect_is_simple_reduction): Was empty - added implementation.
        * tree-vectorizer.h (vect_scalar_var): New enum vect_var_kind value.
        (reduc_vec_info_type): New enum vect_def_type value.
        * config/rs6000/altivec.md (reduc_smax_v4si, reduc_smax_v4sf,
        reduc_umax_v4si, reduc_smin_v4si, reduc_umin_v4sf, reduc_smin_v4sf,
        reduc_plus_v4si, reduc_plus_v4sf): New define_expands.

        * tree-vect-analyze.c (vect_determine_vectorization_factor): Remove
        ENABLE_CHECKING around gcc_assert.
        * tree-vect-transform.c (vect_do_peeling_for_loop_bound,
        (vect_do_peeling_for_alignment, vect_transform_loop,
        vect_get_vec_def_for_operand): Likewise.

From-SVN: r101155

19 years agoia64.c (ia64_function_arg): Set up a PARALLEL for a big-endian unnamed __float80...
Joseph Myers [Sat, 18 Jun 2005 11:56:42 +0000 (12:56 +0100)]
ia64.c (ia64_function_arg): Set up a PARALLEL for a big-endian unnamed __float80 value.

* config/ia64/ia64.c (ia64_function_arg): Set up a PARALLEL for a
big-endian unnamed __float80 value.

testsuite:
* gcc.target/ia64/float80-varargs-1.c: New test.

From-SVN: r101153

19 years agore PR tree-optimization/22035 (complex float comparison broken)
Tobias Schlüter [Sat, 18 Jun 2005 11:51:47 +0000 (13:51 +0200)]
re PR tree-optimization/22035 (complex float comparison broken)

PR tree-opt/22035
* gfortran.dg/f2c_6.f90: New test.

From-SVN: r101152

19 years agore PR tree-optimization/22103 (Statement makes a memory store .., complex)
Richard Henderson [Sat, 18 Jun 2005 08:51:44 +0000 (01:51 -0700)]
re PR tree-optimization/22103 (Statement makes a memory store .., complex)

        PR tree-opt/22103
        * tree-sra.c (generate_copy_inout): Handle SSA_NAME complex
        destinations.

From-SVN: r101150

19 years agobaseline_symbols.txt: Update.
Jakub Jelinek [Sat, 18 Jun 2005 06:14:43 +0000 (06:14 +0000)]
baseline_symbols.txt: Update.

2005-06-17  Jakub Jelinek  <jakub@redhat.com>
            Benjamin Kosnik  <bkoz@redhat.com>

* config/abi/alpha-linux-gnu/baseline_symbols.txt: Update.
* config/abi/hppa-linux-gnu/baseline_symbols.txt: Same.
* config/abi/mips-linux-gnu/baseline_symbols.txt: Same.
* config/abi/sparc-linux-gnu/baseline_symbols.txt: Same.

* config/abi/alpha-freebsd5/baseline_symbols.txt: Remove.
* config/abi/i386-freebsd4/baseline_symbols.txt: Same.
* config/abi/i386-freebsd5/baseline_symbols.txt: Same.
* config/abi/sparc-freebsd5/baseline_symbols.txt: Same.

* config/abi/arm-linux-gnu/baseline_symbols.txt: Remove.
* config/abi/m68k-linux-gnu/baseline_symbols.txt: Same.

From-SVN: r101149

19 years agoDaily bump.
GCC Administrator [Sat, 18 Jun 2005 00:16:21 +0000 (00:16 +0000)]
Daily bump.

[[Split portion of a mixed commit.]]

From-SVN: r101146.2

19 years agore PR c++/17413 (local classes as template argument)
Geoffrey Keating [Fri, 17 Jun 2005 22:13:33 +0000 (22:13 +0000)]
re PR c++/17413 (local classes as template argument)

2005-06-17  Geoffrey Keating  <geoffk@apple.com>

PR c++/17413
* pt.c (type_unification_real): Apply template type deduction even
to procedure parameters that are not dependent on a template
parameter.

Index: testsuite/ChangeLog
2005-06-17  Geoffrey Keating  <geoffk@apple.com>

PR c++/17413
* g++.dg/template/local5.C: New.

From-SVN: r101141

19 years agotree-vect-transform.c (vect_do_peeling_for_loop_bound): Use initialize_original_copy_...
Richard Henderson [Fri, 17 Jun 2005 22:05:47 +0000 (15:05 -0700)]
tree-vect-transform.c (vect_do_peeling_for_loop_bound): Use initialize_original_copy_tables and free_original_copy_tables.

        * tree-vect-transform.c (vect_do_peeling_for_loop_bound): Use
        initialize_original_copy_tables and free_original_copy_tables.
        (vect_do_peeling_for_alignment): Likewise.

From-SVN: r101140

19 years ago[multiple changes]
Paolo Carlini [Fri, 17 Jun 2005 21:51:34 +0000 (21:51 +0000)]
[multiple changes]

2005-06-17  Paolo Carlini  <pcarlini@suse.de>

        Port from libstdcxx_so_7-branch:
2005-01-12  Christopher Jefferson <chris@bubblescope.net>

* include/bits/stl_function.h (mem_fun_t, const_mem_fun_t,
mem_fun_ref_t, const_mem_fun_ref_t, mem_fun1_t, const_mem_fun1_t,
mem_fun1_ref_t, const_mem_fun1_ref_t): Remove overloads for void
return type, just an old HP/SGI workaround.
* testsuite/20_util/functional/binders.cc: Move to...
* testsuite/20_util/functional/binders/3113.cc: ...here.
* testsuite/20_util/functional/binders/1.cc: New.

From-SVN: r101139

19 years agobb-reorder.c (find_traces_1_round): Use succ block frequency instead of edge frequenc...
Pat Haugen [Fri, 17 Jun 2005 21:42:08 +0000 (21:42 +0000)]
bb-reorder.c (find_traces_1_round): Use succ block frequency instead of edge frequency for calls to better_edge_p.

2005-06-17  Pat Haugen  <pthaugen@us.ibm.com>

        * bb-reorder.c (find_traces_1_round): Use succ block frequency
        instead of edge frequency for calls to better_edge_p.

From-SVN: r101138

19 years agore PR tree-optimization/22105 (ACATS ICE cxg2018 for_each_index, at tree-ssa-loop...
Andrew Pinski [Fri, 17 Jun 2005 21:33:51 +0000 (21:33 +0000)]
re PR tree-optimization/22105 (ACATS ICE cxg2018 for_each_index, at tree-ssa-loop-im.c:219)

2005-06-17  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/22105
        * tree-ssa-loop-im.c (for_each_index): Handle COMPLEX_CST.

From-SVN: r101137

19 years ago* es.po: Update.
Joseph Myers [Fri, 17 Jun 2005 21:18:17 +0000 (22:18 +0100)]
* es.po: Update.

From-SVN: r101136

19 years ago* gcc.dg/sync-2.c (do_qi): Cast negative results to char.
Richard Henderson [Fri, 17 Jun 2005 20:58:28 +0000 (13:58 -0700)]
* gcc.dg/sync-2.c (do_qi): Cast negative results to char.

From-SVN: r101135

19 years agore PR target/19889 (g++.old-deja/g++.law/profile1.C execution test fails on ia64...
Steve Ellcey [Fri, 17 Jun 2005 20:45:50 +0000 (20:45 +0000)]
re PR target/19889 (g++.old-deja/g++.law/profile1.C execution test fails on ia64-hpux)

PR target/19889
* config/ia64/hpux.h (FUNCTION_PROFILER): New (dummy).
(PROFILE_HOOK): New.
(PROFILE_BEFORE_PROLOGUE): Undef.
(NO_PROFILE_COUNTERS): New.
* config/ia64/ia64-protos.h (ia64_profile_hook): New.
* config/ia64/ia64.c (ia64_compute_frame_size): Add ifdef.
(gen_mcount_func_rtx): New.
(ia64_profile_hook): New.
* config/ia64/ia64.md (ip_value): New.

From-SVN: r101134

19 years agopredicates.md (s5bit_cint_operand, [...]): New.
Devang Patel [Fri, 17 Jun 2005 20:30:42 +0000 (13:30 -0700)]
predicates.md (s5bit_cint_operand, [...]): New.

        * config/rs6000/predicates.md (s5bit_cint_operand,
        u5bit_cint_operand): New.
        * config/rs6000/altivec.md (altivec_vspltb, altivec_vsplth,
        altivec_vspltisw_v4sf): Use new 5 bit constant operand predicates.
        * config/rs6000/rs6000.c (rs6000_expand_unop_builtin): Fix signed
        5 bit constant check.

From-SVN: r101133

19 years agolocal-alloc.c (update_equiv_regs): Update reg_equiv_init properly when moving an...
Richard Henderson [Fri, 17 Jun 2005 20:14:25 +0000 (13:14 -0700)]
local-alloc.c (update_equiv_regs): Update reg_equiv_init properly when moving an initialization insn.

        * local-alloc.c (update_equiv_regs): Update reg_equiv_init
        properly when moving an initialization insn.

From-SVN: r101132

19 years agoVmDeadException.java: New file.
Keith Seitz [Fri, 17 Jun 2005 18:14:42 +0000 (18:14 +0000)]
VmDeadException.java: New file.

        * gnu/classpath/jdwp/exception/VmDeadException.java: New file.
        * gnu/classpath/jdwp/exception/NotImplementedException.java: New file.
        * gnu/classpath/jdwp/exception/JdwpInternalErrorException.java: New
        file.
        * gnu/classpath/jdwp/exception/JdwpException.java: New file.
        * gnu/classpath/jdwp/exception/InvalidThreadGroupException.java: New
        file.
        * gnu/classpath/jdwp/exception/InvalidThreadException.java: New file.
        * gnu/classpath/jdwp/exception/InvalidStringException.java: New file
        * gnu/classpath/jdwp/exception/InvalidObjectException.java: New file.
        * gnu/classpath/jdwp/exception/InvalidEventTypeException.java: New
        file.
        * gnu/classpath/jdwp/exception/InvalidCountException.java: New file.
        * gnu/classpath/jdwp/exception/InvalidClassException.java: New file.

From-SVN: r101131

19 years ago* docs/html/21_strings/gotw29a.txt: Update code to corrected version.
Jonathan Wakely [Fri, 17 Jun 2005 16:26:13 +0000 (17:26 +0100)]
* docs/html/21_strings/gotw29a.txt: Update code to corrected version.

From-SVN: r101130

19 years agore PR libfortran/19155 ([4.0 only] blanks not treated as zeros in 'E' format read...
Francois-Xavier Coudert [Fri, 17 Jun 2005 16:20:29 +0000 (18:20 +0200)]
re PR libfortran/19155 ([4.0 only] blanks not treated as zeros in 'E' format read (NIST FM110.FOR))

PR libfortran/19155
* io/read.c (convert_real): strtod can set errno to EINVAL on an
empty string, but we shouldn't have an error in that case.

From-SVN: r101128

19 years agoaclocal.m4 (gcc_AC_CHECK_TOOL): Do not overwrite the passed variable.
Paolo Bonzini [Fri, 17 Jun 2005 14:49:38 +0000 (14:49 +0000)]
aclocal.m4 (gcc_AC_CHECK_TOOL): Do not overwrite the passed variable.

2005-06-17  Paolo Bonzini  <bonzini@gnu.org>

* aclocal.m4 (gcc_AC_CHECK_TOOL): Do not overwrite the
passed variable.

From-SVN: r101127

19 years agotree-optimize.c (execute_ipa_pass_list): New.
Jan Hubicka [Fri, 17 Jun 2005 11:53:59 +0000 (13:53 +0200)]
tree-optimize.c (execute_ipa_pass_list): New.

* tree-optimize.c (execute_ipa_pass_list): New.
(ipa_passes): Use it.

From-SVN: r101126

19 years ago[multiple changes]
Benjamin Kosnik [Fri, 17 Jun 2005 07:33:56 +0000 (07:33 +0000)]
[multiple changes]

2005-06-17  Jakub Jelinek  <jakub@redhat.com>
            Benjamin Kosnik  <bkoz@redhat.com>

* config/abi/alpha-linux-gnu/baseline_symbols.txt: Update.
* config/abi/hppa-linux-gnu/baseline_symbols.txt: Same.
* config/abi/mips-linux-gnu/baseline_symbols.txt: Same.
* config/abi/sparc-linux-gnu/baseline_symbols.txt: Same.

* config/abi/alpha-freebsd5/baseline_symbols.txt: Remove.
* config/abi/i386-freebsd4/baseline_symbols.txt: Same.
* config/abi/i386-freebsd5/baseline_symbols.txt: Same.
* config/abi/sparc-freebsd5/baseline_symbols.txt: Same.

* config/abi/arm-linux-gnu/baseline_symbols.txt: Remove.
* config/abi/m68k-linux-gnu/baseline_symbols.txt: Same.

2005-06-17  Jakub Jelinek  <jakub@redhat.com>

* config/abi/ia64-linux-gnu/baseline_symbols.txt: Update.
* config/abi/s390x-linux-gnu/baseline_symbols.txt: Update.
* config/abi/s390-linux-gnu/baseline_symbols.txt: Update.
* config/abi/x86_64-linux-gnu/baseline_symbols.txt: Update.
* config/abi/x86_64-linux-gnu/32/baseline_symbols.txt: Update.
* config/abi/powerpc-linux-gnu/baseline_symbols.txt: Update.
* config/abi/i486-linux-gnu/baseline_symbols.txt: Update.
* config/abi/i386-linux-gnu/baseline_symbols.txt: Update.
* config/abi/powerpc64-linux-gnu/baseline_symbols.txt: New file.
* config/abi/powerpc64-linux-gnu/32/baseline_symbols.txt: New file.

2005-06-16  Jakub Jelinek  <jakub@redhat.com>

* src/compatibility.cc: Include bits/c++config.h first.
(_GLIBCXX_SYMVER_COMPATIBILITY): Define if _GLIBCXX_SYMVER
and PIC are both defined.
* include/bits/char_traits.h (char_traits::eq): Rename
only if _GLIBCXX_SYMVER_COMPATIBILITY is defined.

2005-06-16  Jakub Jelinek  <jakub@redhat.com>

        * acinclude.m4 ((GLIBCXX_ENABLE_SYMVERS): Rename _GLIBCXX_SIZE_T_IS_INT
        to _GLIBCXX_SIZE_T_IS_UINT.  Define _GLIBCXX_PTRDIFF_T_IS_INT.
        * configure: Regenerate.
        * config.h.in: Regenerate.
        * src/compatibility.cc (istream:ignore(streamsize)): Use
        _GLIBCXX_PTRDIFF_T_IS_INT instead of _GLIBCXX_SIZE_T_IS_INT.
        * config/abi/compatibility.h: Rename _GLIBCXX_SIZE_T_IS_INT
        to _GLIBCXX_SIZE_T_IS_UINT.  Use _GLIBCXX_PTRDIFF_T_IS_INT
        instead for symbols with streamsize arguments.

2005-06-16  Jakub Jelinek  <jakub@redhat.com>

* config/linker-map.gnu: Also export
_ZNSt13basic_istreamIwSt11char_traitsIwEE6ignoreE[il][il].

2005-06-15  Benjamin Kosnik  <bkoz@redhat.com>

* configure.ac (libtool_VERSION): To 6:6:0.
* configure: Regenerate.
* config/linker-map.gnu: Edit.
* src/istream.cc: Move istream::ignore(streamsize) specializations...
* src/compatibility.cc: ...here. New.
* include/bits/char_traits.h (char_traits::eq): Rename when
appropriate.
* acinclude.m4 (GLIBCXX_ENABLE_SYMVERS): Define _GLIBCXX_SIZE_T_IS_INT.
Bump glibcxx_min_gnu_ld_version to 21590.
* configure: Regenerate.
* acconfig.h: Remove _GLIBCXX_ASM_SYMVER.
* config.h.in: Regenerate.
* src/Makefile.am (sources): Add compatibility.cc.
* src/Makefile.in: Regenerate.
* include/Makefile.am (host_headers_noinst): Add compatibility.h.
* include/Makefile.in: Regenerate.
* testsuite/testsuite_abi.h (symbol): Add data members.
* testsuite/testsuite_abi.cc (check_version): Add GLIBCXX_3.4.5,
GLIBCXX_3.4.6.  Remove deprecated versions. Do a better job
version checking.

From-SVN: r101125

19 years agore PR testsuite/21945 (gfortran testsuite dies on cygwin (again))
David Billinghurst [Fri, 17 Jun 2005 06:50:32 +0000 (06:50 +0000)]
re PR testsuite/21945 (gfortran testsuite dies on cygwin (again))

2005-06-07  David Billinghurst  <David.Billinghurst@riotinto.com>

PR testsuite/21945
* lib/gcc-dg.exp (gcc-dg-test-1): Catch error if file can't be deleted.

From-SVN: r101124

19 years agore PR tree-optimization/22022 (ACATS ICE cxg1002 tree_split_edge, at tree-cfg.c:3025)
Richard Henderson [Fri, 17 Jun 2005 00:56:07 +0000 (17:56 -0700)]
re PR tree-optimization/22022 (ACATS ICE cxg1002 tree_split_edge, at tree-cfg.c:3025)

        PR tree-opt/22022
        * tree-complex.c (update_phi_components): Avoid no-op moves.

From-SVN: r101121

19 years agoDaily bump.
GCC Administrator [Fri, 17 Jun 2005 00:16:34 +0000 (00:16 +0000)]
Daily bump.

[[Split portion of a mixed commit.]]

From-SVN: r101118.2

19 years agovect-dv-2.c, [...]: Call check_vect to verify the presence of hardware vector support.
Giovanni Bajo [Thu, 16 Jun 2005 23:39:51 +0000 (01:39 +0200)]
vect-dv-2.c, [...]: Call check_vect to verify the presence of hardware vector support.

* gcc.dg/vect/vect-dv-2.c, gcc.dg/vect/vect-ifcvt-2.c,
gcc.dg/vect/vect-ifcvt-3.c, gcc.dg/vect/vect-ifcvt-4.c,
gcc.dg/vect/vect-ifcvt-5.c, gcc.dg/vect/vect-ifcvt-6.c,
gcc.dg/vect/vect-ifcvt-7.c, gcc.dg/vect/vect-ifcvt-9.c: Call
check_vect to verify the presence of hardware vector support.

From-SVN: r101114

19 years agore PR testsuite/22056 (gcc.dg/pr14796-2.c scan-tree-dump c & -34359738368 fails)
James A. Morrison [Thu, 16 Jun 2005 23:10:49 +0000 (23:10 +0000)]
re PR testsuite/22056 (gcc.dg/pr14796-2.c scan-tree-dump c & -34359738368 fails)

2005-06-16  James A. Morrison  <phython@gcc.gnu.org>

        PR testsuite/22056
        * gcc.dg/pr14796-2.c: Accept -34359738368 and -800000000.

From-SVN: r101110

19 years agoMakefile.in (cc1-checksum.c): Use build/genchecksum$(build_exeext), not build/genchec...
Joseph Myers [Thu, 16 Jun 2005 23:02:58 +0000 (00:02 +0100)]
Makefile.in (cc1-checksum.c): Use build/genchecksum$(build_exeext), not build/genchecksum$(exeext).

* Makefile.in (cc1-checksum.c): Use
build/genchecksum$(build_exeext), not build/genchecksum$(exeext).

From-SVN: r101109

19 years agore PR libfortran/19216 (list directed read with leading slash (NIST FM923))
Francois-Xavier Coudert [Thu, 16 Jun 2005 22:50:51 +0000 (00:50 +0200)]
re PR libfortran/19216 (list directed read with leading slash (NIST FM923))

PR libfortran/19216
* io/list_read.c (eat_separator): No need to call next_record,
even in non-namelist_mode.
* gfortran.dg/pr19216.f: Add correct space between brackets and
dg directive.

From-SVN: r101105

19 years ago* io/transfer.c (formatted_transfer): Fix typo in error message.
Francois-Xavier Coudert [Thu, 16 Jun 2005 22:31:32 +0000 (00:31 +0200)]
* io/transfer.c (formatted_transfer): Fix typo in error message.

From-SVN: r101102

19 years agore PR libfortran/16436 (gfortran TL edit descriptor failure - test f77-edit-t-in.f)
Francois-Xavier Coudert [Thu, 16 Jun 2005 22:13:26 +0000 (00:13 +0200)]
re PR libfortran/16436 (gfortran TL edit descriptor failure - test f77-edit-t-in.f)

PR libfortran/16436
* io/transfer.c (read_sf): Correct updating of bytes_left field.
(formatted_transfer): Correct updating of bytes_left field and
reformatting code (comments and whitespace).
* io/unix.c (move_pos_offset): "active" field should not be
changed here. Whitespace corrections.
* gfortran.dg/g77/f77-edit-t-in.f: Not XFAIL-ed any more.

From-SVN: r101100

19 years agogengtype.c (adjust_field_rtx_def): Don't add a skip to basic_block types.
Geoffrey Keating [Thu, 16 Jun 2005 22:12:24 +0000 (22:12 +0000)]
gengtype.c (adjust_field_rtx_def): Don't add a skip to basic_block types.

* gengtype.c (adjust_field_rtx_def): Don't add a skip to
basic_block types.

From-SVN: r101099

19 years agot-slibgcc-darwin (SHLIB_SOVERSION): Rename from SHLIB_MINOR.
Geoffrey Keating [Thu, 16 Jun 2005 22:04:22 +0000 (22:04 +0000)]
t-slibgcc-darwin (SHLIB_SOVERSION): Rename from SHLIB_MINOR.

* config/t-slibgcc-darwin (SHLIB_SOVERSION): Rename from
SHLIB_MINOR.
(SHLIB_REVISION): Delete.
(SHLIB_VERSTRING): Update to compensate.
(SHLIB_SONAME): Just use one '.' in the name.

From-SVN: r101098

19 years agore PR tree-optimization/22018 (VRP miscompiles multiply)
Eric Botcazou [Thu, 16 Jun 2005 21:25:00 +0000 (23:25 +0200)]
re PR tree-optimization/22018 (VRP miscompiles multiply)

PR tree-optimization/22018
* tree-vrp.c (vrp_int_const_binop): Overhaul handling of overflow.

From-SVN: r101097

19 years agobe.po, [...]: Update.
Joseph Myers [Thu, 16 Jun 2005 19:48:09 +0000 (20:48 +0100)]
be.po, [...]: Update.

* be.po, ca.po, da.po, de.po, el.po, es.po, fr.po, ja.po, nl.po,
rw.po, sv.po, tr.po, vi.po: Update.

From-SVN: r101092

19 years agoFix typo in last log message.
Joseph Myers [Thu, 16 Jun 2005 19:46:52 +0000 (20:46 +0100)]
Fix typo in last log message.

From-SVN: r101091

19 years agobe.po, [...]: Update.
Joseph Myers [Thu, 16 Jun 2005 19:44:52 +0000 (20:44 +0100)]
be.po, [...]: Update.

* be.po, ca.po, da.po, de.po, el.po, es.po, fr.po, ja.po, nl.po,
rw.po, sv.po, tr.po, zh_CN: Update.

From-SVN: r101090

19 years agore PR tree-optimization/22035 (complex float comparison broken)
Richard Henderson [Thu, 16 Jun 2005 18:09:34 +0000 (11:09 -0700)]
re PR tree-optimization/22035 (complex float comparison broken)

        PR tree-opt/22035
        * builtins.c (fold_builtin_complex_mul): Remove.
        (fold_builtin_complex_div): Remove.
        (fold_builtin_1): Don't call them.
        * fold-const.c (fold_complex_add, fold_complex_mult_parts,
        fold_complex_mult, fold_complex_div_parts, fold_complex_div): Remove.
        (fold_binary): Don't call them.  Don't expand complex comparisons to
        elementary comparisons.
        * tree-complex.c (init_dont_simulate_again): Enhance search for
        stmts that require decomposition.
        (complex_visit_stmt): Handle RETURN_EXPR properly.
        (create_components): Handle no referenced variables properly.
        * tree.h (fold_complex_mult_parts): Remove.
        (fold_complex_div_parts): Remove.

From-SVN: r101086

19 years agoextend.texi: Document sseregparm target attribute.
Richard Guenther [Thu, 16 Jun 2005 16:39:51 +0000 (16:39 +0000)]
extend.texi: Document sseregparm target attribute.

2005-06-16  Richard Guenther  <rguenth@gcc.gnu.org>

* doc/extend.texi: Document sseregparm target attribute.
Clarify fastcall and regparm documentation.
* config/i386/i386.h: Adjust float_in_sse documentation.
* config/i386/i386.c: Add new target attribute sseregparm.
(ix86_handle_cdecl_attribute, ix86_handle_regparm_attribute):
Merge into ...
(ix86_handle_cconv_attribute): ... here.  Also handle
sseregparm attribute.
(ix86_comp_type_attributes): Compare sseregparm attributes.
(ix86_function_sseregparm): New function, split out from ...
(init_cumulative_args): ... here.  Use to decide use
of SSE registers and error in case of missing support.
(ix86_value_regno): Likewise.
(function_arg_advance): Do not bail out for DFmode if we need
to pass doubles in registers.
(function_arg): Likewise.

* gcc.target/i386/attributes-error.c: New testcase.
* gcc.target/i386/fastcall-sseregparm.c: Likewise.
* gcc.target/i386/regparm-stdcall.c: Likewise.
* gcc.target/i386/sseregparm-1.c: Likewise.
* gcc.target/i386/sseregparm-2.c: Likewise.

From-SVN: r101085

19 years agoAlan Modra <amodra.bigpond.net.au>
Paolo Bonzini [Thu, 16 Jun 2005 12:49:06 +0000 (12:49 +0000)]
Alan Modra <amodra.bigpond.net.au>

2005-06-16  Paolo Bonzini  <bonzini@gnu.org>
            Daniel Jacobowitz  <dan@codesourcery.com>
    Alan Modra <amodra.bigpond.net.au>

        * configure.ac (gcc_version): Set near the beginning.
        (as, ld, nm): Do not link in-tree tools.  Set gcc_cv_* if tools are
        found in the tree.  Use gcc_AC_PROG to find the tools in the system.
        (objdump): Do not look for it.
        * Makefile.in (NM_FOR_TARGET): Point to ./nm.
        (ORIGINAL_AS_FOR_TARGET, ORIGINAL_LD_FOR_TARGET,
        ORIGINAL_NM_FOR_TARGET): Substitute from autoconf.
        (as, ld, nm): New rules.
        (libgcc.mk): Depend on them.
        * aclocal.m4 (gcc_AC_TOOL_DIRS, gcc_AC_CHECK_TOOL,
        gcc_AC_BUILD_EXEEXT): New.
        (gcc_AC_CHECK_PROG_VER): Use gcc_AC_BUILD_EXEEXT.
        * configure: Regenerate.

Co-Authored-By: Daniel Jacobowitz <dan@codesourcery.com>
From-SVN: r101084

19 years agoMakefile.am (libgcj_la_SOURCES): Define without conditional sources.
Kelley Cook [Thu, 16 Jun 2005 12:13:34 +0000 (12:13 +0000)]
Makefile.am (libgcj_la_SOURCES): Define without conditional sources.

2005-06-16  Kelley Cook  <kcook@gcc.gnu.org>

* Makefile.am (libgcj_la_SOURCES): Define without conditional sources.
(if USING_BOEHMGC): Directly append libgcj_la_SOURCES.
(if USING_NOGC, SUPPLY_BACKTRACE, USING_POSIX_PLATFORM,
USING_WIN32_PLATFORM, USING_DARWIN_CRT, USING_POSIX_THREADS,
USING_WIN32_THREADS, USING_NO_THREADS): Likewise.
* Makefile.in: Regenerate.

From-SVN: r101083

19 years agobasic-block.h (rtl_bb_info): Break out head_, end_, global_live_at_start, global_live...
Jan Hubicka [Thu, 16 Jun 2005 10:33:40 +0000 (12:33 +0200)]
basic-block.h (rtl_bb_info): Break out head_, end_, global_live_at_start, global_live_at_end from ...

* basic-block.h (rtl_bb_info): Break out head_, end_,
global_live_at_start, global_live_at_end from ...
(basic_block_def): ... here; update all references
(BB_RTL): New flag.
(init_rtl_bb_info): Declare.
* cfgexpand.c (expand_gimple_basic_block): Init bb info, set BB_RTL
flag.
* cfgrtl.c: Include ggc.h
(create_basic_block_structure): Init bb info.
(rtl_verify_flow_info_1): Check BB_RTL flag and rtl_bb_info pointer.
(init_rtl_bb_info): New function.
(rtl_merge_block, cfglayout_merge_block): Copy global_live_at_end here.
* cfghooks.c (merge_block): Do not copy global_live_at_end here.
* cfg.c (clear_bb_flags): Skip BB_RTL flag.
(dump_flow_info): Gueard global_live_* dumping.

From-SVN: r101082

19 years agoresync
Arnaud Charlet [Thu, 16 Jun 2005 10:01:50 +0000 (12:01 +0200)]
resync

From-SVN: r101081

19 years agoResync with latest version of AI-302
Arnaud Charlet [Thu, 16 Jun 2005 09:07:25 +0000 (11:07 +0200)]
Resync with latest version of AI-302

From-SVN: r101079

19 years agoUpdate header.
Arnaud Charlet [Thu, 16 Jun 2005 09:06:53 +0000 (11:06 +0200)]
Update header.

From-SVN: r101078

19 years agoUpdate comments and spec.
Arnaud Charlet [Thu, 16 Jun 2005 09:05:52 +0000 (11:05 +0200)]
Update comments and spec.

From-SVN: r101077

19 years agoMinor reformatting.
Arnaud Charlet [Thu, 16 Jun 2005 09:05:06 +0000 (11:05 +0200)]
Minor reformatting.

From-SVN: r101076

19 years agoMinor reformatting.
Arnaud Charlet [Thu, 16 Jun 2005 09:04:35 +0000 (11:04 +0200)]
Minor reformatting.

Update header.

From-SVN: r101075

19 years agoUpdate copyright
Arnaud Charlet [Thu, 16 Jun 2005 09:04:01 +0000 (11:04 +0200)]
Update copyright

From-SVN: r101074

19 years agoRemoved, no longer used.
Arnaud Charlet [Thu, 16 Jun 2005 09:01:52 +0000 (11:01 +0200)]
Removed, no longer used.

From-SVN: r101073

19 years ago[multiple changes]
Arnaud Charlet [Thu, 16 Jun 2005 09:00:13 +0000 (11:00 +0200)]
[multiple changes]

2005-06-10  Arnaud Charlet  <charlet@adacore.com>

* Makefile.in: Add initialize.o when needed.
Adapt to new VMS package body Symbols and subunits
No specialized version of a-sytaco is needed for VxWorks.

* a-wichun.ads, a-wichun.adb, a-zchuni.ads, a-zchuni.adb: New files.
* a-zchara.ads, a-widcha.ads: New files.

* system-hpux-ia64.ads: New file.

* i-vxwork-x86.ads, i-vxwork.ads (intContext): Add this function which
is imported from the VxWorks kernel.

2005-06-14  Robert Dewar  <dewar@adacore.com>

* g-soliop-mingw.ads, g-soccon-vms.adb, a-swmwco.ads, exp_smem.adb,
fmap.adb, a-szmzco.ads, s-traent-vms.adb, s-traent-vms.ads,
a-direio.ads, a-exctra.ads, a-exexda.adb, a-exextr.adb, a-stream.ads,
s-restri.ads, s-restri.adb, s-traent.adb, s-traent.ads, a-slcain.adb,
a-stzhas.ads, a-tiinau.adb, comperr.adb, exp_ch11.adb, g-boubuf.adb,
g-calend.adb, g-debpoo.ads, g-moreex.ads, gprep.adb, g-regpat.ads,
i-cexten.ads, i-os2thr.ads, makeutl.ads, memroot.adb, mlib-prj.adb,
namet.adb, namet.ads, prj-makr.adb, prj-proc.adb, sem_dist.adb,
sem_elim.ads, s-valint.adb, s-vallli.adb, s-vallli.adb, s-vallli.ads,
s-valllu.adb, s-valllu.ads, s-valrea.adb, s-valrea.ads, scn.adb,
s-tasinf.adb, targparm.adb, uname.adb, uname.ads, xnmake.adb,
xsinfo.adb, a-direct.ads: Remove extra blank lines. Minor reformatting.

2005-06-14  Thomas Quinot  <quinot@adacore.com>

* xeinfo.adb: Fix typo in comment

2005-06-14  Javier Miranda  <miranda@adacore.com>

* repinfo.ads: Fix typo in comment

2005-06-14  Gary Dismukes  <dismukes@adacore.com>

* s-finimp.adb (Parent_Tag): Delete this imported function (function
Parent_Tag is now in the visible part of Ada.Tags).
(Get_Deep_Controller): Call Ada.Tags.Parent_Tag directly instead of
using imported function.

2005-06-14  Bernard Banner  <banner@adacore.com>

* vxaddr2line.adb: Add support for Windows hosted x86 vxworks. Should
also apply for handling support for VxSim 653.

2005-06-14  Eric Botcazou  <ebotcazou@adacore.com>

* xsnames.adb: Add automatic generation of snames.h.

2005-06-14  Thomas Quinot  <quinot@adacore.com>

* gen-soccon.c: Add IP_MULTICAST_IF constant
Minor reformatting and adjustments to prevent warnings.

2005-06-14  Pascal Obry  <obry@adacore.com>

* seh_init.c: Do not include <sys/stat.h>. This is not needed.

From-SVN: r101072

19 years agognat_rm.texi: Add documentation for pragma Persistent_BSS Document second argument...
Robert Dewar [Thu, 16 Jun 2005 08:57:18 +0000 (10:57 +0200)]
gnat_rm.texi: Add documentation for pragma Persistent_BSS Document second argument (Ada_05)...

2005-06-10  Robert Dewar  <dewar@adacore.com>
    Eric Botcazou  <ebotcazou@adacore.com>
    Ben Brosgol  <brosgol@adacore.com>
    Cyrille Comar  <comar@adacore.com>
    Sergey Rybin  <rybin@adacore.com>
    Pascal Obry  <obry@adacore.com>

* gnat_rm.texi: Add documentation for pragma Persistent_BSS
Document second argument (Ada_05) of pragma Obsolescent
Add note that call to subprogram marked with pragma Obsolescent
is now considered to be a violation of program Restrictions
(No_Obsolescent_Features).
(Implementation Defined Pragmas) <Machine_Attribute>: Make it clear
that only machine-dependent attributes are supported.

* gnat_ugn.texi:
Commented out menu lines and empty section for gnatclean examples
Document -gnatwy/Y
Fix some over long lines
Clarify and enhance documentation of ADA_PROJECT_PATH.
Rework section 2.11.2(3) about linking with a non-GNU compiler.
Mention new switch -fcallgraph-info.
Mention new switch -fstack-usage.
For gnatpp, replace '-notab' with '-N' and add this option to Index
Corrected VMS example.
VMS keyword for style check -gnatyd is DOS_LINE_ENDINGS, no NOCRLF
Minor reformatting
Add documentation for -gnatyu switch (unnecessary blank lines)
Document new switch -U for GNAT PRETTY and GNAT METRIC
Add note about Stdcall being handled as C convention on non Windows OS.
Remove some junk typo in description of gnatbind -S switch
Remove reference to Extensions_Allowed pragma
Document the new order of the directories to be searched (source and
object directories of project files before directories in ADA_*_PATH
environment variables.

        * g-trasym.ads: Document that IRIX is supported

From-SVN: r101071

19 years agore PR ada/20515 ("stdcall" imports are not handled correctly)
Eric Botcazou [Thu, 16 Jun 2005 08:56:46 +0000 (10:56 +0200)]
re PR ada/20515 ("stdcall" imports are not handled correctly)

2005-06-10  Eric Botcazou  <ebotcazou@adacore.com>
    Olivier Hainque  <hainque@adacore.com>
    Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
    Pascal Obry  <obry@adacore.com>

* gigi.h: (build_allocator): Add arg IGNORE_INIT_TYPE.

* trans.c (call_to_gnu): Issue a warning for users of Starlet when
making a temporary around a procedure call because of non-addressable
actual parameter.
(process_freeze_entity): If entity is a private type, capture size
information that may have been computed for the full view.
(tree_transform, case N_Allocator): If have initializing expression,
check type for Has_Constrained_Partial_View and pass that to
build_allocator.
(tree_transform, case N_Return_Statement): Pass extra arg to
build_allocator.

* decl.c (annotate_value): Remove early return if -gnatR is not
specified.
(gnat_to_gnu_field): Don't make a packable type for a component clause
if the position is byte aligned, the field is aliased, and the clause
size isn't a multiple of the packable alignment. It serves no useful
purpose packing-wise and would be rejected later on.
(gnat_to_gnu_entity, case object): Pass extra arg to build_allocator.

PR ada/20515
(gnat_to_gnu_entity): Remove use of macro _WIN32 which is wrong in the
context of cross compilers. We use TARGET_DLLIMPORT_DECL_ATTRIBUTES
instead.
(create_concat_name): Idem.

From-SVN: r101070

19 years agoa-swunha.ads, [...]: Removed.
Matthew Heaney [Thu, 16 Jun 2005 08:56:24 +0000 (10:56 +0200)]
a-swunha.ads, [...]: Removed.

2005-06-14  Matthew Heaney  <heaney@adacore.com>

* a-swunha.ads, a-swunha.adb: Removed. Replaced by a-swuwha.ad[sb]
* a-swuwha.ads, a-swuwha.adb: New files

* a-szunha.ads, a-szunha.adb: Removed, replaced by a-szuzha.ad[sb]
* a-szuzha.ads, a-szuzha.adb: New files.

* a-rbtgso.adb, a-crbtgo.ads, a-crbtgo.adb, a-crbtgk.ads,
a-crbtgk.adb, a-crbltr.ads, a-coorse.ads, a-coorse.adb, a-convec.ads,
a-convec.adb, a-coinve.ads, a-coinve.adb, a-cohata.ads, a-cohama.ads,
a-cohama.adb, a-ciorse.ads, a-ciorse.adb, a-cihama.ads, a-cihama.adb,
a-cidlli.ads, a-cidlli.adb, a-chtgop.ads, a-chtgop.adb, a-cdlili.ads,
a-cdlili.adb, a-coormu.adb, a-ciormu.adb, a-cihase.adb, a-cohase.adb,
a-cohase.ads, a-ciorma.ads, a-coorma.ads, a-ciormu.ads, a-coormu.ads,
a-swunha.adb, a-stunha.adb, a-ciorma.adb, a-coorma.adb, a-shcain.ads,
a-shcain.adb, a-chtgke.ads, a-chtgke.adb, a-stwiha.ads, a-stwiha.adb,
a-strhas.adb, a-stzhas.adb: synchronized to the latest version of the
Ada 2005 RM.

From-SVN: r101069

19 years agomakegpr.adb (Compile_Link_With_Gnatmake): Invoke gnatmake with -d if gprmake was...
Vincent Celier [Thu, 16 Jun 2005 08:55:59 +0000 (10:55 +0200)]
makegpr.adb (Compile_Link_With_Gnatmake): Invoke gnatmake with -d if gprmake was invoked with -d.

2005-06-14  Vincent Celier  <celier@adacore.com>

* makegpr.adb (Compile_Link_With_Gnatmake): Invoke gnatmake with -d if
gprmake was invoked with -d.
(Compile_Sources): If -d was used, output the "completed ..." message
for each compilation.
(Scan_Arg): Recognize new switch -d
When -c and at least one main is specified, set
Unique_Compile to True to guarantee that no other sources will be
compiled.

From-SVN: r101068

19 years agovms_conv.ads, [...]: Remove "Library" command.
Doug Rupp [Thu, 16 Jun 2005 08:55:47 +0000 (10:55 +0200)]
vms_conv.ads, [...]: Remove "Library" command.

2005-06-14  Doug Rupp  <rupp@adacore.com>
    Vincent Celier  <celier@adacore.com>

* vms_conv.ads, vms_conv.adb: Remove "Library" command.
Update copyright.

* vms_data.ads: Add entry for -gnaty/Y [NO]ADA_2005_COMPATIBILITY
Remove "Library" command.
Change keyword for style check -gnatyd from NOCRLF to
DOS_LINE_ENDINGS.
Remove useless second style check keyword NONE
Remove help documentation for inexistent style check keyword
RM_COLUMN_LAYOUT.
Add help documentation for style check keywords DOS_LINE_ENDINGS,
UNNECESSARY_BLANK_LINES and XTRA_PARENS
Add UNNECESSARY_BLANK_LINES for -gnatyu
Add qualifiers /ALL_PROJECTS (-U) for GNAT PRETTY and GNAT METRIC

        * ug_words: Add entry for -gnaty/Y [NO]ADA_2005_COMPATIBILITY

From-SVN: r101067

19 years agostyleg-c.adb (Body_With_No_Spec): Remove ':' from warning message.
Sergey Rybin [Thu, 16 Jun 2005 08:55:22 +0000 (10:55 +0200)]
styleg-c.adb (Body_With_No_Spec): Remove ':' from warning message.

2005-06-14  Sergey Rybin  <rybin@adacore.com>

* styleg-c.adb (Body_With_No_Spec): Remove ':' from warning message.

From-SVN: r101066

19 years agonmake.adt: Modify header so that xnmake does not generate output files with multiple...
Robert Dewar [Thu, 16 Jun 2005 08:53:02 +0000 (10:53 +0200)]
nmake.adt: Modify header so that xnmake does not generate output files with multiple blank...

2005-06-14  Robert Dewar  <dewar@adacore.com>

* nmake.adt: Modify header so that xnmake does not generate output
files with multiple blank lines.

        * treeprs.adt: Remove a blank line so that output from xtreeprs does
        not have an extra blank line

From-SVN: r101065

19 years ago2005-06-14 Arnaud Charlet <charlet@adacore.com>
Arnaud Charlet [Thu, 16 Jun 2005 08:49:41 +0000 (10:49 +0200)]
2005-06-14  Arnaud Charlet  <charlet@adacore.com>
    Jose Ruiz  <ruiz@adacore.com>

* s-tposen.adb, s-tpobop.adb
(Exceptional_Complete_Rendezvous): Save the occurrence and not only
the exception id.
(PO_Do_Or_Queue): Before queuing a task on an entry queue we check that
there is no violation of the Max_Entry_Queue_Length restriction (if it
has been set); Program_Error is raised otherwise.
(Requeue_Call): Before requeuing the task on the target entry queue we
check that there is no violation of the Max_Entry_Queue_Length
restriction (if it has been set); Program_Error is raised otherwise.

From-SVN: r101064

19 years agos-tasren.adb (Exceptional_Complete_Rendezvous): Fix race condition.
Arnaud Charlet [Thu, 16 Jun 2005 08:47:16 +0000 (10:47 +0200)]
s-tasren.adb (Exceptional_Complete_Rendezvous): Fix race condition.

2005-06-14  Arnaud Charlet  <charlet@adacore.com>

* s-tasren.adb (Exceptional_Complete_Rendezvous): Fix race condition.

From-SVN: r101063

19 years agos-strxdr.adb: Follow AI95-00132
Thomas Quinot [Thu, 16 Jun 2005 08:46:59 +0000 (10:46 +0200)]
s-strxdr.adb: Follow AI95-00132

2005-06-14  Thomas Quinot  <quinot@adacore.com>

* s-strxdr.adb: Follow AI95-00132

From-SVN: r101062

19 years agosem_warn.adb (Warn_On_Known_Condition): If the constant expression appears within...
Ed Schonberg [Thu, 16 Jun 2005 08:46:48 +0000 (10:46 +0200)]
sem_warn.adb (Warn_On_Known_Condition): If the constant expression appears within a negation (either from source or as...

2005-06-14  Ed Schonberg  <schonberg@adacore.com>

* sem_warn.adb (Warn_On_Known_Condition): If the constant expression
appears within a negation (either from source or as a rewriting of
inequality) adjust text of warning accordingly.

From-SVN: r101061

19 years agore PR ada/10671 (improve error message for named notation used in pragma)
Robert Dewar [Thu, 16 Jun 2005 08:46:36 +0000 (10:46 +0200)]
re PR ada/10671 (improve error message for named notation used in pragma)

2005-06-14  Robert Dewar  <dewar@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

PR ada/10671

* sem_prag.adb: Implement pragma Persistent_BSS
Remove obsolete pragma Persistent_Data, Persistent_Object
Set Ada_Version_Explicit, for implementation of AI-362
Test Ada_Version_Explicit for Preelaborate_05 and Pure_05
Add processing for pragma Pure_05 and Preelaborate_05
Add processing for Assertion_Policy pragma
Add pragma identifiers for Assert
(Analyze_Pragma, case Assert): Check number of arguments
(Process_Inline): Additional guard against an illegal program, where the
argument of the pragma is undefined, and warnings on redundant
constructs are enabled.
(Analyze_Pragma, case Obsolescent): Allow an optional second argument
Ada_05 to this pragma, specifying that the pragma is only active in
Ada_05 mode.
(Check_Arg_Order): New procedure
Add appropriate calls to this procedure throughout
Also throughout, check entity name before doing any other checks

* snames.h snames.ads, snames.adb: Add pragma Persistent_BSS
Remove obsolete pragma Persistent_Data, Persistent_Object
Add entries for pragma Pure_05 and Preelaborate_05
Add entries for Assertion_Policy pragma and associated names
Add some names for pragma argument processing

* tbuild.ads, tbuild.adb: (Make_Linker_Section_Pragma): New function

From-SVN: r101060

19 years agosem_eval.adb (Subtypes_Statically_Match): Use discriminant constraint of full view...
Ed Schonberg [Thu, 16 Jun 2005 08:46:01 +0000 (10:46 +0200)]
sem_eval.adb (Subtypes_Statically_Match): Use discriminant constraint of full view if present...

2005-06-14  Ed Schonberg  <schonberg@adacore.com>

* sem_eval.adb (Subtypes_Statically_Match): Use discriminant
constraint of full view if present, when other type is discriminated.
(Eval_Relational_Op): Recognize tests of pointer values against Null,
when the pointer is known to be non-null, and emit appropriate warning.

From-SVN: r101059

19 years agosem_case.adb (Expand_Others_Choice): Improve warning.
Ed Schonberg [Thu, 16 Jun 2005 08:45:45 +0000 (10:45 +0200)]
sem_case.adb (Expand_Others_Choice): Improve warning.

2005-06-14  Ed Schonberg  <schonberg@adacore.com>

* sem_case.adb (Expand_Others_Choice): Improve warning.

From-SVN: r101058

19 years agosem_aggr.adb (Aggregate_Constraint_Checks): Apply a conversion to the expression...
Gary Dismukes [Thu, 16 Jun 2005 08:45:32 +0000 (10:45 +0200)]
sem_aggr.adb (Aggregate_Constraint_Checks): Apply a conversion to the expression when the component type is an anonymous...

2005-06-14  Gary Dismukes  <dismukes@adacore.com>

* sem_aggr.adb (Aggregate_Constraint_Checks): Apply a conversion to the
expression when the component type is an anonymous access type to
ensure that appropriate accessibility checks are done.

* sem_ch5.adb (Analyze_Assignment): Apply a implicit conversion to the
expression of an assignment when the target object is of an anonymous
access type. This ensures that required accessibility checks are done.
(One_Bound): Move the check for type Universal_Integer to
Process_Bounds.
(Process_Bounds): Check whether the type of the preanalyzed range is
Universal_Integer, and in that case set Typ to Integer_Type prior
to setting the type of the original range and the calls to One_Bound.

From-SVN: r101057

19 years agoscng.adb: Add call to new Check_EOF routine
Robert Dewar [Thu, 16 Jun 2005 08:45:19 +0000 (10:45 +0200)]
scng.adb: Add call to new Check_EOF routine

2005-06-14  Robert Dewar  <dewar@adacore.com>

* scng.adb: Add call to new Check_EOF routine
(Accumulate_Checksum): Properly handle wide wide char >= 2 ** 24
Add some comments regarding wide character handling

* style.ads, styleg.ads, styleg.adb: Implement new style switch -gnatyu

* stylesw.ads, stylesw.adb: Implement new style switch -gnatyu

* g-utf_32.ads, g-utf_32.adb (Is_UTF_32_Non_Graphic): Other_Format
characters are now considered graphic characters and hence yield false
in this call.

From-SVN: r101056

19 years agos-atacco.ads: Put a pragma No_Strict_Aliasing on Object_Pointer.
Eric Botcazou [Thu, 16 Jun 2005 08:44:56 +0000 (10:44 +0200)]
s-atacco.ads: Put a pragma No_Strict_Aliasing on Object_Pointer.

2005-06-14  Eric Botcazou  <ebotcazou@adacore.com>

* s-atacco.ads: Put a pragma No_Strict_Aliasing on Object_Pointer.

From-SVN: r101055

19 years agoprj-part.adb (Pre_Parse_Context_Clause): Call Set_Is_Not_Last_In_List when the projec...
Vincent Celier [Thu, 16 Jun 2005 08:44:38 +0000 (10:44 +0200)]
prj-part.adb (Pre_Parse_Context_Clause): Call Set_Is_Not_Last_In_List when the project file in a with clause is not the...

2005-06-14  Vincent Celier  <celier@adacore.com>

* prj-part.adb (Pre_Parse_Context_Clause): Call Set_Is_Not_Last_In_List
when the project file in a with clause is not the last one, that is the
project file name is followed by a comma.
* prj-pp.adb: (First_With_In_List): New Boolean global variable
(Print): Issue list of project files separated by commas in with clauses
according to the values returned by Is_Not_Last_In_List.
* prj-tree.ads, prj-tree.adb: (Is_Not_Last_In_List): New function
(Set_Is_Not_Last_In_List): New procedure

From-SVN: r101054

19 years agoprj-nmsc.adb (Suffix_For): Change default suffix for C++ to ".cpp"
Vincent Celier [Thu, 16 Jun 2005 08:44:23 +0000 (10:44 +0200)]
prj-nmsc.adb (Suffix_For): Change default suffix for C++ to ".cpp"

2005-06-14  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Suffix_For): Change default suffix for C++ to ".cpp"
(Check_Stand_Alone_Library): If the specified reference symbol file does
not exist, only issue a warning when the symbol policy is not
Controlled. And, when symbol policy is Compliant, set the symbol
policy to Autonomous.

From-SVN: r101053

19 years agoprep.adb (Preprocess): Ignore error when scanning the first token of a line.
Vincent Celier [Thu, 16 Jun 2005 08:44:11 +0000 (10:44 +0200)]
prep.adb (Preprocess): Ignore error when scanning the first token of a line.

2005-06-14  Vincent Celier  <celier@adacore.com>

* prep.adb (Preprocess): Ignore error when scanning the first token of
a line.

From-SVN: r101052

19 years agore PR ada/15613 (Accepts named parameters not last)
Robert Dewar [Thu, 16 Jun 2005 08:43:57 +0000 (10:43 +0200)]
re PR ada/15613 (Accepts named parameters not last)

2005-06-14  Robert Dewar  <dewar@adacore.com>

PR ada/15613

* par-ch2.adb (Scan_Pragma_Argument): New procedure
(P_Pragma): Implement RM 2.8(4) check for no pos args after named args

From-SVN: r101051

19 years agoosint.adb (Add_Default_Search_Dirs): Put source and object directories of project...
Vincent Celier [Thu, 16 Jun 2005 08:43:43 +0000 (10:43 +0200)]
osint.adb (Add_Default_Search_Dirs): Put source and object directories of project files before directories coming...

2005-06-14  Vincent Celier  <celier@adacore.com>

* osint.adb (Add_Default_Search_Dirs): Put source and object
directories of project files before directories coming from
ADA_INCLUDE_PATH and ADA_OBJECTS_PATH.

From-SVN: r101050

19 years agoopt.ads, opt.adb: New flags for persistent_bss mode Add Ada_Version_Explicit...
Robert Dewar [Thu, 16 Jun 2005 08:43:32 +0000 (10:43 +0200)]
opt.ads, opt.adb: New flags for persistent_bss mode Add Ada_Version_Explicit...

2005-06-14  Robert Dewar  <dewar@adacore.com>

* opt.ads, opt.adb: New flags for persistent_bss mode
Add Ada_Version_Explicit, for implementation of AI-362
Add Assertions_Enabled_Config and associated handling
Needed since setting can be changed with Assertion_Policy pragma
Add new flag Warn_On_Ada_2005_Compatibility

* switch-c.adb: Recognize -gnatwy/Y
Set Ada_Version_Explicit, for implementation of AI-362
The -gnatg switch now includes -gnatyu

* usage.adb: Add -gnatwy/Y
Remove wrong asterisk on -gnatwX line
Add line for -gnatyu switch

From-SVN: r101049

19 years agomdll.adb (Get_Dll_Name): New routine that returns the DLL name given the library...
Pascal Obry [Thu, 16 Jun 2005 08:43:17 +0000 (10:43 +0200)]
mdll.adb (Get_Dll_Name): New routine that returns the DLL name given the library name.

2005-06-14  Pascal Obry  <obry@adacore.com>

* mdll.adb (Get_Dll_Name): New routine that returns the DLL name given
the library name.

From-SVN: r101048

19 years agoMake-lang.in: Add initialize.o when needed.
Doug Rupp [Thu, 16 Jun 2005 08:43:05 +0000 (10:43 +0200)]
Make-lang.in: Add initialize.o when needed.

2005-06-10  Doug Rupp  <rupp@adacore.com>
    Arnaud Charlet  <charlet@adacore.com>
    Olivier Hainque  <hainque@adacore.com>
    Jose Ruiz  <ruiz@adacore.com>

* Make-lang.in: Add initialize.o when needed.
Remove obsolete references to RT_FLAGS.
Add missing dependencies for sdefault.o

* initialize.c: New file.

* init.c [VMS] Declare ADA$ externs weak to fix build problem in IVMS.
[VMS] cond_signal_table: Fix problem in declaration.
[VMS] __gnat_error_handler: rewrite.
Move all __gnat_initialize() routines to initialize.c
Specialize the former "hpux" section to "hppa hpux", as this is what the
section really is here for and we now have other hpux ports that need
different contents.
(__gnat_adjust_context_for_raise) i386-linux: First version of this
function for this target. Adjust PC by one in the machine context. This
adjustment was previously done in the MD_FALLBACK_FRAME_STATE_FOR, but
it is more reliable to do that in the signal handler itself.
(__gnat_install_handler) i386-linux: Set SA_SIGINFO in the sigaction
flags, so that the handler is passed the context structure to adjust
prior to the raise.
(__gnat_error_handler) i386-linux: Adjust the signature to match what a
SA_SIGINFO sigaction should look like. Call
__gnat_adjust_context_for_raise before actually raising. Cleanup unused
Machine_State_Operations stuff.
Add conditional code so that the x86_64 is also supported.

From-SVN: r101047

19 years agolib-xref.ads, [...] (Generate_Definition): Treat any entity declared within an inline...
Ed Schonberg [Thu, 16 Jun 2005 08:42:37 +0000 (10:42 +0200)]
lib-xref.ads, [...] (Generate_Definition): Treat any entity declared within an inlined body as referenced...

2005-06-14  Ed Schonberg  <schonberg@adacore.com>
    Emmanuel Briot  <briot@adacore.com>

* lib-xref.ads, lib-xref.adb (Generate_Definition): Treat any entity
declared within an inlined body as referenced, to prevent spurious
warnings.
(Output_One_Ref): If an entity renames an array component, indicate in
the ALI file that this aliases (renames) the array. Capture as well
function renamings that rename predefined operations.
Add information about generic parent for package and subprogram
instances.
(Get_Type_Reference): For a subtype that is the renaming of an actual in
an instantiation, use the first_subtype to ensure that we don't generate
cross-reference information for internal types.
For objects and parameters of a generic private type, retain the '*'
indicator to distinguish such an entity from its type.

        * ali.ads (Xref_Entity_Record): New fields Iref_File_Num and Iref_Line,
        to store information about instantiated entities.

        * ali.adb (Scan_ALI): Add support for parsing the reference to the
        generic parent

        * xref_lib.adb (Skip_To_Matching_Closing_Bracket): New subprogram
        (Parse_Identifier_Info, Parse_Token): Add support for the generic parent
        information.

From-SVN: r101046

19 years agolib-load.ads, [...] (Load_Unit): Addition of a new parameter that indicates if...
Javier Miranda [Thu, 16 Jun 2005 08:42:20 +0000 (10:42 +0200)]
lib-load.ads, [...] (Load_Unit): Addition of a new parameter that indicates if...

2005-06-14  Javier Miranda  <miranda@adacore.com>
    Jose Ruiz  <ruiz@adacore.com>
    Robert Dewar  <dewar@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

* lib-load.ads, lib-load.adb (Load_Unit): Addition of a new parameter
that indicates if we are parsing a compilation unit found in a
limited-with clause.
It is use to avoid the circularity check.

* par.ads, par.adb (Par): Addition of a new parameter to indicate if
we are parsing a compilation unit found in a limited-with clause. This
is use to avoid the circularity check.

* par-load.adb (Load): Indicate Lib.Load_Unit if we are loading the
unit as a consequence of parsing a limited-with clause. This is used
to avoid the circularity check.

* sem_ch10.adb: Suppress Ada 2005 unit warning if -gnatwY used
(Analyze_Context): Limited-with clauses are now allowed
in more compilation units.
(Analyze_Subunit_Context, Check_Parent): Protect the frontend
againts previously reported critical errors in context clauses
(Install_Limited_Withed_Unit): Code cleanup plus static detection
of two further errors: renamed subprograms and renamed packages
are not allowed in limited with clauses.
(Install_Siblings): Do not install private_with_clauses on the package
declaration for a non-private child unit.
(Re_Install_Parents): When a parent of the subunit is reinstalled,
reset visibility of child units properly.
(Install_Withed_Unit): When a child unit appears in a with_clause of its
parent, it is immediately visible.

From-SVN: r101045

19 years agolayout.adb (Discrimify): Remove resetting of Vtype to the underlying type which turns...
Gary Dismukes [Thu, 16 Jun 2005 08:42:04 +0000 (10:42 +0200)]
layout.adb (Discrimify): Remove resetting of Vtype to the underlying type which turns out to be an...

2005-06-14  Gary Dismukes  <dismukes@adacore.com>

* layout.adb (Discrimify): Remove resetting of Vtype to the underlying
type which turns out to be an incomplete and incorrect fix.
(Layout_Array_Type): Use Underlying_Type when checking whether the scope
of the type is declared in a record (for determination of insertion
type).
(SO_Ref_From_Expr): Test whether Vtype denotes a partial or full view of
a private type and ensure that the primary entity is used for the type
of the newly created function's V formal by taking the Etype of the
view.

From-SVN: r101044

19 years agore PR ada/6717 (Race condition in GNAT.Sockets.Create_Selector)
Thomas Quinot [Thu, 16 Jun 2005 08:41:50 +0000 (10:41 +0200)]
re PR ada/6717 (Race condition in GNAT.Sockets.Create_Selector)

2005-06-14  Thomas Quinot  <quinot@adacore.com>

PR ada/6717

* g-socket.ads, g-socket.adb (Inet_Addr): Special case the all-ones
broadcast address.
(Create_Selector): Bind listening socket used to create the signalling
socket pair to 127.0.0.1 to limit the scope for 'theft' of connection.
Set listen backlog to 1 to ensure that we detect socket theft by a
failure of our own connect(2) call.
(Check_Selector): Improve documentation of the selector mechanism.
(Broadcast_Inet_Addr): New constant.

From-SVN: r101043

19 years agog-os_lib.ads, [...] (Non_Blocking_Spawn): Two new versions with output file descripto...
Vincent Celier [Thu, 16 Jun 2005 08:41:09 +0000 (10:41 +0200)]
g-os_lib.ads, [...] (Non_Blocking_Spawn): Two new versions with output file descriptor and with output file name.

2005-06-14  Vincent Celier  <celier@adacore.com>
    Cyrille Comar  <comar@adacore.com>

* g-os_lib.ads, g-os_lib.adb (Non_Blocking_Spawn): Two new versions
with output file descriptor and with output file name.
(Dup, Dup2): Now global procedures as they are used by two subprograms
(Copy): Allocate the 200K buffer on the heap rather than on the stack.

From-SVN: r101042

19 years agog-dynhta.ads, [...] (Reset): Free the table itself after releasing the items.
Pascal Obry [Thu, 16 Jun 2005 08:40:36 +0000 (10:40 +0200)]
g-dynhta.ads, [...] (Reset): Free the table itself after releasing the items.

2005-06-14  Pascal Obry  <obry@adacore.com>

* g-dynhta.ads, g-dynhta.adb (Reset): Free the table itself after
releasing the items.

From-SVN: r101041

19 years agog-diopit.adb (Wildcard_Iterator): Return directly if Path is equal to ""
Nicolas Roche [Thu, 16 Jun 2005 08:40:05 +0000 (10:40 +0200)]
g-diopit.adb (Wildcard_Iterator): Return directly if Path is equal to ""

2005-06-14  Nicolas Roche  <roche@adacore.com>

* g-diopit.adb (Wildcard_Iterator): Return directly if Path is equal
to ""
(Next_Level): Fix minor bug in handling of ../dir case
(Read): Add dir separator to Directory name so that "" is understood as
 "/"

From-SVN: r101040

19 years agog-debpoo.adb (Deallocate, [...]): Improve output.
Emmanuel Briot [Thu, 16 Jun 2005 08:39:12 +0000 (10:39 +0200)]
g-debpoo.adb (Deallocate, [...]): Improve output.

2005-06-14  Emmanuel Briot  <briot@adacore.com>

* g-debpoo.adb (Deallocate, Dereference): Improve output.

From-SVN: r101039

19 years agog-comlin.adb (Getopt): Skip any leading space in the Switches string.
Joel Brobecker [Thu, 16 Jun 2005 08:38:55 +0000 (10:38 +0200)]
g-comlin.adb (Getopt): Skip any leading space in the Switches string.

2005-06-14  Joel Brobecker  <brobecker@adacore.com>

* g-comlin.adb (Getopt): Skip any leading space in the Switches string.
Avoids a CE when it starts with spaces.

From-SVN: r101038

19 years agofe.h: Add entry for Opt.Exception_Locations_Suppressed so that gigi can determine...
Jose Ruiz [Thu, 16 Jun 2005 08:38:39 +0000 (10:38 +0200)]
fe.h: Add entry for Opt.Exception_Locations_Suppressed so that gigi can determine...

2005-06-14  Jose Ruiz  <ruiz@adacore.com>

* fe.h: Add entry for Opt.Exception_Locations_Suppressed so that gigi
can determine whether pragma Suppress_Exception_Locations is in effect.

* utils2.c (build_call_raise): Do not pass the file name to the
exception handler if pragma Suppress_Exception_Locations is in effect.
(build_allocator): Add and process arg IGNORE_INIT_TYPE.

From-SVN: r101037