2005-06-19  Andreas Krebbel  <krebbel1@de.ibm.com>

* combine.c (make_compound_operation): Use simplify_subreg.  Delete
a optimization already done by simplify_subreg.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101183 138bc75d-0d04-0410-961f-82ee72b054a4

* loop.c (scan_loop): Do not consider insns setting the frame
pointer to be candidates for hoisting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101182 138bc75d-0d04-0410-961f-82ee72b054a4

2005-06-19  Uros Bizjak  <uros@kss-loka.si>

        * config/i386/i386.md (*cmpfp_0_sf, *cmpfp_0_df, cmpfp_0_xf):
        Remove instruction patterns.
        (*cmpfp_0): New instruction pattern. Set "unit" attribute to "i387".
        (*cmpfp_sf, *cmpfp_df, *cmpfp_xf, *cmpfp_u, *_cmpfp_<mode>):
        Set "unit" attribute to "i387".
        (*pushsf, *pushsf_rex64, *pushdf_nointeger, *pushdf_integer)
        (*pushxf_nointeger, *pushxf_integer): Set "unit" attribute to "i387"
        for alternative 0.
        (*truncdfsf_mixed, *truncdfsf_i387, *truncxfsf2_mixed)
        (*truncxfsf2_i387, *truncxfdf2_mixed, *truncxfdf2_i387): Set "unit"
        attribute to "i387" when "type" attribute equals "multi".
        (*floathisf2_i387, *floatsisf2_mixed, *floatsisf2_i387)
        (*floatdisf2_mixed, *floatdisf2_i387, *floathidf2_i387)
        (*floatsidf2_mixed, *floatsidf2_i387, *floatdidf2_mixed)
        (*floatdidf2_i387, floathixf2, floatsixf2, floatdixf2): Set "unit"
        attribute to "i387" when "type" attribute equals "multi".
        * config/i386/mmx.md (*mov<mode>_internal_rex64)
        (*mov<mode>_internal, *movv2sf_internal_rex64, *movv2sf_internal):
        Set "unit" attribute to "mmx" when "type" attribute equals "ssecvt".
        (mmx_pmovmskb): Correct wrong "type" and "mode" attributes.
        * config/i386/sse.md (sse_cvtps2pi, sse_cvttps2pi, sse_cvtpd2di)
        (sse_cvttpd2pi): Set "unit" attribute to "mmx".
        (sse2_cvtpi2pd): Split register constraints. Set "unit" attribute
        to "mmx" for "y" operand 1.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101180 138bc75d-0d04-0410-961f-82ee72b054a4

2005-06-16  Uros Bizjak  <uros@kss-loka.si>

        * config/i386/i386.c (ix86_function_arg_regno_p): Add MMX_REGNO_P
        for TARGET_MMX.  Use MMX_REGPARM_MAX and SSE_REGPARM_MAX for MMX
        and SSE registers to determine if regno is valid.
        (ix86_function_value_regno_p): Depend FIRST_FLOAT_REG on
        TARGET_FLOAT_RETURNS_IN_80387 also for TARGET_64BIT. Clean up.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101179 138bc75d-0d04-0410-961f-82ee72b054a4

    * tree-complex.c (init_dont_simulate_again): Clear DONT_SIMULATE_AGAIN
        for control-altering statements; set it again for returns.
        (complex_visit_stmt): Return SSA_PROP_VARYING for stmts that are
        not MODIFY_EXPR.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101178 138bc75d-0d04-0410-961f-82ee72b054a4

    PR tree-opt/22116
        * tree-ssa-pre.c (create_expression_by_pieces): Set
        DECL_COMPLEX_GIMPLE_REG_P.
        (insert_into_preds_of_block): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101177 138bc75d-0d04-0410-961f-82ee72b054a4

* tr.po: Update.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101175 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101173 138bc75d-0d04-0410-961f-82ee72b054a4

* Makefile.in: Fix tree-cfgcleanup.c dependencies.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101170 138bc75d-0d04-0410-961f-82ee72b054a4

    * 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101169 138bc75d-0d04-0410-961f-82ee72b054a4

* tr.po, vi.po: Update.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101168 138bc75d-0d04-0410-961f-82ee72b054a4

    * 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101167 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101164 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101163 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101162 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101161 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101160 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101159 138bc75d-0d04-0410-961f-82ee72b054a4

* 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101158 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101157 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101156 138bc75d-0d04-0410-961f-82ee72b054a4

    * 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101155 138bc75d-0d04-0410-961f-82ee72b054a4

* 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101153 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101152 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101150 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101149 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101146 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101141 138bc75d-0d04-0410-961f-82ee72b054a4

    * 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101140 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101139 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101138 138bc75d-0d04-0410-961f-82ee72b054a4

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

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101137 138bc75d-0d04-0410-961f-82ee72b054a4

* es.po: Update.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101136 138bc75d-0d04-0410-961f-82ee72b054a4

    * gcc.dg/sync-2.c (do_qi): Cast negative results to char.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101135 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101134 138bc75d-0d04-0410-961f-82ee72b054a4

    * 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101133 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101132 138bc75d-0d04-0410-961f-82ee72b054a4

    * 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101131 138bc75d-0d04-0410-961f-82ee72b054a4

* docs/html/21_strings/gotw29a.txt: Update code to corrected version.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101130 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101128 138bc75d-0d04-0410-961f-82ee72b054a4

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

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101127 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101126 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101125 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101124 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101121 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101118 138bc75d-0d04-0410-961f-82ee72b054a4

* 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101114 138bc75d-0d04-0410-961f-82ee72b054a4

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

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101110 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101109 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101105 138bc75d-0d04-0410-961f-82ee72b054a4

* io/transfer.c (formatted_transfer): Fix typo in error message.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101102 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101100 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101099 138bc75d-0d04-0410-961f-82ee72b054a4

* 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101098 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101097 138bc75d-0d04-0410-961f-82ee72b054a4

* 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101092 138bc75d-0d04-0410-961f-82ee72b054a4

Fix typo in last log message.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101091 138bc75d-0d04-0410-961f-82ee72b054a4

* 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101090 138bc75d-0d04-0410-961f-82ee72b054a4

    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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101086 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101085 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101084 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101083 138bc75d-0d04-0410-961f-82ee72b054a4

* 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101082 138bc75d-0d04-0410-961f-82ee72b054a4

resync

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101081 138bc75d-0d04-0410-961f-82ee72b054a4

Resync with latest version of AI-302

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101079 138bc75d-0d04-0410-961f-82ee72b054a4

Update header.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101078 138bc75d-0d04-0410-961f-82ee72b054a4

Update comments and spec.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101077 138bc75d-0d04-0410-961f-82ee72b054a4

Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101076 138bc75d-0d04-0410-961f-82ee72b054a4

Minor reformatting.
Update header.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101075 138bc75d-0d04-0410-961f-82ee72b054a4

Update copyright

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101074 138bc75d-0d04-0410-961f-82ee72b054a4

Removed, no longer used.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101073 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101072 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101071 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101070 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101069 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101068 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101067 138bc75d-0d04-0410-961f-82ee72b054a4

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

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101066 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101065 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101064 138bc75d-0d04-0410-961f-82ee72b054a4

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

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101063 138bc75d-0d04-0410-961f-82ee72b054a4

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

* s-strxdr.adb: Follow AI95-00132

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101062 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101061 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101060 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101059 138bc75d-0d04-0410-961f-82ee72b054a4

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

* sem_case.adb (Expand_Others_Choice): Improve warning.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101058 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101057 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101056 138bc75d-0d04-0410-961f-82ee72b054a4

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

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101055 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101054 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101053 138bc75d-0d04-0410-961f-82ee72b054a4

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

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101052 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101051 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101050 138bc75d-0d04-0410-961f-82ee72b054a4

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101049 138bc75d-0d04-0410-961f-82ee72b054a4

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

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101048 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101047 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101046 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101045 138bc75d-0d04-0410-961f-82ee72b054a4

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101044 138bc75d-0d04-0410-961f-82ee72b054a4