1. 02 Sep, 2011 33 commits
    • jsm28's avatar
      * ja.po: Update. · 899a605c
      jsm28 authored
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178476 138bc75d-0d04-0410-961f-82ee72b054a4
      899a605c
    • rsandifo's avatar
      gcc/ · d646a3c1
      rsandifo authored
      	PR target/49987
      	* config/rs6000/rs6000.c (paired_expand_vector_init): Check for
      	valid CONST_VECTOR operands.
      	(rs6000_expand_vector_init): Likewise.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178474 138bc75d-0d04-0410-961f-82ee72b054a4
      d646a3c1
    • paolo's avatar
      2011-09-02 Paolo Carlini <paolo.carlini@oracle.com> · dd0eb0df
      paolo authored
      	    Marc Glisse  <marc.glisse@normalesup.org>
      
      	* include/std/bitset (_Base_bitset<>::_M_are_all_aux): Remove.
      	(_Base_bitset<>::_M_are_all): Add.
      	(bitset<>::all): Use the latter, improve implementation.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178473 138bc75d-0d04-0410-961f-82ee72b054a4
      dd0eb0df
    • jamborm's avatar
      2011-09-02 Martin Jambor <mjambor@suse.cz> · d4e80e2b
      jamborm authored
      	* cgraph.h (cgraph_indirect_call_info): Removed field thunk_delta.
      	* gimple-fold.c (gimple_get_virt_method_for_binfo): Rewritten to use
      	BINFO_VTABLE.  Parameter delta removed, all callers updated.
      	* tree.c (free_lang_data_in_binfo): Clear BINFO_VIRTUALs instead
      	BINFO_VTABLE.
      	* cgraph.c (cgraph_make_edge_direct): Removed parameter delta, updated
      	all calls.
      	* cgraphunit.c (cgraph_redirect_edge_call_stmt_to_callee): Removed
      	handling of thunk_delta.
      	* ipa-cp.c (get_indirect_edge_target): Removed parameter delta.
      	(devirtualization_time_bonus): Do not handle thunk deltas.
      	(ipcp_discover_new_direct_edges): Likewise.
      	* ipa-prop.c (ipa_make_edge_direct_to_target): Likewise.
      	(try_make_edge_direct_simple_call): Likewise.
      	(try_make_edge_direct_virtual_call): Likewise.
      	* lto-cgraph.c (output_cgraph_opt_summary_p): Likewise.  Mark
      	parameter set as unused.
      	(output_edge_opt_summary): Likewise.  Mark both parameters as unused.
      	* lto-cgraph.c (output_cgraph_op...
      d4e80e2b
    • rguenth's avatar
      2011-09-02 Richard Guenther <rguenther@suse.de> · 6e93d308
      rguenth authored
      	* tree-ssa-ccp.c (fold_builtin_alloca_for_var): Do not
      	fold alloca (0).
      	(ccp_fold_stmt): Continue replacing args when folding
      	alloca fails.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178465 138bc75d-0d04-0410-961f-82ee72b054a4
      6e93d308
    • paolo's avatar
      2011-09-02 Paolo Carlini <paolo.carlini@oracle.com> · 10204a12
      paolo authored
      	    Marc Glisse  <marc.glisse@normalesup.org>
      
      	PR libstdc++/50268
      	* include/std/bitset (struct _Sanitize_val): Add.
      	(bitset<>::bitset(unsigned long long)): Fix.
      	* testsuite/23_containers/bitset/cons/50268.cc: New.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178463 138bc75d-0d04-0410-961f-82ee72b054a4
      10204a12
    • charlet's avatar
      2011-09-02 Robert Dewar <dewar@adacore.com> · ac36e5b4
      charlet authored
      	* sem_ch4.adb, sem_ch6.adb: Minor reformatting.
      	* gcc-interface/Make-lang.in: Update dependencies.
      
      2011-09-02  Marc Sango  <sango@adacore.com>
      
      	* sem_ch3.adb (Analyze_Object_Declaration): Change
      	comment and add additional check to differentiate constant of
      	type string from others unconstrained type.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178462 138bc75d-0d04-0410-961f-82ee72b054a4
      ac36e5b4
    • charlet's avatar
      2011-09-02 Ed Schonberg <schonberg@adacore.com> · b88c4b02
      charlet authored
      	* sinfo.ads, sinfo.adb: New semantic attribute Premature_Use,
      	present in incomplete type declarations to refine the error
      	message the full declaration is in the same unit.
      	* sem_ch4.adb (Analyze_Selected_Component): If the prefix is of
      	an incomplete type, set the Premature_Use for additional message.
      	* sem_ch3.adb (Find_Type_Name): If partial view is incomplete
      	and Premature_Use is set, place additional information at the
      	point of premature use.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178461 138bc75d-0d04-0410-961f-82ee72b054a4
      b88c4b02
    • charlet's avatar
      2011-09-02 Bob Duff <duff@adacore.com> · b84a52e5
      charlet authored
      	* sem_ch6.adb: (Check_Post_State): Suppress warning
      	"postcondition refers only to pre-state" when the expression has not
      	yet been analyzed, because it causes false alarms. This can happen when
      	the postcondition contains a quantified expression, because those are
      	analyzed later. This is a temporary/partial fix.
      	(Process_Post_Conditions): Minor: change wording of warning.
      
      2011-09-02  Marc Sango  <sango@adacore.com>
      
      	* sem_ch3.adb (Analyze_Object_Declaration): Detect the violation of
      	illegal use of unconstrained string type in SPARK mode.
      	* sem_res.adb (Analyze_Operator_Symbol): Set the
      	right place where the string operand of concatenation should be
      	violate in SPARK mode.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178460 138bc75d-0d04-0410-961f-82ee72b054a4
      b84a52e5
    • charlet's avatar
      2011-09-02 Robert Dewar <dewar@adacore.com> · 67474ad6
      charlet authored
      	* sem_prag.adb, sem_util.adb, sem_ch6.adb, prj-nmsc.adb,
      	exp_ch3.adb: Minor reformatting.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178459 138bc75d-0d04-0410-961f-82ee72b054a4
      67474ad6
    • charlet's avatar
      2011-09-02 Vincent Celier <celier@adacore.com> · 77a37c05
      charlet authored
      	* prj-conf.adb (Add_Default_GNAT_Naming_Scheme): Declare "gcc"
      	as the compiler driver so Is_Compilable returns True for sources.
      	* prj-nmsc.adb (Override_Kind): When Kind is Sep, set the source
      	for the body.
      
      2011-09-02  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_prag.adb (Analyze_PPC_In_Decl_Part): for a class-wide
      	condition, a reference to a controlling formal must be interpreted
      	as having the class-wide type (or an access to such) so that the
      	inherited condition can be properly applied to any overriding
      	operation (see ARM12 6.6.1 (7)).
      
      2011-09-02  Tristan Gingold  <gingold@adacore.com>
      
      	* init.c (__gnat_is_vms_v7): Fix case and add prototype
      	for LIB$GETSYI.
      
      2011-09-02  Javier Miranda  <miranda@adacore.com>
      
      	* exp_ch3.adb (Expand_N_Object_Declaration): Do not copy the
      	initializing expression of a class-wide interface object declaration
      	if its type is limited.
      
      2011-09-02  Johannes Kanig  <kanig@adacore.com>
      
      	* sem_util.adb (Unique_Name): To obtain a unique name for enumeration
      	literals, take into account the type name; the type is *not*
      	the scope for an enumeration literal.
      
      2011-09-02  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch6.adb (Check_Overriding_Indicator): add special check
      	to reject an overriding indicator on a user-defined Adjust
      	subprogram for a limited controlled type.
      
      2011-09-02  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_res.adb (Resolve_Actuals): add missing call to Resolve
      	for an actual that is a function call returning an unconstrained
      	limited controlled type.
      
      2011-09-02  Tristan Gingold  <gingold@adacore.com>
      
      	* g-socthi-vms.adb (c_sendmsg, c_recvmsg): Use unpacked msg if on vms 7
      
      2011-09-02  Johannes Kanig  <kanig@adacore.com>
      
      	* alfa.ads (Name_Of_Heap_Variable): Change value of the HEAP variable
      	from "HEAP" to __HEAP Change comment that refers to that variable
      	* put_alfa.adb: Change comment that refers to that variable
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178458 138bc75d-0d04-0410-961f-82ee72b054a4
      77a37c05
    • charlet's avatar
      2011-09-02 Robert Dewar <dewar@adacore.com> · 229c2354
      charlet authored
      	* exp_ch4.adb, exp_ch6.adb, prj-nmsc.adb: Minor reformatting.
      
      2011-09-02  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* exp_util.adb (Extract_Renamed_Object): Renamed to
      	Find_Renamed_Object. This routine has been reimplemented and now uses
      	tree traversal to locate a renamed object.
      	(Is_Aliased): Replace call to Extract_Renamed_Object with
      	Find_Renamed_Object.
      
      2011-09-02  Tristan Gingold  <gingold@adacore.com>
      
      	* init.c: (__gnat_is_vms_v7): New function.
      
      2011-09-02  Olivier Hainque  <hainque@adacore.com>
      
      	* tracebak.c (STOP_FRAME, ppc elf/vxworks case): Stop on frames
      	that have a misaligned backchain, necessarily bogus.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178457 138bc75d-0d04-0410-961f-82ee72b054a4
      229c2354
    • charlet's avatar
      2011-09-02 Hristian Kirtchev <kirtchev@adacore.com> · 045fdaf6
      charlet authored
      	* exp_ch3.adb (Expand_Freeze_Class_Wide_Type): Do not create
      	TSS routine Finalize_Address when compiling in Alfa mode.
      	(Expand_Freeze_Record_Type): Do not create TSS routine
      	Finalize_Address when compiling in Alfa mode.
      	* exp_ch4.adb (Expand_Allocator_Expression): Do not produce a
      	call to Set_Finalize_Address in Alfa mode because Finalize_Address is
      	not built.
      	(Expand_N_Allocator): Do not produce a call to
      	Set_Finalize_Address in Alfa mode because Finalize_Address is not built.
      	* exp_ch6.adb (Make_Build_In_Place_Call_In_Allocator): Do not
      	produce a call to primitive Set_Finalize_Address in Alfa mode because
      	Finalize_Address is not built.
      	* exp_ch7.adb (Build_Finalization_Master): Do not create
      	finalization masters in Afa mode since they are not needed.
      	(Build_Finalizer): Do not create scope and library-level
      	finalizers in Alfa mode since they are not needed.
      	* exp_util.adb (Build_Allocate_Deallocate_Proc): Do not expand
      	"new" and "free" when applied to controlled objects in Alfa mode since
      	this is not needed.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178456 138bc75d-0d04-0410-961f-82ee72b054a4
      045fdaf6
    • charlet's avatar
      2011-09-02 Vincent Celier <celier@adacore.com> · adfa94a2
      charlet authored
      	* prj-nmsc.db: (Check_Stand_Alone_Library): For SALs, allow
      	only library names with the syntax of Ada identifiers, to avoid errors
      	when compiling the binder generated files.
      	* projects.texi: Document restriction on SAL library names
      
      2011-09-02  Thomas Quinot  <quinot@adacore.com>
      
      	* a-chtgbo.adb: Minor comment fix.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178455 138bc75d-0d04-0410-961f-82ee72b054a4
      adfa94a2
    • charlet's avatar
      2011-09-02 Robert Dewar <dewar@adacore.com> · 7beef224
      charlet authored
      	* lib-xref.adb: Minor reformatting
      
      2011-09-02  Vincent Celier  <celier@adacore.com>
      
      	* bindusg.adb, clean.adb, gnatchop.adb, gnatfind.adb, gnatlink.adb,
      	gnatls.adb, gnatname.adb, gnatxref.adb, gprep.adb, makeusg.adb: Add
      	--version and --help in usage.
      	* switch.ads, switch.adb (Display_Usage_Version_And_Help): New procedure
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178454 138bc75d-0d04-0410-961f-82ee72b054a4
      7beef224
    • charlet's avatar
      2011-09-02 Bob Duff <duff@adacore.com> · b585d56b
      charlet authored
      	* lib-xref.adb: (Hash): Avoid use of 'Mod attribute, because old
      	compilers don't understand it.
      
      2011-09-02  Gary Dismukes  <dismukes@adacore.com>
      
      	* exp_attr.adb (Expand_N_Attribute_Reference): Pass the
      	underlying subtype rather than its base type on the call to
      	Build_Record_Or_Elementary_Input_Function, so that any
      	constraints on a discriminated subtype will be available for
      	doing the check required by AI05-0192.
      	* exp_strm.adb (Build_Record_Or_Elementary_Input_Function):
      	If the prefix subtype of the 'Input attribute is a constrained
      	discriminated subtype, then check each constrained discriminant value
      	against the corresponding value read from the stream.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178453 138bc75d-0d04-0410-961f-82ee72b054a4
      b585d56b
    • charlet's avatar
      2011-09-02 Yannick Moy <moy@adacore.com> · 8fad61af
      charlet authored
      	* usage.adb, warnsw.adb, sem_ch6.adb, opt.ads: Disable by default
      	warnings on suspicious contracts, and enable them with -gnatwa.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178452 138bc75d-0d04-0410-961f-82ee72b054a4
      8fad61af
    • charlet's avatar
      2011-09-02 Robert Dewar <dewar@adacore.com> · fe0961a8
      charlet authored
      	* exp_util.adb, exp_ch9.adb, sem_attr.adb, sem_ch6.adb: Minor
      	reformatting.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178450 138bc75d-0d04-0410-961f-82ee72b054a4
      fe0961a8
    • charlet's avatar
      2011-09-02 Hristian Kirtchev <kirtchev@adacore.com> · 134520e8
      charlet authored
      	* exp_ch9.adb (Install_Private_Data_Declarations): Add guards
      	which ensure that restriction No_Dynamic_Attachment has not been
      	violated.
      	(Make_Initialize_Protection): Protected types with attach or
      	interrupt handlers must not violate restriction No_Dynamic_Attachment.
      	* exp_util.adb (Corresponding_Runtime_Package): Add a guard
      	which ensures that restriction No_Dynamic_Attachment has not been
      	violated.
      	* sem_attr.adb: (Eval_Attribute): Transform
      	VAX_Float_Type'First and 'Last into references to
      	the temporaries which store the corresponding bounds. The
      	transformation is needed since the back end cannot evaluate
      	'First and 'Last on VAX.
      	(Is_VAX_Float): New routine.
      
      2011-09-02  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch12.adb (Analyze_Subprogram_Instantiation): If the
      	generic unit is not intrinsic and has an explicit convention,
      	the instance inherits it.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178449 138bc75d-0d04-0410-961f-82ee72b054a4
      134520e8
    • charlet's avatar
      2011-09-02 Robert Dewar <dewar@adacore.com> · a15d8d34
      charlet authored
      	* prj-dect.adb, prj-env.adb, prj-nmsc.adb, prj-proc.adb, prj-tree.adb,
      	prj.adb, prj.ads, sem_ch5.adb: Minor reformatting.
      
      2011-09-02  Thomas Quinot  <quinot@adacore.com>
      
      	* sem_attr.adb (Analyze_Attribute, case Unrestriced_Access):
      	Guard against a prefix that is an N_Has_Entity but has no
      	associated entity.
      
      2011-09-02  Yannick Moy  <moy@adacore.com>
      
      	* lib-xref-alfa.adb (Is_Alfa_Reference): Ignore IN parameters in Alfa
      	references.
      
      2011-09-02  Yannick Moy  <moy@adacore.com>
      
      	* opt.ads (Warn_On_Suspicious_Contract): New warning flag.
      	* sem_ch3.adb (Analyze_Declarations): Call checker for suspicious
      	contracts.
      	* sem_ch6.adb, sem_ch6.ads (Check_Subprogram_Contract): New
      	procedure looking for suspicious postconditions.
      	* usage.adb (Usage): New options -gnatw.t and -gnatw.T.
      	* warnsw.adb (Set_Dot_Warning_Switch): Take into account new
      	options -gnatw.t and -gnatw.T.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178448 138bc75d-0d04-0410-961f-82ee72b054a4
      a15d8d34
    • charlet's avatar
      2011-09-02 Pascal Obry <obry@adacore.com> · c2e11485
      charlet authored
      	* prj-proc.adb, prj.adb, prj.ads, prj-dect.adb, prj-nmsc.adb,
      	prj-conf.adb, projects.texi: Add support for aggregate library projects.
      
      2011-09-02  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* exp_ch9.adb (Expand_N_Protected_Type_Declaration): Use
      	Dynamic_Interrupt_Protection as the proper protection type when
      	dynamic handler association is actually allowed.
      
      2011-09-02  Robert Dewar  <dewar@adacore.com>
      
      	* makeutl.ads: Minor reformatting
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178446 138bc75d-0d04-0410-961f-82ee72b054a4
      c2e11485
    • charlet's avatar
      2011-09-02 Pascal Obry <obry@adacore.com> · bb23e037
      charlet authored
      	* prj.adb: Minor code refactoring. Move check for null project in
      	Project_Changed.
      	* projects.texi: Fix minor typos.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178444 138bc75d-0d04-0410-961f-82ee72b054a4
      bb23e037
    • charlet's avatar
      2011-09-02 Ed Schonberg <schonberg@adacore.com> · 2cbb24f4
      charlet authored
      	* sem_ch5.adb (Analyze_Iterator_Specification): If the domain
      	of iteration is an expression, its value must be captured in a
      	renaming declaration, so that modification of the elements is
      	propagated to the original container.
      
      2011-09-02  Pascal Obry  <obry@adacore.com>
      
      	* prj-proc.adb, prj.adb, makeutl.adb, makeutl.ads, prj-dect.adb,
      	prj-nmsc.adb, prj-util.adb, prj-conf.adb, prj-env.adb,
      	prj-tree.adb: Minor reformatting and style fixes.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178443 138bc75d-0d04-0410-961f-82ee72b054a4
      2cbb24f4
    • charlet's avatar
      Fix typo. · 79219086
      charlet authored
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178442 138bc75d-0d04-0410-961f-82ee72b054a4
      79219086
    • charlet's avatar
      2011-09-02 Robert Dewar <dewar@adacore.com> · ac892341
      charlet authored
      	* s-rident.ads: Add new restriction No_Implicit_Aliasing
      	* sem_attr.adb: (Analyze_Access_Attribute): Deal with
      	No_Implicit_Aliasing
      	(Analyze_Attribute, case Address): ditto
      	(Analyze_Attribute, case Unrestricted_Access): ditto
      	* sem_util.ads, sem_util.adb: (Is_Aliased_View): Handle
      	No_Implicit_Aliasing restriction.
      	* gnat_rm.texi: Add documentation for No_Implicit_Aliasing
      
      2011-09-02  Ed Schonberg  <schonberg@adacore.com>
      
      	* exp_util.adb: (Possible_Bit_Aligned_Object): If the object
      	is an unchecked conversion, apply test to its expression.
      
      2011-09-02  Javier Miranda  <miranda@adacore.com>
      
      	* sem_ch3.adb (Check_Abstract_Overriding): When
      	traversing the chain of aliased subprograms avoid reporting a
      	redundant error on the current entity.
      
      2011-09-02  Sergey Rybin  <rybin@adacore.com>
      
      	* gnat_ugn.texi: Minor clean up.
      
      2011-09-02  Bob Duff  <duff@adacore.com>
      
      	* s-htable.adb (Set_If_Not_Present): Use renaming
      	instead of ":=", because the type Key is limited in the generic (even
      	if not in the instances).
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178440 138bc75d-0d04-0410-961f-82ee72b054a4
      ac892341
    • charlet's avatar
      2011-09-02 Robert Dewar <dewar@adacore.com> · e4caa3ff
      charlet authored
      	* exp_util.adb, sem_ch10.adb, sem_attr.adb, s-htable.adb,
      	g-comlin.adb, g-comlin.ads, lib-xref-alfa.adb, lib-xref.adb: Minor
      	reformatting.
      
      2011-09-02  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* sem_ch3.adb: (Set_Anonymous_Type): Associate the itype of an
      	inherited component with the enclosing derived type. Code reformatting.
      
      2011-09-02  Gary Dismukes  <dismukes@adacore.com>
      
      	* checks.adb: (Determine_Range): Add test of OK1 to prevent the early
      	return done when overflow checks are enabled, since comparisons against
      	Lor and Hir should not be done when OK1 is False.
      
      2011-09-02  Gary Dismukes  <dismukes@adacore.com>
      
      	* exp_ch6.adb (Add_Finalization_Master_Actual_To_Build_In_Place_Call):
      	Add new formal Master_Exp. When present, add that expression to the
      	call as an extra actual.
      	(Make_Build_In_Place_Call_In_Object_Declaration): Add variable
      	Fmaster_Actual and in the case of a BIP call initializing a return
      	object of an enclosing BIP function set it to a
      	new reference to the implicit finalization master
      	formal of the enclosing function. Fmaster_Actual is
      	then passed to the new formal Master_Exp on the call to
      	Add_Finalization_Master_Actual_To_Build_ In_Place_Call. Move
      	initializations of Enclosing_Func to its declaration.
      
      2011-09-02  Thomas Quinot  <quinot@adacore.com>
      
      	* csets.ads: Minor reformatting
      
      2011-09-02  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* exp_aggr.adb: (Get_Constraint_Association): Add code to retrieve
      	the full view of a private type coming from an instantiation.
      	* exp_ch4.adb: (Current_Anonymous_Master): Reimplement the search
      	loop to iterate over the declarations rather than use the
      	First_Entity / Next_Entity scheme.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178438 138bc75d-0d04-0410-961f-82ee72b054a4
      e4caa3ff
    • charlet's avatar
      2011-09-02 Ed Schonberg <schonberg@adacore.com> · 4da9eaf9
      charlet authored
      	* sem_attr.adb: (Analyze_Attribute, case 'Range): when expanding
      	X'range (N) into X'First (N) ..  X'Last (N), do not share the
      	dimension indicator N, if present. Even though it is a static
      	constant, its source location may be modified when printing
      	expanded code under -gnatDL, and node sharing will lead to chaos
      	in Sprint on large files, by generating a sloc value that does
      	not correspond to any source file.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178437 138bc75d-0d04-0410-961f-82ee72b054a4
      4da9eaf9
    • charlet's avatar
      2011-09-02 Bob Duff <duff@adacore.com> · 8e636ab7
      charlet authored
      	* einfo.adb: (Has_Xref_Entry): Do not call
      	Implementation_Base_Type. Lib.Xref has been
      	rewritten to avoid the need for it, and it was costly.
      	* s-htable.ads,s-htable.adb: (Present,Set_If_Not_Present): New
      	functions in support of efficient xref.
      	* lib-xref-alfa.adb: Misc changes related to Key component of
      	type Xref_Entry.
      	* lib-xref.adb: (Add_Entry,etc): Speed improvement.
      	(New_Entry): Call Implementation_Base_Type, because Has_Xref_Entry
      	no longer does. This is the one place where it is needed.
      
      2011-09-02  Johannes Kanig  <kanig@adacore.com>
      
      	* g-comlin.adb (Getopt): New optional argument Concatenate to have
      	similar interface as the other Getopt function.
      
      2011-09-02  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* exp_ch4.adb: (Expand_Allocator_Expression): Do not generate
      	a call to Set_Finalize_Address if there is no allocator available.
      	* exp_util.adb: (Build_Allocate_Deallocate_Proc): Account for
      	a case of allocator expansion where the allocator is not expanded but
      	needs a custom allocate routine. Code reformatting.
      	(Is_Finalizable_Transient): Remove local variables Has_Rens and
      	Ren_Obj. Code reformatting.
      	(Is_Renamed): Renamed to Is_Aliased. Add code to detect aliasing
      	through the use of 'reference.
      	* sem_ch4.adb: (Analyze_Allocator): Detect allocators generated
      	as part of build-in-place expansion. They are intentionally marked as
      	coming from source, but their parents are not.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178436 138bc75d-0d04-0410-961f-82ee72b054a4
      8e636ab7
    • charlet's avatar
      2011-09-02 Ed Schonberg <schonberg@adacore.com> · 16d62f51
      charlet authored
      	* sem_ch10.adb (Analyze_With_Clause): If the library unit
      	is the generated subprogram declaration for a child unit body
      	that acts as spec, use the original body in the with_clause,
      	to prevent binding errors.
      
      2011-09-02  Vincent Celier  <celier@adacore.com>
      
      	* gnat_ugn.texi: Adapt documentation of -gnateInnn to new VMS
      	qualifier /MULTI_UNIT_INDEX=
      
      2011-09-02  Johannes Kanig  <kanig@adacore.com>
      
      	* g-comlin.adb (Getopt): Return when switch is dealt with automatically,
      	instead of calling the callback function
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178435 138bc75d-0d04-0410-961f-82ee72b054a4
      16d62f51
    • charlet's avatar
      2011-09-02 Vincent Celier <celier@adacore.com> · 449c4810
      charlet authored
      	* prj-nmsc.adb: (Find_Sources): When the list of sources is
      	explicitly declared in an extending project, do not warn if a source
      	for an inherited naming exception is not found.
      
      2011-09-02  Gary Dismukes  <dismukes@adacore.com>
      
      	* exp_ch6.adb: (Is_Build_In_Place_Function_Call): Return False if
      	expansion is inactive.
      
      2011-09-02  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_util.adb (Note_Possible_Modification): If the entity
      	being modified is the renaming generated for an Ada2012 iterator
      	element, the enclosing container or array is modified as well.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178434 138bc75d-0d04-0410-961f-82ee72b054a4
      449c4810
    • charlet's avatar
      2011-09-02 Vincent Celier <celier@adacore.com> · b650af89
      charlet authored
      	* prj-nmsc.adb: (Find_Sources): When the list of sources is
      	explicitly declared in an extending project, do not warn if a source
      	for an inherited naming exception is not found.
      
      2011-09-02  Gary Dismukes  <dismukes@adacore.com>
      
      	* exp_ch6.adb: (Is_Build_In_Place_Function_Call): Return False if
      	expansion is inactive.
      
      2011-09-02  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_util.adb (Note_Possible_Modification): If the entity
      	being modified is the renaming generated for an Ada2012 iterator
      	element, the enclosing container or array is modified as well.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178433 138bc75d-0d04-0410-961f-82ee72b054a4
      b650af89
    • charlet's avatar
      2011-09-02 Jose Ruiz <ruiz@adacore.com> · 423eae38
      charlet authored
      	* s-taprop-linux.adb (Initialize_Lock, Initialize_TCB,
      	Initialize): Define and initialize the
      	mutex attributes and condition variable attributes locally.
      
      2011-09-02  Vincent Celier  <celier@adacore.com>
      
      	* prj-nmsc.adb (Check_File): Mark as Locally_Removed a naming
      	exception replaced in an extending project.
      	(Check_Object): No error when the other source is locally removed.
      
      2011-09-02  Yannick Moy  <moy@adacore.com>
      
      	* exp_ch6.adb (Is_Build_In_Place_Function_Call): in Alfa mode, allow
      	unresolved calls.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178432 138bc75d-0d04-0410-961f-82ee72b054a4
      423eae38
    • gccadmin's avatar
      Daily bump. · 98ef8f35
      gccadmin authored
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178431 138bc75d-0d04-0410-961f-82ee72b054a4
      98ef8f35
  2. 01 Sep, 2011 7 commits
    • tkoenig's avatar
      2011-09-01 Thomas Koenig <tkoenig@gcc.gnu.org> · af9285c3
      tkoenig authored
      	* generated/bessel_r4.c: Regenerated.
      	* generated/bessel_r8.c: Regenerated.
      	* generated/bessel_r10.c: Regenerated.
      	* generated/bessel_r16.c: Regenerated.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178425 138bc75d-0d04-0410-961f-82ee72b054a4
      af9285c3
    • paolo's avatar
      2011-09-01 Paolo Carlini <paolo.carlini@oracle.com> · 6161ed32
      paolo authored
      	* include/bits/hashtable.h (_Hashtable<>::_Hashtable(_Hashtable&&)):
      	Remove noexcept, the move constructor allocates memory; rearrange
      	the code in the body to consistently update __ht._M_rehash_policy
      	before using _M_next_bkt on it.
      	* include/debug/unordered_map: Adjust.
      	* include/debug/unordered_set: Likewise.
      	* include/profile/unordered_map: Likewise.
      	* include/profile/unordered_set: Likewise.
      	* testsuite/23_containers/unordered_map/cons/
      	noexcept_move_construct.cc: Remove.
      	* testsuite/23_containers/unordered_set/cons/
      	noexcept_move_construct.cc: Likewise.
      	* testsuite/23_containers/unordered_multimap/cons/
      	noexcept_move_construct.cc: Likewise.
      	* testsuite/23_containers/unordered_multiset/cons/
      	noexcept_move_construct.cc: Likewise.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178423 138bc75d-0d04-0410-961f-82ee72b054a4
      6161ed32
    • charlet's avatar
      * gcc-interface/Makefile.in: Clean up handling of x86 and x86-64 · 9e5f2534
      charlet authored
      	run-time files.      
      	* gcc-interface/Make-lang.in: Update dependencies.
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178421 138bc75d-0d04-0410-961f-82ee72b054a4
      9e5f2534
    • charlet's avatar
      Fix thinko. · f777b0af
      charlet authored
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178420 138bc75d-0d04-0410-961f-82ee72b054a4
      f777b0af
    • charlet's avatar
      Add missing prototypes. · 63b63ca2
      charlet authored
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178419 138bc75d-0d04-0410-961f-82ee72b054a4
      63b63ca2
    • charlet's avatar
      2011-09-01 Robert Dewar <dewar@adacore.com> · 38846e90
      charlet authored
      	* sem_ch3.adb, s-taprop-linux.adb, gnatls.adb: Minor reformatting.
      
      2011-09-01  Jose Ruiz  <ruiz@adacore.com>
      
      	* adaint.h (__gnat_cpu_free): Fix the name of this profile.
      	* adaint.c (__gnat_cpu_alloc, __gnat_cpu_alloc_size, __gnat_cpu_free,
      	__gnat_cpu_zero, __gnat_cpu_set): Create version of these subprograms
      	specific for systems where their glibc version does not define the
      	routines to handle dynamically allocated CPU sets.
      
      2011-09-01  Vincent Celier  <celier@adacore.com>
      
      	* prj-proc.adb, prj.ads, prj-nmsc.adb, prj-util.adb, prj-util.ads,
      	prj-env.adb: Implement inheritance of naming exceptions in extending
      	projects.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178418 138bc75d-0d04-0410-961f-82ee72b054a4
      38846e90
    • charlet's avatar
      2011-09-01 Romain Berrendonner <berrendo@adacore.com> · 96b86b94
      charlet authored
      	* gnatls.adb: Display simple message instead of content of
      	gnatlic.adl.
      
      2011-09-01  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* sem_ch3.adb: (Build_Derived_Record_Type) Remove the kludgy update of
      	access discriminant and anonymous access component scopes.
      	(Inherit_Component): Reuse the itype of an access discriminant
      	or anonymous access component by copying it in order to set the proper
      	scope. This is done only when the parent and the derived type
      	are in different scopes.
      	(Set_Anonymous_Etype): New routine.
      
      2011-09-01  Robert Dewar  <dewar@adacore.com>
      
      	* a-convec.adb: Minor reformatting throughout.
      
      
      
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178417 138bc75d-0d04-0410-961f-82ee72b054a4
      96b86b94