Daily bump.

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

2008-03-29  Paolo Carlini  <pcarlini@suse.de>

PR libstdc++/35725
* include/bits/stl_algobase.h (__fill_a(_ForwardIterator,
_ForwardIterator, _Tp), __fill_a(_Tp*, _Tp*, _Tp),
__fill_n_a(_OutputIterator, _Size, _Tp), __fill_n_a(_Tp*, _Size,
_Tp)): Fix signatures.
* testsuite/25_algorithms/fill/35725.cc: New.
* testsuite/25_algorithms/fill_n/35725.cc: Likewise.

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

2008-03-29  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        * config/rs6000/rs6000.c (rs6000_stack_info): Don't force saving of
        the link register if one altivec register is be saved.

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

* final.c (final_scan_insn): Remove if (0) code.

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

2008-03-29  Laurent GUERBY  <laurent@guerby.net>

        * gnat.dg/socket2.adb: Remove since identical to socket1.adb.

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

2008-03-29  Matthias Klose  <doko@ubuntu.com>

* config/abi/post/s390-linux-gnu/baseline_symbols.txt: Update.
* config/abi/post/ia64-linux-gnu/baseline_symbols.txt: Likewise.
* config/abi/post/mips-linux-gnu/baseline_symbols.txt: Likewise.
* config/abi/post/sparc-linux-gnu/baseline_symbols.txt: Likewise.

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

2008-03-29  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/35698
* trans-array.c (gfc_array_init_size): Set 'size' zero if
negative in one dimension.

PR fortran/35702
* trans-expr.c (gfc_trans_string_copy): Only assign a char
directly if the lhs and rhs types are the same.

2008-03-29  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/35698
* gfortran.dg/allocate_zerosize_3.f: New test.

PR fortran/35702
* gfortran.dg/character_assign_1.f90: New test.

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

* c-parser.c (c_parser_next_token_is_keyword): Simplify.

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

Daily bump.

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

2008-03-28  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR libfortran/32972
PR libfortran/32512
* Makefile.am:  Add new variable, i_spread_c, containing
pack_i1.c, pack_i2.c, pack_i4.c, pack_i8.c, spread_i16.c,
spread_r4.c, spread_r8.c, spread_r10.c, spread_r16.c,
spread_c4.c, spread_c8.c, spread_c10.c, spread_c16.c.
* Makefile.in:  Regenerated.
* libgfortran.h:  Add prototypes for spread_i1, spread_i2,
spread_i4, spread_i8, spread_i16, spread_r4, spread_r8,
spread_c4, spread_c8, spread_c10, spread_c16,
spread_scalar_i1, spread_scalar_i2, spread_scalar_i4,
spread_scalar_i8, spread_scalar_i16, spread_scalar_r4
spread_scalar_r8, spread_scalar_c4, spread_scalar_c8,
spread_scalar_c10 and spread_scalar_c16.
Add macros to isolate both type and size information
from array descriptors with a single mask operation.
* intrinsics/spread_generic.c:  Add calls to specific
spread functions.
* m4/spread.m4:  New file.
* generated/spread_i1.c:  New file.
* generated/spread_i2.c:  New file.
* generated/spread_i4.c:  New file.
* generated/spread_i8.c:  New file.
* generated/spread_i16.c:  New file.
* generated/spread_r4.c:  New file.
* generated/spread_r8.c:  New file.
* generated/spread_r10.c:  New file.
* generated/spread_r16.c:  New file.
* generated/spread_c4.c:  New file.
* generated/spread_c8.c:  New file.
* generated/spread_c10.c:  New file.
* generated/spread_c16.c:  New file.

2008-03-28  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR libfortran/32972
PR libfortran/32512
* intrinsic_spread_1.f90:  New file.
* intrinsic_spread_2.f90:  New file.
* intrinsic_spread_3.f90:  New file.

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

gcc/fortran:
2008-03-28  Daniel Franke  <franke.daniel@gmail.com>
            Paul Richard Thomas <paul.richard.thomas@gmail.com>

PR fortran/34714
        * primary.c (match_variable): Improved matching of function
        result variables.
        * resolve.c (resolve_allocate_deallocate): Removed checks if
        the actual argument for STAT is a variable.

gcc/testsuite:
2008-03-28  Daniel Franke  <franke.daniel@gmail.com>

        PR fortran/34714
        * gfortran.dg/alloc_alloc_expr_3.f90: New test.
        * gfortran.dg/allocate_stat.f90: Adjusted error-match text.
        * gfortran.dg/func_assign.f90: Likewise.
        * gfortran.dg/implicit_11.f90: Likewise.
        * gfortran.dg/proc_assign_1.f90: Likewise.
        * gfortran.dg/proc_assign_2.f90: Likewise.
        * gfortran.dg/procedure_lvalue.f90: Likewise.

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

2008-03-28  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR fortran/35699
* gfortran.dg/direct_io_10.f: New test.

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

2008-03-28  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR libfortran/35699
* io/transfer.c (write_buf):  Don't pad the record, just return if the
data is NULL.  (next_record_w): If there are bytes left in the record
for unformatted direct I/O, pad out the record with zero bytes.

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

2008-03-28  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/sse.md (*and<mode>3): Pass <MODE>mode instead
of V4SFmode to ix86_binary_operator_ok.

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

    * config/i386/i386.c (override_options): Initialize
        ix86_veclib_handler to ix86_veclibabi_svml when
        -mveclibabi=svml is used.
        (ix86_veclibabi_svml): New function for SVML ABI style
        vectorization support.
        * doc/invoke.texi (-mveclibabi) [svml]: Document new target option.

testsuite/ChangeLog:

        * gcc.target/i386/vectorize6.c: New test.

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

* acinclude.m4 (GLIBCXX_CHECK_LINKER_FEATURES): Set
glibcxx_ld_is_gold.  Check for gold in --gc-sections test.
(GLIBCXX_ENABLE_SYMVERS): Check for gold.
* aclocal.m4, configure: Rebuild.

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

2008-03-28  Tobias Burnus  <burnus@net-b.de>

        PR fortran/35721
        * intrinsics/associated.c (associated): Ignore different
        stride of pointer vs. target if only one element is referred.

2008-03-28  Tobias Burnus  <burnus@net-b.de>

        PR fortran/35721
        * gfortran.dg/associated_target_2.f90: New.

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

2008-03-28  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/19580
* gcc.dg/tree-ssa/loop-34.c: New testcase.

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

* Makefile.in (POSTCOMPILE): New variable.
(.c.o): Use it.

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

2008-03-28  Rafael Espindola  <espindola@google.com>

* fold-const.c (tree_unary_nonnegative_warnv_p): Make it public.
(tree_binary_nonnegative_warnv_p): Make it public.
(tree_single_nonnegative_warnv_p): Make it public.
(tree_invalid_nonnegative_warnv_p): Make it public.
(tree_unary_nonzero_warnv_p): Make it public.
(tree_binary_nonzero_warnv_p): Make it public
(tree_single_nonzero_warnv_p): Make it public.
* tree-vrp.c (vrp_evaluate_conditional_warnv_with_ops): New function.
(extract_range_from_binary_expr): Split the expr argument.
(extract_range_from_unary_expr): Split the expr argument.
(extract_range_from_comparison): Split the expr argument.
(extract_range_from_expr): Use the new aux functions.
(vrp_evaluate_conditional_warnv): Use
vrp_evaluate_conditional_warnv_with_ops.
* tree.h (tree_unary_nonzero_warnv_p): Declare.
(tree_binary_nonzero_warnv_p): Declare.
(tree_single_nonzero_warnv_p): Declare.
(tree_expr_nonzero_warnv_p): Declare.
(tree_unary_nonnegative_warnv_p): Declare.
(tree_binary_nonnegative_warnv_p): Declare.
(tree_single_nonnegative_warnv_p): Declare.
(tree_invalid_nonnegative_warnv_p): Declare.

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

2008-03-28  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/30317
PR tree-optimization/30911
PR tree-optimization/34793
* tree-vrp.c (set_and_canonicalize_value_range): New function.
(struct assert_locus_d): New member EXPR.
(register_new_assert_for): Add EXPR parameter to support
ASSERT_EXPR <name, expr OP limit>.
(register_edge_assert_for_1): Adjust callers.
(find_assert_locations): Likewise.
(process_assert_insertions_for): Build condition from
expression.
(extract_range_from_assert): Handle ASSERT_EXPRs
of the form ASSERT_EXPR <name, expr OP limit>.
(register_edge_assert_for_2): New helper registering
asserts for comparisons.  Recognize range tests of the form
(unsigned)i - CST1 OP CST2.
(register_edge_assert_for_1): Use it.
(register_edge_assert_for): Likewise.
* tree.def (ASSERT_EXPR): Document extra allowed conditional
expressions.
(needs_overflow_infinity): Integer sub-types
do not need overflow infinities.
(vrp_val_is_max): The extreme values of integer sub-types
are those of the base type.
(vrp_val_is_min): Likewise.

* gcc.dg/tree-ssa/vrp35.c: New testcase.
* gcc.dg/tree-ssa/vrp36.c: Likewise.
* gcc.dg/tree-ssa/vrp37.c: Likewise.

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

2008-03-28  Tobias Burnus  <burnus@net-b.de>

       * symbol.c (gfc_get_default_type): Fix error message; option
       -fallow_leading_underscore should be -fallow-leading-underscore

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

PR target/31110
   * config/mn10300/mn10300.c (mn10300_secondary_reload_class):
        Return GENERAL_REGS for stack adjustment reloads.

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

2008-03-28  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR target/31334
        * config/rs6000/rs6000.c (rs6000_expand_vector_init): Create a
        const_vector when all the vectors are constant.

2008-03-28  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR target/31334
        * gcc.target/powerpc/altivec-25.c: Nnew testcase.

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

2008-03-27  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR fortran/35724
* gfortran.dg/cshift_shift_real_2.f90: New test.

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

2008-03-27  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR fortran/35724
* iresolve.c (gfc_resolve_cshift): Check for NULL symtree in test for
optional argument attribute.

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

* fr.po: Update.

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

Daily bump.

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

* config/xtensa/xtensa.c (gen_float_relational): Handle unordered
comparisons.
* config/xtensa/xtensa.md (any_cond): Add unordered comparisons.
(any_scc_sf): Add uneq, unlt, unle and unordered operators.
(scc_sf): New.
(s<code>_sf): Use new scc_sf attribute for opcode names.

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

* zh_CN.po: Update.

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

gcc/
* doc/sourcebuild.texi, doc/install.texi, configure, aclocal.m4,
configure.ac, Makefile.in, config/t-darwin, config/m32c/t-m32c,
config/spu/t-spu-elf, config/i386/t-interix,
config/i386/t-cygming, config/i386/x-i386, config/i386/t-cygwin,
config/i386/x-darwin, config/i386/x-mingw32,
config/i386/t-netware, config/i386/x-cygwin, config/i386/t-nwld,
config/sh/t-sh, config/sh/t-symbian, config/x-linux,
config/t-sol2, config/x-hpux, config/x-darwin, config/ia64/t-ia64,
config/x-solaris, config/t-vxworks, config/m68k/t-uclinux,
config/rs6000/x-rs6000, config/rs6000/x-darwin64,
config/rs6000/x-darwin, config/rs6000/t-rs6000,
config/score/t-score-elf, config/arm/t-strongarm-pe,
config/arm/t-pe, config/arm/t-arm, config/arm/t-wince-pe,
config/v850/t-v850, config/v850/t-v850e, config/bfin/t-bfin-linux:
Revert automatic dependency patch.
gcc/java/
* Make-lang.in: Revert automatic dependency patch.
gcc/objc/
* Make-lang.in: Revert automatic dependency patch.
gcc/objcp/
* Make-lang.in: Revert automatic dependency patch.
gcc/cp/
* Make-lang.in: Revert automatic dependency patch.
gcc/fortran/
* Make-lang.in: Revert automatic dependency patch.

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

* decl.c (gnat_to_gnu_entity) <E_Procedure>: Also set the public flag
if the procedure is imported.

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

2008-03-27  H.J. Lu  <hongjiu.lu@intel.com>

PR target/35657
* config/i386/i386.c (ix86_function_arg_boundary): Align
decimal floating point to its natural boundary.

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

    * gcc.c-torture/execute/multi-ix.c: Limit CHUNK size between 1 and 500.
        (main): Exit early for CHUNK less than 40 to avoid stack corruption.

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

2008-03-27  Richard Guenther  <rguenther@suse.de>

PR middle-end/35716
* fold-const.c (fold_comparison): Restrict distinct decl
comparison folding to VAR_DECLs and PARM_DECLs.  Do not
solely rely on operand_equal_p.

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

2008-03-27  Richard Guenther  <rguenther@suse.de>

PR c/32511
* c-common.c (handle_weak_attribute): Reject combination of
weak and inline.

* gcc.dg/attr-weak-1.c: New testcase.

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

2008-03-27  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/32810
* tree-ssa-ccp.c (get_symbol_constant_value): Strip useless
conversions from DECL_INITIAL.
(fold_const_aggregate_ref): Likewise from constructor elements.

* gcc.dg/tree-ssa/ssa-ccp-18.c: New testcase.

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

2008-03-27  Douglas Gregor  <doug.gregor@gmail.com>

PR obj-c++/35704
* typeck.c (build_x_compound_expr): Use cp_build_compound_expr.
(build_compound_expr): New, for compatibility with C
build_compound_expr.
(cp_build_compound_expr): Renamed from build_compound_expr.
(build_c_cast): New, for compatibility with C build_c_cast.
(cp_build_c_cast): Renamed from build_c_cast.
* init.c (build_vec_delete_1): Fix calls to build_compound_expr.
* decl.c (cxx_maybe_build_cleanup): Ditto.
* cp-tree.h (build_compound_expr): Add C-compatibile prototype.
(cp_build_compound_expr): Renamed from build_compound_expr.
(build_c_cast): Add C-compatible prototype.
(cp_build_c_cast): Renamed from build_c_cast.
* typeck2.c (build_functional_cast): Use cp_build_c_cast.
* parser.c (cp_parser_cast_expression): Fix call to build_c_cast.

2008-03-27  Douglas Gregor  <doug.gregor@gmail.com>

PR obj-c++/35704
* objc-act.c (objc_build_component_ref): Fix call to
finish_class_member_access_expr.
(objc_generate_cxx_ctor_or_dtor): Fix call to
build_special_member_call.

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

2008-03-27  Douglas Gregor  <doug.gregor@gmail.com>

* pt.c (tsubst_copy) <case SIZEOF_EXPR>: Cope with
tsubst_pack_expansion returning a pack expansion, or a TREE_VEC
ending in a pack expansion, both of which can occur when
substituting into a nested template.
(tsubst_copy_and_build) <case SIZEOF_EXPR>: When we're
instantiating the sizeof...(X) form, make tsubst_copy do the work.
* parser.c (cp_parser_template_parameter): Deal with unnamed
non-type template parameter packs identified by pack expansions in
the parameter type.

2008-03-27  Douglas Gregor  <doug.gregor@gmail.com>

       * g++.dg/cpp0x/variadic91.C: New.

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

2008-03-27  Paolo Bonzini  <bonzini@gnu.org>

* configure.ac (frags): Don't set, use frag instead.
(PICFLAG): Set here and substitute.
* Makefile.in (PICFLAG): Substitute from autoconf.
* configure: Regenerate.

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

2008-03-27  Zdenek Dvorak  <ook@ucw.cz>

* tree-affine.h (aff_combination_expand): Declare.
(get_inner_reference_aff): Likewise.
* tree-affine.c (aff_combination_expand): Split out from
tree_to_aff_combination_expand.
(get_inner_reference_aff): New function.
* tree-parloops.c (loop_parallel_p): Free vectorizer info.
        * tree-ssa-loop-im.c: Include tree-affine.h and pointer-set.h.
        (struct lim_aux_data): sm_done field removed.
        (mem_ref_loc_p, mem_ref_locs_p): New types.
        (struct mem_ref): Added id, stored, accesses_in_loop,
        indep_loop, dep_loop, indep_ref, dep_ref fields.
        Removed is_stored, locs and next fields.
        (memory_accesses): New variable.
        (movement_possibility): Do not allow moving statements
        that store to memory.
        (outermost_indep_loop, simple_mem_ref_in_stmt, mem_ref_in_stmt):
        New functions.
        (determine_max_movement): For statements with memory references,
        find the outermost loop in that the reference is independent.
        (move_computations_stmt): Mark the virtual operands for
        renaming.
        (memref_free, mem_ref_alloc, mem_ref_locs_alloc, mark_ref_stored,
        gather_mem_refs_stmt, gather_mem_refs_in_loops, vtoe_hash, vtoe_eq,
        vtoe_free, record_vop_access, get_vop_accesses, get_vop_stores,
        add_vop_ref_mapping, create_vop_ref_mapping_loop,
        create_vop_ref_mapping, analyze_memory_references,
        cannot_overlap_p, mem_refs_may_alias_p, rewrite_mem_ref_loc,
        get_all_locs_in_loop, ref_always_accessed_p,
        refs_independent_p, record_indep_loop, ref_indep_loop_p_1,
        ref_indep_loop_p, can_sm_ref_p, find_refs_for_sm,
        store_motion_loop, store_motion): New functions.
        (struct vop_to_refs_elt): New type.
        (record_mem_ref_loc, free_mem_ref_locs, rewrite_mem_refs,
        memref_hash, memref_eq, hoist_memory_references): Rewritten.
        (schedule_sm): Replaced by...
        (execute_sm): ... this.
        (determine_lsm_ref, hoist_memory_references,
        loop_suitable_for_sm, gather_mem_refs_stmt, gather_mem_refs,
        find_more_ref_vops, free_mem_ref, free_mem_refs,
        determine_lsm_loop, determine_lsm): Removed.
        (tree_ssa_lim_finalize): Free data structures used by store
        motion.
        (tree_ssa_lim): Call analyze_memory_references.  Use
        store_motion instead of determine_lsm.

* gcc.dg/tree-ssa/loop-32.c: New testcase.
* gcc.dg/tree-ssa/loop-33.c: Likewise.

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

2008-03-27  Paolo Bonzini  <bonzini@gnu.org>

* config.cc (m68hc11, m6811, m68hc12, m6812): Add usegas.h,
rename tmake_file to m68hc11/t-m68hc11.
(mcore): Set inhibit_libc to true.
* config.host (alpha*-dec-*vms*): Set extra_programs.
(interix3*): Don't use host_xmake_file.
* configure.ac: Let config.gcc override inhibit_libc.
* configure: Regenerate.

* config/alpha/x-vms (EXTRA_PROGRAMS): Remove.
* config/x-interix: Remove.

* config/t-openbsd-thread: Remove commented out lines.

* config/m68hc11/t-m68hc11-gas: Rename to...
* config/m68hc11/t-m68hc11: ... this.  Remove T_CPPFLAGS.

* config/mcore/t-mcore: Remove T_CFLAGS.
* config/mcore/t-mcore-pe: Likewise.

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

config:
2008-03-27  Paolo Bonzini  <bonzini@gnu.org>

* extensions.m4: New.

gcc:
2008-03-27  Paolo Bonzini  <bonzini@gnu.org>

* configure.ac: Replace custom __GNU_SOURCE test with
AC_USE_SYSTEM_EXTENSIONS.  Move it earlier.
* aclocal.m4: Regenerate.
* configure: Regenerate.
* config.in: Regenerate.

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

2008-03-27  Paolo Bonzini  <bonzini@gnu.org>

* Makefile.tpl (PICFLAG, PICFLAG_FOR_TARGET): Remove.
* Makefile.in: Regenerate.

config:
2008-03-27  Paolo Bonzini  <bonzini@gnu.org>

* mh-armpic: Remove.
* mh-i370pic: Remove.
* mh-m68kpic: Remove.
* mh-ppcpic: Remove.
* mh-sparcpic: Remove.
* mh-ia64pic: Remove.
* mh-papic: Remove.
* mh-s390pic: Remove.
* mh-x86pic: Remove.

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

2008-03-27  Richard Guenther  <rguenther@suse.de>

* fold-const.c (target.h): Include.
(fold_comparison): Fold comparison of addresses of decls
that bind locally or of constants.  Consolidate address folding code.
* tree-vrp.c (operand_less_p): Deal with non-INTEGER_CST
results from fold_binary_to_constant.
(compare_values_warnv): Likewise.

* gcc.dg/fold-addr-1.c: New testcase.

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

2008-03-27  Andrew Pinski  <pinskia@gmail.com>

        PR middle-end/35429
        * fold-const.c (fold_truthop): Check for integeral types when folding
        a == 0 && b == 0 and a != 0 || b != 0 .

2008-03-27  Andrew Pinski  <pinskia@gmail.com>

        PR middle-end/35429
        * gcc.c-torture/compile/complex-5.c: New test.

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

2008-03-26  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

* io/unix.c (fd_close):  Do not close STDIN.

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

Daily bump.

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

* tree.c (get_unwidened): Remove code fiddling with COMPONENT_REF.

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

* src/sh/sysv.S: Add .note.GNU-stack on Linux.
* src/sh64/sysv.S: Likewise.

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

2008-03-26  Benjamin Kosnik  <bkoz@redhat.com>

* testsuite/util/testsuite_abi.h: Remove symbol_objects,
symbol_names typedefs.
* testsuite/util/testsuite_abi.cc (compare_symbols): Correct check
for long double compatiblity symbols, simplify data structures used.

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

Jakub Staszak  <kuba@et.pl>

        * MAINTAINERS (Write After Approval): Add myself.

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

* gcc.dg/uninit-16.c (decode_reloc): Mark static.

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

PR c++/35546
* pt.c (apply_late_template_attributes): Don't call tsubst on
first attribute argument if it is IDENTIFIER_NODE.

* g++.dg/ext/attrib33.C: New test.

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

* doc/invoke.texi: Fix use of @item vs. @itemx.

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

* Makefile.in (build/gensupport.o, build/print-rtl.o,
build/read-rtl.o, build/rtl.o, build/gencondmd.o, build/genattr.o,
build/genattrtab.o, build/genautomata.o, build/gencheck.o,
build/gencodes.o, build/genconditions.o, build/genconfig.o,
build/genconstants.o, build/genemit.o, build/genextract.o,
build/genflags.o, build/genmddeps.o, build/genopinit.o,
build/genoutput.o, build/genpeep.o, build/genrecog.o): Depend on
options.h.

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

2008-03-26  Richard Guenther  <rguenther@suse.de>

        Revert
        2008-03-26  Richard Guenther  <rguenther@suse.de>

* fold-const.c (target.h): Include.
(fold_comparison): Fold comparison of addresses of two decls
that bind locally.  Consolidate address folding code.

* gcc.dg/fold-addr-1.c: New testcase.

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

* builtins.c (expand_builtin_pow, fold_builtin_cabs,
fold_builtin_sqrt, fold_builtin_cbrt, fold_builtin_logarithm,
fold_builtin_hypot, fold_builtin_pow): Remove uses of dconst3,
dconstsqrt2, dconstthird, dconste and/or dconst10.
* config/i386/i386.c (ix86_emit_swsqrtsf): Likewise.
* emit-rtl.c (dconst3, dconst10, dconstm2, dconstthird,
dconstsqrt2, dconste): Delete.
(init_emit_once): Likewise.  Simplify initializing dconstm1.
Constify variable.
* real.c (get_real_const): New.
* real.h (dconst3, dconst10, dconstm2, dconstthird,
dconstsqrt2, dconste): Delete.
(real_value_const, get_real_const): New.

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

2008-03-26  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/cygming.h (BIGGEST_ALIGNMENT): Removed.

* config/i386/i386.c (ix86_function_arg_boundary): Check
BIGGEST_ALIGNMENT instead of 128.
(setup_incoming_varargs_64): Likewise.

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

* Makefile.in (DEPFILES): Add missing '/'.

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

    * gcc.target/i386/sse-13.c: Include <mm_malloc.h>
        before redefinitions of extern and __inline.
        * gcc.target/i386/sse-13.c: Ditto.

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

PR c++/35332
* error.c (dump_expr): Pass {,UN}ORDERED_EXPR, UN{LT,LE,GT,GE,EQ}_EXPR
and LTGT_EXPR to pp_expression.

* g++.dg/other/error27.C: New test.

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

2008-03-26  Richard Guenther  <rguenther@suse.de>

* fold-const.c (target.h): Include.
(fold_comparison): Fold comparison of addresses of two decls
that bind locally.  Consolidate address folding code.

* gcc.dg/fold-addr-1.c: New testcase.

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

PR target/31232
   * config/stormy16/stormy16.c (xstormy16_legitimate_address_p): Do
   not allow INT+INT as a legitimate addressing mode.

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

2008-03-26  Richard Guenther  <rguenther@suse.de>

* tree-flow.h (widen_bitfield): Remove declaration.
* tree-ssa-ccp.c (visit_assignment): Remove unneeded code.
(widen_bitfield): Remove function.
* tree-ssa-dom.c (record_equivalences_from_stmt): Remove unneeded
code.

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

2008-03-26  Richard Guenther  <rguenther@suse.de>

* gcc.dg/tree-ssa/20030731-2.c: Scan dce1 dump.
* gcc.dg/tree-ssa/20030917-1.c: Scan optimized dump.
* gcc.dg/tree-ssa/20030917-3.c: Scan ccp1 dump.
* gcc.dg/tree-ssa/20040721-1.c: Test linking, do not disable DOM.
* gcc.dg/tree-ssa/pr21574.c: Scan the fre dump.
* gcc.dg/tree-ssa/ssa-ccp-1.c: Scan ccp1 dump.
* gcc.dg/tree-ssa/ssa-ccp-3.c: Scan ccp2 dump.

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

* adaint.c: Fix warnings.

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

2008-03-26  Daniel Jacobowitz  <dan@debian.org>

        * src/arm/sysv.S: Fix ARM comment marker.

2008-03-26  Jakub Jelinek  <jakub@redhat.com>

        * src/alpha/osf.S: Add .note.GNU-stack on Linux.
        * src/s390/sysv.S: Likewise.
        * src/powerpc/ppc_closure.S: Likewise.
        * src/powerpc/sysv.S: Likewise.
        * src/x86/unix64.S: Likewise.
        * src/x86/sysv.S: Likewise.
        * src/sparc/v8.S: Likewise.
        * src/sparc/v9.S: Likewise.
        * src/m68k/sysv.S: Likewise.
        * src/arm/sysv.S: Likewise.

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

New tests

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

* g-dirope.ads, g-dirope.adb: (Dir_Type_Value): Moved to spec.

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

* a-witeio.adb: Fix problem with Current_Output (introduce Self).
Fix problem of status check for null file

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

* s-proinf-irix-athread.ads, s-vxwork-mips.ads,
s-traces.ads, s-vxwork-arm.ads, s-vxwork-ppc.ads, s-vxwork-sparcv9.ads,
s-tasinf-mingw.ads, s-tasinf-linux.ads, s-tasdeb.ads, mlib-tgt.ads,
i-cstrin.ads, uintp.adb, g-catiio.adb, s-vmexta.ads,
s-trafor-default.ads, s-vxwork-m68k.ads: Minor reformatting. Update
comments.

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

Resync.

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

2008-03-26  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Add documentation for -gnatw.w/-gnatw.W
Add description for the new gnatstub option '--header-file'
clarification of -gnatwz/-gnatwZ
Add a "Irix-Specific Considerations" section to document the need to
set LD_LIBRARY_PATH when using the default shared runtime library.
Added documentation for both gcov and gprof.

* gnat_rm.texi: Document that pragma Compile_Time_Warning generates
messages that are not suppressed when clients are compiled.
Add documentation of s-pooglo s-pooloc
Document the new GNAT.Serial_Communications API.
Add documentation for 'Old attribute
Add description of pragma Optimize_Alignment

* ug_words: Add entries for -gnatw.w -gnatw.W

* usage.adb: Add line for -gnatw.w (warn on warnings off)

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

2008-03-26  Robert Dewar  <dewar@adacore.com>

* tbuild.ads, tbuild.adb, trans.c, sprint.adb, exp_prag.adb, decl.c,
par-ch2.adb, sem_elab.adb, sem_util.ads (N_Pragma): Chars field
removed, use Chars (Pragma_Identifier (..  instead, adjustments
throughout to accomodate this change.

* s-pooglo.ads, s-pooloc.ads: Minor comment updates

* exp_dbug.adb: Use Sem_Util.Set_Debug_Info_Needed (not
Einfo.Set_Needs_Debug_Info)

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

2008-03-26  Tristan Gingold  <gingold@adacore.com>

* init.c: Do not adjust pc for HPARITH on alpha/vms.

2008-03-26  Robert Dewar  <dewar@adacore.com>

* lib-xref.adb: (OK_To_Set_Reference): New function
(Generate_Reference): Don't set referenced from occurrence in Warnings,
Unmodified, or Unreferenced pragma

2008-03-26  Robert Dewar  <dewar@adacore.com>

* alloc.ads: Add entries for Warnings_Off_Pragmas table

2008-03-26  GNAT Script  <nobody@adacore.com>

* Make-lang.in: Makefile automatically updated

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

2008-03-26  Robert Dewar  <dewar@adacore.com>

* back_end.adb, back_end.ads: Minor reformatting

* bindgen.adb: Minor clarification of comments

* fname.ads: Minor comment fixes

* g-altive.ads, g-catiio.ads, g-trasym.ads, prj.ads,
prj-nmsc.adb, sem_aggr.adb: Minor reformatting

* xeinfo.adb, xnmake.adb, xsinfo.adb, xtreeprs.adb,
xsnames.adb: Remove warnings off pragma no longer needed

* a-catizo.ads, a-calari.ads, a-calfor.adb,
a-calfor.ads: Fix header.

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

2008-03-26  Robert Dewar  <dewar@adacore.com>

* g-byorma.adb (Read_BOM): Reorder tests so that UTF_32 is recognized

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

2008-03-26  Matthew Heaney  <heaney@adacore.com>

* a-ciorse.ads, a-cidlli.ads, a-cdlili.ads, a-cihase.ads, a-cohase.ads,
a-ciorma.ads, a-coorma.ads, a-ciormu.ads, a-coormu.ads, a-coorse.ads:
Marked with clauses as private, and controlled operations as overriding

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

2008-03-26  Vincent Celier  <celier@adacore.com>

* a-direct.adb (Start_Search): Raise Use_Error if the directory is not
readable.

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

2008-03-26  Robert Dewar  <dewar@adacore.com>

* sem_warn.ads, sem_warn.adb (Warnings_Off_Pragmas): New table
(Initialize): New procedure
(Output_Warnings_Off_Warnings): New procedure
(Check_References): Suppress certain msgs if Is_Trivial_Subprogram
(Output_Non_Modifed_In_Out_Warnings): Ditto
(Warn_On_Unreferenced_Entity): Ditto

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

2008-03-26  Robert Dewar  <dewar@adacore.com>

* sem_res.adb (Check_Infinite_Recursion): Diagnose definite infinite
recursion and raise SE directly.
(Resolve_Actuals): Reset Never_Set_In_Source if warnings off is
set for formal type for IN mode parameter.

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

2008-03-26  Ed Schonberg  <schonberg@adacore.com>

* sem_ch7.adb (Install_Parent_Private_Declarations): If the private
declarations of a parent unit are made visible when compiling a child
instance, the parent is not a hidden open scope, even though it may
contain other pending instance.

* sem_ch8.adb (Restore_Scope_Stack): If an entry on the stack is a
hidden open scope for some child instance, it does affect the
visibility status of other stach entries.
(Analyze_Object_Renaming): Check that a class-wide object cannot be
renamed as an object of a specific type.

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

2008-03-26  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Analyze_Subprogram_Body): Remove spurious check on
operations that have an interface parameter.
(Analyze_Subprogram_Body): Set Is_Trivial_Subprogram flag
Don't treat No_Return call as raise.

* sem_disp.adb (Check_Dispatching_Operations): apply check for
non-primitive interface primitives to access parameters, not to all
parameters of an access type.

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

2008-03-26  Robert Dewar  <dewar@adacore.com>

* sem_ch11.adb: Fix No_Exception_Restriction violation for SJLJ
* sinfo.ads, sinfo.adb (From_At_End): New flag

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

2008-03-26  Ed Schonberg  <schonberg@adacore.com>

* sem_ch10.adb (Analyze_Compilation_Unit): if a unit in the context is
a generic subprogram that is imported, do not attempt to compile
non-existent body.

* sem_ch12.adb (Instantiate_Subprogram_Body): if the generic is
imported, do not generate a raise_program_error for the non-existent
body.
(Pre_Analyze_Actuals): If an error is detected during pre-analysis,
perform minimal name resolution on the generic to avoid spurious
warnings.
(Find_Actual_Type): the designated type of the actual in a child unit
may be declared in a parent unit without being an actual.

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

2008-03-26  Robert Dewar  <dewar@adacore.com>

* scn.adb (Initialize_Scanner): Format messages belong on standard error

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

2008-03-26  Vincent Celier  <celier@adacore.com>

* prj-dect.adb (Parse_Package_Declaration): When a package name is not
known, check if it may be a missspelling of a known package name. In
not verbose, not mode, issue warnings only if the package name is a
possible misspelling.
In verbose mode, always issue a warning for a not known package name,
plus a warning if the name is a misspelling of a known package name.

* prj-part.adb (Post_Parse_Context_Clause): Modify so that only non
limited withs or limited withs are parse during one call.
(Parse_Single_Project): Post parse context clause in two passes: non
limited withs before current project and limited withs after current
project.

* prj-proc.adb (Imported_Or_Extended_Project_From): Returns an extended
project with the name With_Name, even if it is only extended indirectly.
(Recursive_Process): Process projects in order: first single withs, then
current project, then limited withs.

* prj-tree.adb (Imported_Or_Extended_Project_Of): Returns an extended
project with the name With_Name, even if it is only extended indirectly.

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

2008-03-26  Thomas Quinot  <quinot@adacore.com>

* sem_cat.adb (Validate_RACW_Primitives): Do not rely on
Comes_From_Source to exclude primitives from being checked. We want to
exclude predefined primitives only, so use the appropriate specific
predicate. Also, flag a formal parameter of an anonymous
access-to-subprogram type as illegal for a primitive operation of a
remote access to class-wide type.

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

2008-03-26  Vincent Celier  <celier@adacore.com>

* osint-c.adb (Set_Library_Info_Name): Use canonical case file names
to check if the specified object file is correct.

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

2008-03-26  Robert Dewar  <dewar@adacore.com>

* itypes.adb (Create_Itype): Use new name Access_Subprogram_Kind

* sem_ch13.adb (Validate_Unchecked_Conversion): Give warning for
unchecked conversion for different conventions only for subprogram
pointers or on VMS.

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

2008-03-26  Pascal Obry  <obry@adacore.com>

* Makefile.in: Add proper GNAT.Serial_Communications implementation on
supported platforms.

* Makefile.rtl: Add g-sercom.o.

* impunit.adb: Add g-sercom.adb.

* s-crtl.ads (open): New routine.
(close): Likewise.
(write): Likewise.

* s-osinte-mingw.ads (BYTE): New type.
(CHAR): Likewise.
(OVERLAPPED): Likewise.
(GENERIC_READ): New constant.
(GENERIC_WRITE): Likewise.
(OPEN_EXISTING): Likewise.
(PSECURITY_ATTRIBUTES): Removed this type, use anonymous access
type instead.
(CreateFile): New routine.
(WriteFile): Likewise.
(ReadFile): Likewise.
(CloseHandle): Move next to the other file oriented routines.

* g-sercom.ads: New unit.

* g-sercom.adb: Default implementation, calls to this unit will raise
a program error exception.

* g-sercom-mingw.adb, g-sercom-linux.adb: Windows and
GNU/Linux implementations.

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

2008-03-26  Robert Dewar  <dewar@adacore.com>

* g-pehage.adb, g-regist.adb, g-spipat.ads, g-spipat.adb,
s-asthan.adb, s-parint.adb, s-rpc.adb, s-stchop.adb: Replace
Raise_Exception by "raise with" construct.

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

2008-03-26  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb: Add processing for GNAT SYNC

* vms_conv.ads: (Command_Type): Add command Sync

* vms_conv.adb (Initialize): Add Command_List data for new command Sync

* vms_data.ads: Add entries for -gnatw.w
Add qualifier for gnatstub --header-file option
Add switches for GNAT SYNC

* prj-attr.ads, prj-attr.adb: Add new package Synchronize for GNAT SYNC
(Add_Package_Name): New procedure
(Package_Name_List): New function
(Initialize): Add known package names to the list
(Register_New_Package): Add the new package name to the list

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

2008-03-26  Ed Schonberg  <schonberg@adacore.com>

* exp_pakd.adb (Expand_Bit_Packed_Element_Set): If the component
assignment is within the initialization procedure for a packed array,
and Initialize_Scalars is enabled, compile right-hand side with checks
off, because the value is purposely out of range.

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

2008-03-26  Javier Miranda  <miranda@adacore.com>

* exp_ch7.adb (Make_Clean): Code cleanup using the new centralized
subprogram Corresponding_Runtime_Package to know the runtime package
that will provide support to a given protected type.

* exp_ch9.adb (Add_Private_Declarations,
Build_Protected_Subprogram_Call,
Build_Protected_Entry, Build_Simple_Entry_Call,
Expand_N_Protected_Body, Expand_N_Protected_Type_Declaration,
Expand_N_Timed_Entry_Call, Make_Initialize_Protection): Code
cleanup using the new centralized subprogram Corresponding_Runtime
Package to know the runtime package that provides support to
a given protected type.

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

2008-03-26  Javier Miranda  <miranda@adacore.com>

* exp_disp.adb (Make_DT, Make_Secondary_DT): Set attribute
Is_Static_Dispatch_Table
(Build_Dispatch_Tables): Replace calls to Exchange_Entities() by calls
to Exchange_Declarations to exchange the private and full-view. Bug
found working in this issue.
(Expand_Dispatching_Call): Propagate the convention of the subprogram
to the subprogram pointer type.
(Make_Secondary_DT): Replace generation of Prim'Address by
Address (Prim'Unrestricted_Access)
(Make_DT): Replace generation of Prim'Address by
Address (Prim'Unrestricted_Access)
(Make_Disp_*_Bodies): When compiling for a restricted profile, use
simple call form for single entry.
(Make_DT): Handle new contents of Access_Disp_Table (access to dispatch
tables of predefined primitives).
(Make_Secondary_DT): Add support to handle access to dispatch tables of
predefined primitives.
(Make_Tags): Add entities to Access_Dispatch_Table associated with
access to dispatch tables containing predefined primitives.

* exp_ch6.adb (N_Pragma): Chars field removed, use Chars
(Pragma_Identifier (..  instead, adjustments throughout to accomodate
this change.
(Register_Predefined_DT_Entry): Updated to handle the new contents
of attribute Access_Disp_Table (pointers to dispatch tables containing
predefined primitives).

* exp_util.ads, exp_util.adb (Corresponding_Runtime_Package): New
subprogram.
(Find_Interface_ADT): Updated to skip the new contents of attribute
Access_Dispatch_Table (pointers to dispatch tables containing predefined
primitives).

* sem_util.adb (Has_Abstract_Interfaces): Add missing support for
concurrent types.
(Set_Convention): Use new function Is_Access_Subprogram_Type
(Collect_Interfaces_Info): Updated to skip the new contents of attribute
Access_Dispatch_Table (pointers to dispatch tables containing predefined
primitives).

* exp_atag.ads, exp_atag.adb (Build_Inherit_Predefined_Prims): Improve
expanded code avoiding calls to Build_Predef_Prims.
(Build_Set_Predefined_Prim_Op_Address): Improve expanded code avoiding
call to Build_Get_Predefined_Prim_Op_Address.

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

2008-03-26  Gary Dismukes  <dismukes@adacore.com>

* exp_ch5.adb (Expand_N_Extended_Return_Statement): Suppress generation
of a heap allocator for a limited unconstrained function return when
resstriction No_Allocators is active.
(Analyze_Allocator): The restriction No_Allocators is now only checked
on allocators that have Comes_From_Source set, as per RM-H.4(7).

* sem_ch4.adb (Expand_N_Extended_Return_Statement): Suppress generation
of a heap allocator for a limited unconstrained function return when
resstriction No_Allocators is active.
(Analyze_Allocator): The restriction No_Allocators is now only checked
on allocators that have Comes_From_Source set, as per RM-H.4(7).
(Has_Fixed_Op):  If the name in a function call is Standard."*" and the
operands are fixed-point types, the universal_fixed predefined operation
is used, regardless of whether the operand type (s) have a primitive
operation of the same name.

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

2008-03-26  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_Op_Concat): Remove special tests for
No_Run_Time_Mode

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

2008-03-26  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Access_Definition): If the access type is the return
result of a protected function, create an itype reference for it
because usage will be in an inner scope from the point of declaration.
(Build_Derived_Record_Type): Inherit Reverse_Bit_Order and
OK_To_Reorder_Components.
(Make_Index): If an overloaded range includes a universal integer
interpretation, resolve to Standard.Integer.
(Analyze_Subtype_Indication): Copy Convention to subtype
(Check_Abstract_Interfaces): Complete semantic checks on the legality of
limited an synchronized progenitors in type declaration and private
extension declarations.

* exp_ch13.adb (Expand_N_Freeze_Entity): If the scope of the entity is a
protected subprogram body, determine proper scope from subprogram
declaration.

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