* 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

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.

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

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.

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

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

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

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

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
 "/"

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

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

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

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

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.

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

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.

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

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

* exp_intr.adb, par-ch5.adb: Minor fix to error message text

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

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

* exp_dist.adb (Add_RACW_Primitive_Declarations_And_Bodies): For an
RACW without any primitives, do not generate the if statement for
dispatching by name in the PolyORB/DSA case, as it would be malformed
(it would have an Elsif_Parts list that is not No_List, but with a
length of 0).

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

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

* exp_dbug.ads, exp_dbug.adb (Get_Variant_Part): Fix the encoding of
the "simple_choice" member in a variant record, in accordance with the
description in the package spec: the information output for a constant
should be "S number", not "SS number".
(Get_Encoded_Name): Return at once if not generating code. Avoids name
overflow problem when compiling with -gnatct, for ASIS/gnatmetrics.

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

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

* exp_ch7.adb (Find_Node_To_Be_Wrapped): If the node appears within
the entry_call alternative of a conditional entry call, wrap the
conditional entry call itself.

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

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

* exp_ch2.adb (Param_Entity): Take the case of an expanded_name
denoting a formal parameter into account.

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

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

* exp_aggr.adb (Aggr_Size_OK): An array with no components can always
be expanded in place. The size computation does not require a
subtraction, which would raise an exception on a compiler built with
assertions when the upper bound is Integer'first.
(Flatten): For an array of composite components, take into account the
size of the components to determine whether it is safe to expand the
array into a purely positional representation.

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

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

* errout.ads, errout.adb (Error_Msg_NW): Only emit warning on user
code, not on the bodies of predefined operations, to cut down on
spurious noise.

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

2005-06-14  Ed Schonberg  <schonberg@adacore.com>
    Javier Miranda  <miranda@adacore.com>
    Thomas Quinot  <quinot@adacore.com>
    Robert Dewar  <dewar@adacore.com>
    Hristian Kirtchev  <kirtchev@adacore.com>
    Gary Dismukes  <dismukes@adacore.com>

* einfo.ads, einfo.adb (Is_Local_Anonymous_Access): New flag on
anonymous access types, to indicate that the accessibility level of
the type is determined by that of the enclosing declaration.
(Has_Persistent_BSS): New flag
(Set_Is_Primitive_Wrapper): Upgrade the barrier to allow the usage
of this attribute with functions.
(Is_Primitive_Wrapper): Remove the barrier.
(Has_Specified_Stream_Input, Has_Specified_Stream_Output,
Has_Specified_Stream_Read, Has_Specified_Stream_Write):
New subprograms.
(Set_Has_Specified_Stream_Input, Set_Has_Specified_Stream_Output,
Set_Has_Specified_Stream_Read, Set_Has_Specified_Stream_Write):
New subprograms.
(Is_Pure_Unit_Access_Type): New flag
(Abstract_Interfaces): Complete the assertion to cover all usages.
(Set_Is_Interface): Complete the assertion to cover all usages.
(Is_Primitive_Wrapper): New attribute.
(Is_Obsolescent): Now applies to all entities (though it is only set
for subprograms currently)
New flag:  Has_Constrained_Partial_View, to implemente Ada 2005 AI-363,
which solves various problems concerning access subtypes.
(Has_Persistent_BSS): New flag
(Is_Primitive_Wrapper, Set_Primitive_Wrapper): Code cleanup.
Remove these subprograms because this attribute is currently
not used.
New entity flags:
Has_Specified_Stream_Input (Flag190)
Has_Specified_Stream_Output (Flag191)
Has_Specified_Stream_Read (Flag192)
Has_Specified_Stream_Write (Flag193)
Present in all type and subtype entities. Set for a given view if the
corresponding stream-oriented attribute has been defined by an
attribute definition clause. When such a clause occurs, a TSS is set
on the underlying full view; the flags are used to track visibility of
the attribute definition clause for partial or incomplete views.
(Is_Pure_Unit_Access_Type): New flag
Clarify use of Is_Internal.
(Is_Primitive_Wrapper): New attribute present in primitive subprograms
internally generated to wrap the invocation of tasks and protected
types that implement interfaces.
(Implementation_Base_Type): Documentation correction
(Is_Obsolescent): Now applies to all entities (though it is only set
for subprograms currently)
New flag:  Has_Constrained_Partial_View, to implement Ada 2005 AI-363,
which solves various problems concerning access subtypes.

* exp_ch9.adb (Type_Conformant_Parameters): Introduce mode conformance
for examined parameters. Identify unequal parameter list lengths as
non-conformant parameters.
(Overriding_Possible): Do not check for "All" qualifier in declaration
of controlling access parameter, following prescription of AI-404.
(Build_Entry_Wrapper_Spec, Build_Entry_Wrapper_Body): New subprograms
that build the procedure body that wraps an entry invocation
(Build_Corresponding_Record, Build_Protected_Sub_Specification,
Expand_N_Protected_Body, Expand_N_Protected_Type_Declaration,
Expand_N_Task_Body, Expand_N_Task_Type_Declaration): Modified to
give support to abstract interface types

* freeze.adb (Freeze_Entity): Issue error message if
Is_Pure_Unit_Access_Type set, unless we are in Ada 2005 mode and the
type has no storage pool (Ada 2005) AI-366.
Also modified to give support to abstract interface types
(Freeze_Subprogram): Issue an error for a dispatching subprogram with an
Inline_Always pragma.

* par-ch9.adb (P_Task_Items): Reserved words "not" or "overriding" may
now begin an entry declaration.
(P_Entry_Or_Subprogram_With_Indicator): New procedure in
P_Protected_Operation_Declaration_Opt. Parse an entry declaration or
a subprogram declaration preceded by an overriding indicator.
(P_Protected_Operation_Declaration_Opt): Add case for parsing entry
declarations or subprogram declarations preceded by reserved words
"not" or "overriding".
(P_Entry_Declaration): Update comment. Parse and check overriding
indicator, set semantic flags of entry declarations.
(P_Task): New error message in case of private applied
to a task type declaration.
(P_Protected): New error message in case of private applied
to a task type declaration.

* sem_ch7.adb (Preserve_Full_Attributes): Modified to handle the case
in which the full view of a type implementing an interface is a
concurrent type.
(Has_Overriding_Pragma): Remove obsolete implementation of AI-218.
Declare_Inherited_Private_Subprograms): If an explicit operation
overrides an operation that is inherited in the private part, mark the
explicit one as overriding, to enable overriding indicator checks.
(Preserve_Full_Attributes): Propagate Is_Unchecked_Union attribute from
full view to partial view, to simplify handling in back-end.

* sprint.adb: Print interface lists where needed: derived types,
protected types, task types.
output "is null" for null procedures. Part of implementation of

* sem_cat.adb (Validate_Access_Type_Declaration): Implement AI-366
relaxation of rules for access types in pure, shared passive partitions.

* exp_strm.adb (Build_Mutable_Record_Read_Procedure): Reorganize to
first read discriminants into temporary objects, performing checks on
the read values, then possibly performing discriminant checks on the
actual (if it is constrained), and only finally reading the components
into a constrained temporary object.
(Build_Elementary_Input_Call): Adjust the specific circuitry for the
case of reading discriminants of a mutable record type to recognize
the new form of the code generated by
Build_Mutable_Record_Read_Procedure.

* exp_tss.ads, exp_tss.adb (Make_Init_Proc_Name): Reimplement in terms
of a simple call to Make_TSS_Name.
(Make_TSS_Name_Local): Add the TSS name as the last thing in the name
buffer, in order for Is_TSS to work correctly on local TSS names.

* sem_attr.ads, sem_attr.adb (Resolve_Attribute, case 'Access): Use flag
Is_Local_Anonymous_Access to check legaliy of attributes in the
context of  access components and stand-alone access objects.
(Stream_Attribute_Available): In Ada 95 mode, a stream attribute is
treated as available for a limited private type if there is an
attribute_definition_clause that applies to its full view, but not in
other cases where the attribute is available for the full view
(specifically, the sole fact that the full view is non-limited does not
make the attribute available for the partial view).
(Build_Access_Subprogram_Type): Diagnose attempt to apply 'access to a
non-overloaded intrinsic subprogram.
(Check_Stream_Attribute): Reject an attribute reference for an
unavailable stream attribute even if the prefix is not a limited type
(case of a 'Input attribute reference for an abstract, non-classwide
type)
(Stream_Attribute_Available): New function to determine whether a stream
attribute is available at a place.
(Check_Attribute): Use Stream_Attribute_Available instead of just
testing for TSS presence on the implementation base type.
(Analyze_Attribute): Modified to give support to task interfaces.
(Analyze_Access_Attribute): Add error check for use of an Access (or
Unrestricted_Access) attribute with a subprogram marked as
Inline_Always.
(Analyze_Attribute, case Attribute_Address): Add error check for use of
an Address attribute with a subprogram marked as Inline_Always.
Update Eval_Attribute to handle new value of Width from AI-395

* sem_ch13.adb (Analyze_Stream_TSS_Definition): New subprogram.
(Analyze_Attribute_Definition_Clause, cases Input, Output, Read, Write):
Factor common code across the stream-oriented attribute circcuits into
a new subprogram, Analyze_Stream_TSS_Definition. The new uniform
processing is functionally identical to the previous duplicated one,
except that an expression that denotes an abstract subprogram will now
be rejected, as mandated by AI-195 item 5.

* sem_util.ads, sem_util.adb (Type_Access_Level): Use flag
Is_Local_Anonymous_Access to apply accessibility checks to access
components and stand-alone access objects.
(Has_Discriminant_Dependent_Constraint): Moved to spec for use
elsewhere.
(Is_Potentially_Persistent_Type): New function
(Is_Dependent_Component_Of_Mutable_Object): If the enclosing object is
a heap-object whose type has a constrained partial view, the object is
unconstrained and the component may depend on a discriminant, making its
renaming illegal.

* sinfo.ads, sinfo.adb
(Must_Not_Override): Flag applicable to N_Entry_Declaration.
(Must_Override): Flag applicable to N_Entry_Declaration.
Indicate that interface_list can appear in single task and single
protected declarations.
Replace Is_Overriding and Not_Overriding with Must_Override and
Must_Not_Override, to better express intent of AI.
Is_Overriding, Not_Overriding: Ada2005 flags that indicate the presence
of an overriding indicator in a subprogram or instance.
Ada 2005 (AI-248) Null_Present can appear in a procedure specification.
Add the overriding indicator [[not] overriding] construct to the
following grammar productions:
 ENTRY_DECLARATION
 GENERIC_INSTANTIATION
 SUBPROGRAM_SPECIFICATION

* par-ch10.adb (P_Compilation_Unit): Subprogram declaration or body
can start with an overriding indicator.

* par-ch6.adb (P_Subprogram): Recognize overriding indicator, and set
flags accordingly on subrogram specifications or instances.

* sem_ch8.adb:
(Analyze_Subprogram_Renaming): For a renaming_as_body, verify that the
overriding_indicator, if present, is consistent with status of spec.
Improve error message for null-excluding checks on controlling access
parameters.
(Check_In_Previous_With_Clause): Protect the frontend against
previously reported critical errors in the context clauses.
Save and restore Ada_Version_Explicit, for implementation of AI-362
(Analyze_Subprogram_Renaming): If the new entity is a dispatching
operation verify that controlling formals of the renamed entity that
are access parameters are explicitly non-null.
(Find_Expanded_Name): Improve error message when prefix is an illegal
reference to a private child unit.

* exp_imgv.adb, s-imgwch.ads, s-imgwch.adb, s-valwch.adb,
s-valwch.ads, s-widwch.adb, s-widwch.ads, s-wwdcha.adb, s-wwdwch.adb:
Rewrite to correspond to new wide character names in AI-395

        * par-ch12.adb (P_Formal_Subprogram_Declaration): Recognize null
        default procedures.

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

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

* clean.adb (Clean_Project): Correctly delete executable specified as
absolute path names.

* make.adb (Gnatmake): Allow relative executable path names with
directory information even when project files are used.
(Change_To_Object_Directory): Fail gracefully when unable to change
current working directory to object directory of a project.
(Gnatmake): Remove exception handler that could no longer be exercized
(Compile_Sources.Compile): Use deep copies of arguments, as some of them
may be deallocated by Normalize_Arguments.
(Collect_Arguments): Eliminate empty arguments

* gnatcmd.adb (All_Projects): New Boolean flag, initialized to False,
and set to True when -U is used for GNAT PRETTY or GNAT METRIC.
(Check_Project): Return False when Project is No_Project. Return True
when All_Projects is True.
(GNATCmd): Recognize switch -U for GNAT PRETTY and GNAT METRIC and set
All_Projects to True.
Minor reformatting

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