1. 15 Jun, 2010 3 commits
    • gcc_update: Support updating a git clone. · e31a6dc2
      2010-06-15  Bernhard Reutner-Fischer  <aldot@gcc.gnu.org>
      
      	* gcc_update: Support updating a git clone.
      
      From-SVN: r160774
      Bernhard Reutner-Fischer committed
    • invoke.texi: Add mcmodel to powerpc options. · 070b27da
      	* doc/invoke.texi: Add mcmodel to powerpc options.
      	* configure.ac: Add HAVE_LD_LARGE_TOC test.
      	* configure: Regenerate.
      	* config.in: Regenerate.
      	* config/rs6000/linux64.opt (mcmodel): New.
      	* config/rs6000/linux64.h (TARGET_USES_LINUX64_OPT): Define.
      	(TARGET_CMODEL): Define.
      	(SUBSUBTARGET_OVERRIDE_OPTIONS): Check user -mcmodel choice,
      	select CMODEL_MEDIUM default.
      	* config/rs6000/rs6000.h (enum rs6000_cmodel): New.
      	(TARGET_CMODEL): Define default.
      	* config/rs6000/rs6000.c (cmodel): New variable.
      	(rs6000_explicit_options): Add cmodel field.
      	(rs6000_handle_option): Handle -mcmodel.
      	(create_TOC_reference): Add largetoc_reg param.  Generate high,
      	lo_sum rtl for CMODEL_MEDIUM and CMODEL_LARGE.  Update all callers.
      	(rs6000_delegitimize_address): Recognise new toc reference rtl
      	and minimal-toc rtl.
      	(rs6000_legitimize_reload_address): Handle new toc references.
      	(print_operand_address): Handle legitimate_constant_pool_address_p
      	match before lo_sum.
      	(rs6000_eliminate_indexed_memrefs): Tidy.
      	(rs6000_emit_move): Tweak threshold for inlining constants.
      	Keep rs6000_emit_allocate_stack large stack frame offsets
      	loaded into r0 inline.
      	(rs6000_generate_compare <cmptf_internal2>): One more clobber.
      	(tocrel_base, tocrel_offset): New variables.
      	(toc_relative_expr_p): Set them here.
      	(print_operand_address): Skip over any offset on constant pool
      	address.
      	(rs6000_output_addr_const_extra): Print tocrel_offset before @toc.
      	(rs6000_mode_dependent_address <LO_SUM>): False for new toc refs.
      	(offsettable_ok_by_alignment): New function.
      	(rs6000_emit_move): Address suitably aligned local symbol_refs
      	relative to the toc pointer for -mcmodel=medium.
      	(legitimate_constant_pool_address_p): Make param const_rtx.  Add
      	strict param.  Allow lo_sum version of addressing.  Verify reg
      	used for -mminimal-toc and -mcmodel != small.  Update all callers.
      	* config/rs6000/constraints.md: Update for above change.
      	* config/rs6000/predicates.md: Likewise.
      	* config/rs6000/rs6000.md (tls_gd_aix): Generate -mcmodel=medium/large
      	code.
      	(tls_gd): Split for -mcmodel=medium/large.
      	(tls_gd_high, tls_gd_low): New.
      	(tls_ld_aix, tls_ld, tls_ld_high, tls_ld_low): Similarly.
      	(tls_got_dtprel, tls_got_dtprel_high, tls_got_dtprel_low): Similarly.
      	(tls_got_tprel, tls_got_tprel_high, tls_got_tprel_low): Similarly.
      	(largetoc_high, largetoc_low): New.
      	(cmptf_internal2): Add clobber.
      	* config/rs6000/rs6000-protos.h: Update.
      
      From-SVN: r160773
      Alan Modra committed
    • Daily bump. · 309b8e7d
      From-SVN: r160770
      GCC Administrator committed
  2. 14 Jun, 2010 37 commits
    • Account prefetch_mod and unroll_factor for the computation of the prefetch count. · d5058523
      2010-06-14  Changpeng Fang  <changpeng.fang@amd.com>
      
      	* tree-ssa-loop-prefetch.c (nothing_to_prefetch_p): New.  Return
      	true if no prefetch is going to be generated for a given group.
      	(estimate_prefetch_count): Use prefetch_mod and unroll_factor to
      	estimate the prefetch_count.
      	(loop_prefetch_arrays): Call nothing_to_prefetch_p; estimate the
      	prefetch count by considering the unroll_factor and prefetch_mod
      	for is_loop_prefetching_profitable.
      
      From-SVN: r160766
      Changpeng Fang committed
    • m68k.c (m68k_delegitimize_address): Don't do anything if the argument is not a MEM. · 33d67485
      * config/m68k/m68k.c (m68k_delegitimize_address): Don't do
      anything if the argument is not a MEM.
      
      From-SVN: r160763
      Andreas Schwab committed
    • re PR debug/43650 ("-fcompare-debug failure" with "-O2 -fpeel-loops -fgraphite-identity") · 22963fee
      PR debug/43650
      PR debug/44181
      PR debug/44247
      * tree-ssa-loop-manip.c (tree_transform_and_unroll_loop): Skip
      debug stmts.
      (canonicalize_loop_ivs): Likewise.
      
      From-SVN: r160762
      Alexandre Oliva committed
    • re PR debug/43656 ("-fcompare-debug failure" with "-O2 -fschedule-insns… · c11b0b3b
      re PR debug/43656 ("-fcompare-debug failure" with "-O2 -fschedule-insns -fsched-pressure -funroll-loops -fgraphite-identity")
      
      PR debug/43656
      * haifa-sched.c (setup_insn_reg_pressure_info,
      update_register_pressure): Reject debug insns.
      (ready_sort): Don't setup reg pressure for debug insns.
      (schedule_insn): Don't update reg pressure for debug insns.
      
      From-SVN: r160761
      Alexandre Oliva committed
    • lto-streamer.c (cached_bp): Remove. · 2465dcc2
      2010-06-14  Richard Guenther  <rguenther@suse.de>
      
      	* lto-streamer.c (cached_bp): Remove.
      	(bitpack_delete): Likewise.
      	(bitpack_create): Likewise.
      	(bp_get_next_word): Likewise.
      	(bp_pack_value, bp_unpack_value): Move ...
      	* lto-streamer.h (bp_pack_value, bp_unpack_value): ... here.
      	Re-implement.
      	(struct bitpack_d): Likewise.
      	(bitpack_create, lto_output_bitpack, lto_input_bitpack):
      	New inline functions.
      	* lto-streamer-out.c (lto_output_bitpack): Remove.
      	(pack_ts_base_value_fields): Adjust.  Avoid conditional
      	bitpacking.
      	(pack_value_fields): Adjust.
      	(lto_write_tree): Likewise.
      	(output_gimple_stmt): Likewise.
      	(output_function): Likewise.
      	* lto-streamer-in.c (input_gimple_stmt): Adjust.
      	(input_function): Likewise.
      	(unpack_ts_base_value_fields): Adjust.  Avoid conditional
      	bitpacking.
      	(lto_input_bitpack): Remove.
      	(lto_materialize_tree): Adjust.
      	* Makefile.in (ipa-prop.o): Add $(LTO_STREAMER_H) dependency.
      	* lto-cgraph.c (lto_output_edge): Adjust.
      	(lto_output_node): Likewise.
      	(lto_output_varpool_node): Likewise.
      	(lto_output_ref): Likewise.
      	(input_node): Likewise.
      	(input_varpool_node): Likewise.
      	(input_ref): Likewise.
      	(input_edge): Likewise.
      	(output_node_opt_summary): Likewise.
      	(input_node_opt_summary): Likewise.
      	* ipa-pure-const.c (pure_const_write_summary): Likewise.
      	(pure_const_read_summary): Likewise.
      	* ipa-prop.c (ipa_write_indirect_edge_info): Likewise.
      	(ipa_read_indirect_edge_info): Likewise.
      	(ipa_write_node_info): Likewise.
      	(ipa_read_node_info): Likewise.
      
      From-SVN: r160760
      Richard Guenther committed
    • Replace 0x1 with 0x0 in AVX vec_extract_lo_* patterns. · 808081b4
      gcc/
      
      2010-06-14  H.J. Lu  <hongjiu.lu@intel.com>
      
      	PR target/44534
      	* config/i386/sse.md (vec_extract_lo_<mode>): Replace 0x1 with
      	0x0.
      	(vec_extract_lo_v16hi): Likewise.
      	(vec_extract_lo_v32qi): Likewise.
      
      gcc/testsuite/
      
      2010-06-14  H.J. Lu  <hongjiu.lu@intel.com>
      
      	PR target/44534
      	* gcc.target/i386/avx-vextractf128-256-3.c: New.
      	* gcc.target/i386/avx-vextractf128-256-4.c: Likewise.
      
      From-SVN: r160756
      H.J. Lu committed
    • re PR bootstrap/44426 (gcc 4.5.0 requires c9x compiler to build) · aa493694
      	PR bootstrap/44426
      	* tree.h (build_call_expr): Don't define as vararg macro, instead
      	add a prototype.
      	* builtins.c (build_call_nofold): Remove.
      	(expand_builtin_int_roundingfn, expand_builtin_pow,
      	expand_builtin_mempcpy_args, expand_builtin_stpcpy,
      	expand_builtin_memset_args, expand_builtin_strcmp,
      	expand_builtin_strncmp, expand_builtin_memory_chk): Use
      	build_call_nofold_loc instead of build_call_nofold.
      	(build_call_expr): New function.
      
      From-SVN: r160754
      Jakub Jelinek committed
    • re PR tree-optimization/44508 (libgomp.fortran/vla1.f90 ICE on s390) · 8ab7d796
      	PR tree-optimization/44508
      	* tree-ssa-propagate.h (substitute_and_fold): Add DO_DCE
      	argument.
      	* tree-ssa-propagate.c (substitute_and_fold): If !DO_DCE,
      	don't eliminate trivially dead stmts.
      	* tree-vrp.c (vrp_finalize): Pass false as last argument
      	to substitute_and_fold.
      	* tree-ssa-copy.c (fini_copy_prop): Pass true as last argument
      	to substitute_and_fold.
      	* tree-ssa-ccp.c (ccp_finalize): Likewise.
      
      	* gcc.dg/tree-ssa/pr21086.c: Adjust.
      
      From-SVN: r160749
      Jakub Jelinek committed
    • sem_ch3.adb (Build_Derived_Record_Type): if derived type is an anonymous base generated when... · 7cec010e
      2010-06-14  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch3.adb (Build_Derived_Record_Type): if derived type is an
      	anonymous base generated when the parent is a constrained discriminated
      	type, propagate interface list to first subtype because it may appear
      	in a current instance within the extension part of the derived type
      	declaration, and its own subtype declaration has not been elaborated
      	yet.
      	* exp_disp.adb (Build_Interface_Thunk): Use base type of formal to
      	determine whether it has the controlling type.
      
      From-SVN: r160748
      Ed Schonberg committed
    • exp_ch11.adb (Expand_N_Raise_Statement): Make sure that the explicit raise of CE... · 9fc91982
      2010-06-14  Jerome Lambourg  <lambourg@adacore.com>
      
      	* exp_ch11.adb (Expand_N_Raise_Statement): Make sure that the explicit
      	raise of CE, SE and PE have the reason correctly set and are properly
      	expanded before stopping the expansions of .NET/JVM exceptions.
      
      From-SVN: r160747
      Jerome Lambourg committed
    • Revert change introduced by mistake in previous change. · 66de78a3
      From-SVN: r160745
      Arnaud Charlet committed
    • [multiple changes] · 51bf9bdf
      2010-06-14  Robert Dewar  <dewar@adacore.com>
      
      	* opt.ads (Check_Policy_List): Add some clarifying comments
      	* sem_prag.adb (Analyze_Pragma, case Check): Set Pragma_Enabled flag
      	on rewritten Assert pragma.
      
      2010-06-14  Gary Dismukes  <dismukes@adacore.com>
      
      	* sem_ch6.adb (Check_Overriding_Indicator): Add a special check for
      	controlled operations, so that they will be treated as overriding even
      	if the overridden subprogram is marked Is_Hidden, as long as the
      	overridden subprogram's parent subprogram is not hidden.
      
      2010-06-14  Robert Dewar  <dewar@adacore.com>
      
      	* debug.adb: Entry for gnatw.d no longer specific for while loops
      	* einfo.adb (First_Exit_Statement): New attribute for E_Loop
      	* einfo.ads (First_Exit_Statement): New attribute for E_Loop
      	* sem_ch5.adb (Analyze_Loop_Statement): Check_Infinite_Loop_Warning has
      	new calling sequence to include test for EXIT WHEN.
      	(Analyze_Exit_Statement): Chain EXIT statement into exit statement chain
      	* sem_warn.ads, sem_warn.adb (Check_Infinite_Loop_Warning): Now handles
      	EXIT WHEN case.
      	* sinfo.adb (Next_Exit_Statement): New attribute of N_Exit_Statement
      	node.
      	* sinfo.ads (N_Pragma): Correct comment on Sloc field (points to
      	PRAGMA, not to pragma identifier).
      	(Next_Exit_Statement): New attribute of N_Exit_Statement node
      
      2010-06-14  Robert Dewar  <dewar@adacore.com>
      
      	* sem_res.adb (Resolve_Short_Circuit): Fix sloc of "assertion/check
      	would fail" msg.
      
      2010-06-14  Robert Dewar  <dewar@adacore.com>
      
      	* par-ch2.adb (Scan_Pragma_Argument_Association): Clarify message for
      	missing pragma argument identifier.
      
      2010-06-14  Robert Dewar  <dewar@adacore.com>
      
      	* atree.ads, atree.adb (Ekind_In): New functions
      
      2010-06-14  Robert Dewar  <dewar@adacore.com>
      
      	* exp_ch4.adb (Expand_N_Op_Expon): Optimize 2**N in stand alone context
      
      2010-06-14  Robert Dewar  <dewar@adacore.com>
      
      	* usage.adb (Usage): Redo documentation of -gnatwa.
      
      From-SVN: r160743
      Arnaud Charlet committed
    • sem_ch8.adb (Find_Type): The attribute 'class cannot be applied to an untagged… · ae247488
      sem_ch8.adb (Find_Type): The attribute 'class cannot be applied to an untagged incomplete type that is a...
      
      2010-06-14  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch8.adb (Find_Type): The attribute 'class cannot be applied to
      	an untagged incomplete type that is a limited view.
      
      From-SVN: r160741
      Ed Schonberg committed
    • [multiple changes] · 5875f8d6
      2010-06-14  Sergey Rybin  <rybin@adacore.com>
      
      	* gnat_ugn.texi: Add description of '-cargs gcc_switches' to gnatstub
      	and gnatppa.
      
      2010-06-14  Thomas Quinot  <quinot@adacore.com>
      
      	* exp_ch4.adb (Expand_Short_Circuit_Operator): New subprogram,
      	factoring duplicated code between...
      	(Expand_N_And_Than, Expand_N_Or_Else): Remove duplicated code.
      	* a-envvar.ads: Minor reformatting
      
      2010-06-14  Arnaud Charlet  <charlet@adacore.com>
      
      	* ali.adb, ali.ads, lib-xref.ads: Document new '+' letter for C/C++
      	static entities.
      	(Scan_ALI): Take into account new Visibility field.
      	(Visibility_Kind): New type.
      	(Xref_Entity_Record): Replace Lib field by Visibility.
      
      	* gcc-interface/Make-lang.in: Update dependencies.
      
      2010-06-14  Pascal Obry  <obry@adacore.com>
      
      	* raise.h: Remove unused defintions.
      
      2010-06-14  Bob Duff  <duff@adacore.com>
      
      	* par-ch10.adb (P_Subunit): If the next token after "separate(X)" is
      	Tok_Not or Tok_Overriding, call P_Subprogram. We had previously given
      	the incorrect error "proper body expected".
      	* par-ch6.adb (P_Subprogram): Suppress "overriding indicator not
      	allowed here" error in case of subunits, which was triggered by the
      	above change to P_Subunit.
      
      From-SVN: r160740
      Arnaud Charlet committed
    • gnat_ugn.texi, [...]: Update gnatelim doc. · 395993ce
      2010-06-14  Sergey Rybin  <rybin@adacore.com>
      
      	* gnat_ugn.texi, vms_data.ads: Update gnatelim doc.
      
      From-SVN: r160739
      Sergey Rybin committed
    • lib-util.adb: Minor code reorganization. · b14bd03f
      2010-06-14  Thomas Quinot  <quinot@adacore.com>
      
      	* lib-util.adb: Minor code reorganization.
      
      From-SVN: r160738
      Thomas Quinot committed
    • ali.adb (Scan_ALI): Implement reading and storing of N lines · 7eaa7cdf
      2010-06-14  Robert Dewar  <dewar@adacore.com>
      
      	* ali.adb (Scan_ALI): Implement reading and storing of N lines
      	(Known_ALI_Lines): Add entry for 'N' (notes)
      	* ali.ads (Notes): New table to store Notes information
      	* alloc.ads: Add entries for Notes table
      	* lib-util.adb (Write_Info_Int): New procedure
      	(Write_Info_Slit): New procedure
      	(Write_Info_Uint): New procedure
      	* lib-util.ads (Write_Info_Int): New procedure
      	(Write_Info_Slit): New procedure
      	(Write_Info_Uint): New procedure
      	* lib-writ.adb (Write_Unit_Information): Output N (notes) lines
      	* lib-writ.ads: Update documentation for N (Notes) lines
      	* lib.adb (Store_Note): New procedure
      	* lib.ads (Notes): New table
      	(Store_Note): New procedure
      	* sem_prag.adb: Call Store_Note for affected pragmas
      
      From-SVN: r160736
      Robert Dewar committed
    • socket.c: Fix wrong condition in #ifdef · 3a13e785
      2010-06-14  Thomas Quinot  <quinot@adacore.com>
      
      	* socket.c: Fix wrong condition in #ifdef
      	* g-socket.adb, g-sothco.ads: Functions imported from socket.c that
      	take or return char* values can't use Interfaces.C.Strings.chars_ptr,
      	because on VMS this type is a 32-bit pointer which is not compatible
      	with the default for C pointers for code compiled with gcc on that
      	platform.
      
      From-SVN: r160735
      Thomas Quinot committed
    • [multiple changes] · 001c7783
      2010-06-14  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_util (Is_VMS_Operator): New predicate to determine whether an
      	operator is an intrinsic operator declared in the DEC system extension.
      	* sem_res.adb (Resolve_Logical_Op): operation is legal on signed types
      	if the operator is a VMS intrinsic.
      	* sem_eval.adb (Eval_Logical_Op): Operation is legal and be
      	constant-folded if the operands are signed and the operator is a VMS
      	intrinsic.
      
      2010-06-14  Robert Dewar  <dewar@adacore.com>
      
      	* g-socket.adb, gnatcmd.adb: Minor reformatting
      
      From-SVN: r160734
      Arnaud Charlet committed
    • [multiple changes] · ee81cbe9
      2010-06-14  Pascal Obry  <obry@adacore.com>
      
      	* s-finimp.adb: Fix typo.
      	* raise.h: Remove duplicate blank line.
      
      2010-06-14  Vincent Celier  <celier@adacore.com>
      
      	* prj-nmsc.adb (Add_Sources): Always set the object file and the
      	switches file names, as the configuration of the language may change
      	in an extending project.
      	(Process_Naming_Scheme): For sources of projects that are extended, set
      	the configuration of the language from the highest extending project
      	where the language is declared.
      
      2010-06-14  Gary Dismukes  <dismukes@adacore.com>
      
      	* sem_res.adb (Resolve_Call): For infinite recursion check, test
      	whether the called subprogram is inherited from a containing subprogram.
      	(Same_Or_Aliased_Subprograms): New function
      
      From-SVN: r160733
      Arnaud Charlet committed
    • Minor reformatting. · a40520ec
      From-SVN: r160732
      Arnaud Charlet committed
    • [multiple changes] · 4a214958
      2010-06-14  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch8.adb (End_Use_Type): Before indicating that an operator is not
      	use-visible, check whether it is a primitive for more than one type.
      
      2010-06-14  Robert Dewar  <dewar@adacore.com>
      
      	* sem_ch3.adb (Copy_And_Swap): Copy Has_Pragma_Unmodified flag.
      
      	* sem_ch7.adb (Preserve_Full_Attributes): Preserve
      	Has_Pragma_Unmodified flag.
      
      2010-06-14  Thomas Quinot  <quinot@adacore.com>
      
      	* g-sttsne-locking.adb, g-sttsne-locking.ads, g-sttsne.ads,
      	g-sttsne-vxworks.adb, g-sttsne-dummy.ads: Removed. Mutual exclusion is
      	now done in GNAT.Sockets if necessary.
      	* gsocket.h, g-socket.adb, g-sothco.ads (GNAT.Sockets.Get_XXX_By_YYY):
      	Ensure mutual exclusion for netdb operations if the target platform
      	requires it.
      	(GNAT.Sockets.Thin_Common): New binding for getXXXbyYYY, treating struct
      	hostent as an opaque type to improve portability.
      	* s-oscons-tmplt.c, socket.c: For the case of Vxworks, emulate
      	gethostbyYYY using proprietary VxWorks API so that a uniform interface
      	is available for the Ada side.
      	* gcc-interface/Makefile.in: Remove g-sttsne-*
      	* gcc-interface/Make-lang.in: Update dependencies.
      
      2010-06-14  Vincent Celier  <celier@adacore.com>
      
      	* gnatcmd.adb (Mapping_File): New function.
      
      From-SVN: r160731
      Arnaud Charlet committed
    • re PR bootstrap/44509 (Revision 160626 breaks bootstrap on *-apple-darwin*) · 5bca794b
      	PR bootstrap/44509
      	* c-config-lang.in (gtfiles): Add c-family/c-cppbuiltin.c.
      	* c-family/c-cppbuiltin.c: Include gt-c-family-c-cppbuiltin.h.
      	(lazy_hex_fp_values, lazy_hex_fp_value_count): Add GTY(()) markers.
      	(lazy_hex_fp_value, builtin_define_with_hex_fp_value): Use
      	ggc_strdup instead of xstrdup.
      
      	* gcc.dg/pr44509.c: New test.
      
      From-SVN: r160729
      Jakub Jelinek committed
    • [multiple changes] · 689cb4ac
      2010-06-14  Javier Miranda  <miranda@adacore.com>
      
      	* sem_ch3.adb (Derive_Subprograms): Remove over-restrictive assertion.
      
      2010-06-14  Arnaud Charlet  <charlet@adacore.com>
      
      	* ali.adb: Fix typo.
      	* s-auxdec-vms-alpha.adb, scng.ads: Minor reformatting
      
      2010-06-14  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch12.adb: Make Mark_Context transitive, and apply to subprogram
      	instances.
      
      	* sem_ch8.adb (Find_Expanded_Name): If a candidate compilation unit in
      	the context does not have a homonym of the selector, emit default
      	error message.
      
      From-SVN: r160728
      Arnaud Charlet committed
    • re PR tree-optimization/44507 (vectorization ANDs array elements together incorrectly) · c1e822d5
      
      	PR tree-optimization/44507 
      	* tree-vect-loop.c (get_initial_def_for_reduction): Use -1
      	to build initial vector for BIT_AND_EXPR.
      	* tree-vect-slp.c (vect_get_constant_vectors): Likewise.
      
      From-SVN: r160727
      Ira Rosen committed
    • [multiple changes] · 66919db5
      2010-06-14  Robert Dewar  <dewar@adacore.com>
      
      	* sem.adb, sem_ch12.adb, sem_util.adb: Minor reformatting and
      	comment addition.
      
      2010-06-14  Arnaud Charlet  <charlet@adacore.com>
      
      	* lib-xref.ads: Doc updates:
      	 - Allocate 'Q' for #include entity kind
      	 - Free 'Z'
      	 - Allocate 'g' for regular macros
      	 - Allocate 'G' for function-like macros
      
      From-SVN: r160726
      Arnaud Charlet committed
    • [multiple changes] · 34639e68
      2010-06-14  Ed Schonberg  <schonberg@adacore.com>
      
      	* sinfo.ads, sinfo,adb (Withed_Body): New attribute of a with_clause.
      	Indicates that there is an instantiation in the current unit that
      	loaded the body of the unit denoted by the with_clause.
      	* sem_ch12.adb (Mark_Context): When instanting a generic body, check
      	whether a with_clause in the current context denotes the unit that
      	holds the generic declaration, and mark the with_clause accordingly.
      	(Instantiate_Package_Body): call Mark_Context.
      	* sem.adb (Process_Bodies_In_Context): Use Withed_Body to determine
      	whether a given body should be traversed before the spec of the main
      	unit.
      
      2010-06-14  Ed Falis  <falis@adacore.com>
      
      	* sysdep.c: Fix 653 build against vThreads headers
      
      From-SVN: r160725
      Arnaud Charlet committed
    • sinfo.ads: Minor reformatting. · 165d9b9d
      2010-06-14  Robert Dewar  <dewar@adacore.com>
      
      	* sinfo.ads: Minor reformatting.
      
      From-SVN: r160724
      Robert Dewar committed
    • [multiple changes] · cabe9abc
      2010-06-14  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch6.adb (Analyze_Subprogram_Body): Do not check conformance when
      	the spec has been generated for a body without spec that carries an
      	Inline_Always pragma.
      
      2010-06-14  Arnaud Charlet  <charlet@adacore.com>
      
      	* lib-xref.ads: Documentation change: allocate 'Z' letter to C/C++
      	macro.
      
      From-SVN: r160723
      Arnaud Charlet committed
    • exp_dbug.adb (Debug_Renaming_Declaration): Do not output any debug declaration for VMs... · 428be3ac
      2010-06-14  Jerome Lambourg  <lambourg@adacore.com>
      
      	* exp_dbug.adb (Debug_Renaming_Declaration): Do not output any debug
      	declaration for VMs, as those are useless and might lead to duplicated
      	local variable names in the generated code.
      	* gcc-interface/Make-lang.in: Update dependdencies.
      
      From-SVN: r160721
      Jerome Lambourg committed
    • [multiple changes] · a5d83d61
      2010-06-14  Robert Dewar  <dewar@adacore.com>
      
      	* opt.ads, sem.adb, sem_elab.adb: Minor reformatting
      
      2010-06-14  Robert Dewar  <dewar@adacore.com>
      
      	* exp_aggr.adb (Has_Address_Clause): Moved to Exp_Util, and there it
      	is renamed as Has_Following_Address_Clause.
      	* exp_ch3.adb (Needs_Simple_Initialization): Add Consider_IS argument
      	to allow the caller to avoid Initialize_Scalars having an effect.
      	(Expand_N_Object_Declaration): Do not do Initialize_Scalars stuff for
      	scalars with an address clause specified.
      	* exp_ch3.ads (Needs_Simple_Initialization): Add Consider_IS argument
      	to allow the caller to avoid Initialize_Scalars having an effect.
      	* exp_util.adb (Has_Following_Address_Clause): Moved here from Exp_Aggr
      	(where it was called Has_Address_Clause).
      	* exp_util.ads (Has_Following_Address_Clause): Moved here from Exp_Aggr
      	(where it was called Has_Address_Clause).
      	* freeze.adb (Warn_Overlay): Suppress message about overlaying causing
      	problems for Initialize_Scalars (since we no longer initialize objects
      	with an address clause.
      
      2010-06-14  Robert Dewar  <dewar@adacore.com>
      
      	* exp_prag.adb (Expand_Pragma_Check): Set Loc of generated code from
      	condition.
      
      2010-06-14  Gary Dismukes  <dismukes@adacore.com>
      
      	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Set Debug_Info_Needed
      	on the entity of an implicitly generated postcondition procedure.
      
      2010-06-14  Thomas Quinot  <quinot@adacore.com>
      
      	* sem_ch7.adb (Preserve_Full_Attributes): Propagate
      	Discriminant_Constraint elist from full view to private view.
      
      From-SVN: r160720
      Arnaud Charlet committed
    • Minor reformatting. · be8e26ba
      From-SVN: r160719
      Arnaud Charlet committed
    • [multiple changes] · bfc07071
      2010-06-14  Robert Dewar  <dewar@adacore.com>
      
      	* sem_res.adb: Minor reformatting
      
      2010-06-14  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem.adb: New version of unit traversal.
      
      	* sem_elab.adb (Check_Internal_Call): Do not place a call appearing
      	within a generic unit in the table of delayed calls.
      
      From-SVN: r160718
      Arnaud Charlet committed
    • Fix typo. · eb23d93a
      From-SVN: r160717
      Arnaud Charlet committed
    • [multiple changes] · a50d5785
      2010-06-14  Robert Dewar  <dewar@adacore.com>
      
      	* gnatcmd.adb, sem_util.adb, exp_ch3.adb: Minor reformatting
      
      2010-06-14  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch12.adb (Save_References): If an identifier has been rewritten
      	during analysis as an explicit dereference, keep the reference implicit
      	in the generic, but preserve the entity if global. This prevents
      	malformed generic trees in the presence of some nested generics.
      
      2010-06-14  Sergey Rybin  <rybin@adacore.com>
      
      	* gnat_ugn.texi: For the GNAT driver, clarify the effect of calling the
      	tool with '-files=' option. Also fix some small errors (wrong brackets)
      
      From-SVN: r160716
      Arnaud Charlet committed
    • gnatbind.adb: Call Scan_ALI with Directly_Scanned set to True for all the ALI files on the... · 5d993afd
      2010-06-14  Vincent Celier  <celier@adacore.com>
      
      	* gnatbind.adb: Call Scan_ALI with Directly_Scanned set to True for all
      	the ALI files on the command line.
      
      	* ali.adb (Scan_ALI): Set component Directly_Scanned of the unit(s) to
      	the same value as the parameter of the same name.
      	* ali.ads (Scan_ALI): New Boolean parameter Directly_Scanned, defaulted
      	to False.
      	* bindgen.adb (Gen_Versions_Ada): Never emit version symbols for
      	Stand-Alone Library interfaces. When binding Stand-Alone Libraries,
      	emit version symbols only for the units of the library.
      	(Gen_Versions_C): Ditto.
      
      From-SVN: r160715
      Vincent Celier committed
    • [multiple changes] · 49d140bb
      2010-06-14  Gary Dismukes  <dismukes@adacore.com>
      
      	* sem_ch4.adb: Fix typo.
      
      2010-06-14  Vasiliy Fofanov  <fofanov@adacore.com>
      
      	* s-oscons-tmplt.c (IOV_MAX): redefine on Tru64 and VMS since the
      	vector IO doesn't work at default value properly.
      
      2010-06-14  Doug Rupp  <rupp@adacore.com>
      
      	* s-stoele.adb: Remove unnecessary qualification of To_Address for VMS.
      
      2010-06-14  Vincent Celier  <celier@adacore.com>
      
      	* gnatcmd.adb (Check_Files): Do not invoke the tool with all the
      	sources of the project if a switch -files= is used.
      
      2010-06-14  Thomas Quinot  <quinot@adacore.com>
      
      	* exp_attr.adb: Minor reformatting
      
      From-SVN: r160714
      Arnaud Charlet committed