1. 13 Jun, 2014 28 commits
    • Allow overriding the libiberty used for building the LTO plugin. · 2a7a8388
      	lto-plugin/
      	* configure.ac (--with-libiberty): New configure option.
      	* configure: Regenerate.
      	* Makefile.am (libiberty, libiberty_noasan, libiberty_pic): New
      	variables.
      	(liblto_plugin_la_LIBADD, liblto_plugin_la_LDFLAGS)
      	(liblto_plugin_la_DEPENDENCIES): Use them.
      	* Makefile.in: Regenerate.
      
      From-SVN: r211642
      Thomas Schwinge committed
    • re PR ipa/61186 (./g++.dg/ipa/pr52939.C & valgrind & pointer_set_insert) · beb683ab
      2014-06-13  Martin Jambor  <mjambor@suse.cz>
      
      	PR ipa/61186
      	* ipa-devirt.c (possible_polymorphic_call_targets): Store NULL to
      	cache_token if returning early.
      
      From-SVN: r211641
      Martin Jambor committed
    • re PR go/52583 (Several new go testsuite failues on Solaris) · 2abacbae
      	PR go/52583
      runtime: Stop backtrace at a few recognized functions.
      
      On x86_64 Solaris the makecontext function does not properly
      indicate that it is at the top of the stack.  Attempting to
      unwind the stack past a call to makecontext tends to crash.
      This patch changes libgo to look for certain functions that
      are always found at the top of the stack, and to stop
      unwinding when it reaches one of those functions.  There is
      never anything interesting past these functions--that is,
      there is never any code written by the user.
      
      From-SVN: r211640
      Ian Lance Taylor committed
    • re PR go/61498 (Many 64-bit Go tests SEGV in scanblock) · eec40eac
      	PR go/61498
      runtime: Always set gcnext_sp to pointer-aligned address.
      
      The gcnext_sp field is only used on systems that do not use
      split stacks.  It marks the bottom of the stack for the
      garbage collector.  This change makes sure that the stack
      bottom is always aligned to a pointer value.
      
      Previously the garbage collector would align all the addresses
      that it scanned, but it now expects them to be aligned before
      scanning.
      
      From-SVN: r211639
      Ian Lance Taylor committed
    • rx.h (JUMP_ALIGN): Return the log value if user requested alignment is active. · f6c43824
      	* config/rx/rx.h (JUMP_ALIGN): Return the log value if user
      	requested alignment is active.
      	(LABEL_ALIGN): Likewise.
      	(LOOP_ALIGN): Likewise.
      
      From-SVN: r211638
      Nick Clifton committed
    • [multiple changes] · 783da331
      2014-06-13  Yannick Moy  <moy@adacore.com>
      
      	* exp_attr.adb Typo in comment.
      	* gnat1drv.adb (Adjust_Global_Switches): Force float overflow
      	checking in GNATprove_Mode.
      
      2014-06-13  Ed Schonberg  <schonberg@adacore.com>
      
      	* a-coinho-shared.adb, a-coinho-shared.ads: Update shared version.
      
      From-SVN: r211629
      Arnaud Charlet committed
    • sem_ch3.adb, [...]: Minor reformatting. · 129bbe43
      2014-06-13  Robert Dewar  <dewar@adacore.com>
      
      	* sem_ch3.adb, sem_ch9.adb, a-coinho.adb, a-coinho.ads: Minor
      	reformatting.
      
      From-SVN: r211628
      Robert Dewar committed
    • [multiple changes] · aca670a0
      2014-06-13  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* sem_prag.adb (Analyze_Pragma): Add local
      	variable Missing_Parentheses. Emit an error when a state
      	declaration with options appears without parentheses. Add a
      	guard to prevent a bogus error when a state declaration may be
      	interpreted as an option if a previous declaration with options
      	was not parenthesized.
      
      2014-06-13  Robert Dewar  <dewar@adacore.com>
      
      	* checks.adb: Validate_Alignment_Check_Warnings: New procedure
      	(Apply_Address_Clause_Check): Make Aligment_Warnings table entry.
      	* checks.ads (Alignment_Warnings_Record): New type.
      	(Alignment_Warnings): New table
      	(Validate_Alignment_Check_Warnings): New procedure.
      	* errout.adb (Delete_Warning_And_Continuations): New procedure
      	(Error_Msg_Internal): Set Warning_Msg (Delete_Warning): Handle
      	Warnings_Treated_As_Errors (Finalize): Minor reformatting
      	* errout.ads (Warning_Msg): New variable
      	(Delete_Warning_And_Continuations): New procedure
      	* erroutc.adb (Delete_Msg): Handle Warnings_Treated_As_Errors count.
      	* gnat1drv.adb (Post_Compilation_Validation_Checks): New procedure.
      
      2014-06-13  Ed Schonberg  <schonberg@adacore.com>
      
      	* a-coinho.adb, a-coinho.ads: Add Reference machinery.
      
      From-SVN: r211627
      Arnaud Charlet committed
    • [multiple changes] · d2adb45e
      2014-06-13  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* errout.adb (SPARK_Msg_N): New routine.
      	(SPARK_Msg_NE): New routine.
      	* errout.ads Add a section on SPARK-related error routines.
      	(SPARK_Msg_N): New routine.
      	(SPARK_Msg_NE): New routine.
      	* sem_ch13.adb (Analyze_Aspect_Specifications): Ensure that
      	pragma Abstract_State is always inserted after SPARK_Mode.
      	(Insert_After_SPARK_Mode): New routine.
      	* sem_prag.adb (Analyze_Abstract_State,
      	Analyze_Constituent, Analyze_External_Property,
      	Analyze_External_Property_In_Decl_Part, Analyze_Global_Item,
      	Analyze_Global_List, Analyze_Initialization_Item,
      	Analyze_Initialization_Item_With_Inputs, Analyze_Input_Item,
      	Analyze_Input_List, Analyze_Input_Output, Analyze_Part_Of,
      	Analyze_Pragma, Analyze_Refined_Depends_In_Decl_Part,
      	Analyze_Refined_Global_In_Decl_Part,
      	Analyze_Refined_State_In_Decl_Part, Analyze_Refinement_Clause,
      	Check_Aspect_Specification_Order, Check_Constituent_Usage,
      	Check_Declaration_Order, Check_Dependency_Clause,
      	Check_Duplicate_Mode, Check_Duplicate_Option,
      	Check_Duplicate_Property, Check_External_Properties,
      	Check_External_Property, Check_Function_Return,
      	Check_Matching_Constituent, Check_Matching_State,
      	Check_Mode_Restriction_In_Enclosing_Context,
      	Check_Mode_Restriction_In_Function, Check_Refined_Global_Item,
      	Check_State_And_Constituent_Use, Create_Or_Modify_Clause,
      	Has_Extra_Parentheses, Inconsistent_Mode_Error,
      	Match_Error, Propagate_Part_Of, Report_Extra_Clauses,
      	Report_Extra_Constituents_In_List, Report_Extra_Inputs,
      	Report_Unrefined_States, Report_Unused_Constituents,
      	Report_Unused_States, Role_Error, Usage_Error):
      	Convert Error_Msg_XXX calls to SPARK_Msg_XXX calls
      	to report semantic errors only when SPARK_Mode is on.
      	(Analyze_Depends_In_Decl_Part): Do not check the syntax of
      	pragma Depends explicitly, this is now done by the analysis.
      	(Analyze_Global_In_Decl_List): Do not check the syntax of
      	pragma Global explicitly, this is now done by the analysis.
      	(Analyze_Initializes_In_Decl_Part): Do not check the syntax of
      	pragma Initializes explicitly, this is now done by the analysis.
      	(Analyze_Part_Of): Do not check the syntax of the encapsulating
      	state, this is now done by the analysis.
      	(Analyze_Pragma): Do
      	not check the syntax of a state declaration, this is now done
      	by the analysis.
      	(Analyze_Refined_Depends_In_Decl_Part): Do not
      	check the syntax of pragma Refined_Depends explicitly, this is now
      	done by the analysis.
      	(Analyze_Refined_Global_In_Decl_Part): Do
      	not check the syntax of pragma Refined_Global explicitly, this is
      	now done by the analysis.
      	(Analyze_Refined_State_In_Decl_Part):
      	Do not check the syntax of pragma Refined_State explicitly, this
      	is now done by the analysis.
      	(Check_Dependence_List_Syntax): Removed.
      	(Check_Global_List_Syntax): Removed.
      	(Check_Initialization_List_Syntax): Removed.
      	(Check_Item_Syntax): Removed.
      	(Check_Missing_Part_Of): Do not consider items from an instance.
      	(Check_Refinement_List_Syntax): Removed.
      	(Check_State_Declaration_Syntax): Removed.
      	(Collect_Global_List): Do not raise Program_Error when the input is
      	malformed.
      	(Process_Global_List): Do not raise Program_Error when the input
      	is malformed.
      	* sem_ch13.adb: Minor reformatting.
      2014-06-13  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch3.adb (Find_Type_Name): Diagnose a private type completion
      	that is an interface definition with an interface list.
      	(Process_Full_View): Move error message on missmatched interfaces
      	between views to the declaration of full view, for clarity.
      	* sem_ch9.adb (Check_Interfaces): Move error message to full view,
      	for clarity.
      
      From-SVN: r211626
      Arnaud Charlet committed
    • tree-ssa-pre.c (eliminate_dom_walker::before_dom_children): Rewrite to propagate… · 6aa4c5b6
      tree-ssa-pre.c (eliminate_dom_walker::before_dom_children): Rewrite to propagate the VN result into all uses where possible and to remove...
      
      2014-06-13  Richard Biener  <rguenther@suse.de>
      
      	* tree-ssa-pre.c (eliminate_dom_walker::before_dom_children):
      	Rewrite to propagate the VN result into all uses where
      	possible and to remove stmts becoming dead because of that.
      	(eliminate): Generalize stmt removal handling, remove in
      	reverse dominator order to support proper debug stmt
      	generation.  Update stmts before removing stmts.
      	* tree-ssa-propagate.c (propagate_tree_value): Remove
      	bogus assert.
      
      	* c-c++-common/pr46562-2.c: Adjust.
      	* g++.dg/tree-ssa/pr8781.C: Likewise.
      	* gcc.dg/tree-ssa/ssa-fre-24.c: Likewise.
      	* gcc.dg/tree-ssa/ssa-fre-25.c: Likewise.
      	* gcc.dg/tree-ssa/ssa-fre-32.c: Likewise.
      	* gcc.dg/tree-ssa/ssa-fre-39.c: Likewise.
      	* gcc.dg/tree-ssa/ssa-pre-16.c: Likewise.
      
      From-SVN: r211625
      Richard Biener committed
    • [multiple changes] · 80298c3b
      2014-06-13  Robert Dewar  <dewar@adacore.com>
      
      	* exp_attr.adb (Expand_N_Attribute_Reference, case Pred/Succ): Change
      	reason to Overflow.
      
      2014-06-13  Robert Dewar  <dewar@adacore.com>
      
      	* makeutl.adb: Minor reformatting.
      
      2014-06-13  Gail Schenker  <schenker@adacore.com>
      
      	* debug.adb, sem_eval.adb (Why_Not_Static): Remove temporary code and
      	associated flag (d.z), no longer needed.
      
      2014-06-13  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch13.adb (Analyze_Aspect_Specifications): For Import and
      	Export aspects, do not check whether a corresponding Convention
      	aspect has been specified. Convention is optional in Ada2012,
      	and defaults to Convention_Ada.
      
      From-SVN: r211624
      Arnaud Charlet committed
    • [multiple changes] · 0083dd66
      2014-06-13  Eric Botcazou  <ebotcazou@adacore.com>
      
      	* checks.adb (Apply_Address_Clause_Check): Only issue the new
      	warning if the propagation warning is issued.
      
      2014-06-13  Thomas Quinot  <quinot@adacore.com>
      
      	* exp_ch4.adb: Minor reformatting.
      
      2014-06-13  Robert Dewar  <dewar@adacore.com>
      
      	* exp_attr.adb (Expand_N_Attribute_Reference, case Pred):
      	Handle float range check case (Expand_N_Attribute_Reference,
      	case Succ): Handle float range check case.
      	* sem_attr.adb (Analyze_Attribute, case Pred/Succ): Handle float
      	range check case.
      
      2014-06-13  Vincent Celier  <celier@adacore.com>
      
      	* makeutl.ads (Compute_Builder_Switches): Change name of
      	parameter Root_Environment to Env.
      	* prj-conf.adb (Check_Switches): Call Locate_Runtime with the
      	Env parameter of procedure Get_Or_Create_Configuration_File.
      	(Locate_Runtime): Call Find_Rts_In_Path with the Project_Path
      	of new parameter Env.
      	* prj-conf.ads (Locate_Runtime): New parameter Env of type
      	Prj.Tree.Environment.
      
      2014-06-13  Robert Dewar  <dewar@adacore.com>
      
      	* gnat_rm.texi: Minor comment clarification for Check_Float_Overflow.
      
      From-SVN: r211623
      Arnaud Charlet committed
    • exp_attr.adb, [...]: Minor reformatting. · 890f1954
      2014-06-13  Robert Dewar  <dewar@adacore.com>
      
      	* exp_attr.adb, exp_ch9.adb, lib-writ.adb, g-comlin.adb: Minor
      	reformatting.
      	* sem_attr.adb: Minor code reformatting and simplification.
      	* checks.adb: Fix minor typo.
      
      From-SVN: r211622
      Robert Dewar committed
    • [multiple changes] · 4de10025
      2014-06-13  Emmanuel Briot  <briot@adacore.com>
      
      	* g-comlin.adb (Get_Argument): fix expansion
      	of command line arguments (e.g. "*.adb") when using a custom
      	parser. The parser was not passed to the recursive call, and
      	thus we were trying to do the expansion on the default command
      	line parser.
      
      2014-06-13  Thomas Quinot  <quinot@adacore.com>
      
      	* exp_ch9.adb: Minor reformatting.
      
      2014-06-13  Ed Schonberg  <schonberg@adacore.com>
      
      	* exp_attr.adb (Expand_N_Attribute_Reference, case 'Old):
      	To determine whether the attribute should be expanded, examine
      	whether the enclosing postcondition pragma is to be checked,
      	rather than using the internal flag Assertions_Enabled.
      
      From-SVN: r211621
      Arnaud Charlet committed
    • [multiple changes] · 17a35641
      2014-06-13  Ben Brosgol  <brosgol@adacore.com>
      
      	* gnat_rm.texi: Minor fixes.
      	* gnat_ugn.texi: Added a missing "@itemize".
      
      2014-06-13  Robert Dewar  <dewar@adacore.com>
      
      	* debug.adb: Remove -gnatd.1 flag documentation.
      	* layout.adb (Layout_Type): Remove special handling of size
      	for anonymous access type.
      	* sem_ch3.adb (Replace_Type): Remove special handling of size
      	for anonymous access type.
      
      From-SVN: r211620
      Arnaud Charlet committed
    • debug.adb: Document debug flag -gnatd.1. · 19634e40
      2014-06-13  Robert Dewar  <dewar@adacore.com>
      
      	* debug.adb: Document debug flag -gnatd.1.
      	* layout.adb (Layout_Type): Size change for anonymous access
      	types under -gnatd.1.
      	* sem_ch3.adb (Replace_Type): Size change for anonymous access
      	types under -gnatd.1.
      
      From-SVN: r211619
      Robert Dewar committed
    • [multiple changes] · 446ebdbb
      2014-06-13  Robert Dewar  <dewar@adacore.com>
      
      	* layout.adb (Layout_Type): Anonymous access types designating
      	unconstrained arrays are always thin pointers.
      	* sem_ch3.adb (Replace_Type): Anonymous access types designating
      	unconstrained arrays are always thin pointers.
      
      2014-06-13  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_attr.adb (Analyze_Attribute): Use Check_Parameterless_Call
      	to resolve the prefix of an attribute that is an entity name
      	and may be a parameterless call.  Minor code reorganization.
      
      From-SVN: r211618
      Arnaud Charlet committed
    • lib.ads, [...] (Is_Compiler_Unit): Removed. · c86cf714
      2014-06-13  Robert Dewar  <dewar@adacore.com>
      
      	* lib.ads, lib.adb, lib-writ.adb, lib-load.adb (Is_Compiler_Unit):
      	Removed.
      	* opt.ads (Compiler_Unit): New flag.
      	* par-ch5.adb (Test_Statement_Required): Call Check_Compiler_Unit
      	for null statement sequence (not allowed in compiler unit).
      	* par-prag.adb (Prag): Handle Compiler_Unit[_Warning] during
      	parsing.
      	* restrict.ads, restrict.adb (Check_Compiler_Unit): New version and new
      	calling sequence.
      	* sem_ch11.adb, sem_ch3.adb, sem_ch4.adb: New calling sequence for
      	Check_Compiler_Unit.
      	* sem_ch6.adb (Analyze_Extended_Return_Statement): Call
      	Check_Compiler_Unit (this construct is not allowed in compiler
      	units).
      	* sem_prag.adb (Analyze_Pragma, case Compiler_Unit[_Warning]):
      	Set Opt.Compiler_Unit.
      
      From-SVN: r211617
      Robert Dewar committed
    • [multiple changes] · 65ede005
      2014-06-13  Geert Bosch  <bosch@adacore.com>
      
      	* gnat_rm.texi, s-tasinf-solaris.ads, sem_prag.adb, gnat_ugn.texi,
      	s-tasinf-mingw.ads, s-tasinf.ads, s-tasinf-linux.ads,
      	s-tasinf-vxworks.ads: Make Task_Info pragma and package obsolescent.
      
      2014-06-13  Robert Dewar  <dewar@adacore.com>
      
      	* s-tasini.adb, s-tarest.adb, s-taprob.adb: Minor reformatting.
      
      From-SVN: r211616
      Arnaud Charlet committed
    • freeze.adb (Freeze_Entity): Remove the check concerning volatile types in SPARK… · c00b86e2
      freeze.adb (Freeze_Entity): Remove the check concerning volatile types in SPARK as it is poorly placed and...
      
      2014-06-13  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* freeze.adb (Freeze_Entity): Remove the check concerning volatile
      	types in SPARK as it is poorly placed and poorly formulated. The
      	check was flagging ALL volatile entities as illegal in SPARK.
      	* sem_prag.adb (Process_Atomic_Shared_Volatile): Flag volatile
      	types as illegal in SPARK.
      
      From-SVN: r211615
      Hristian Kirtchev committed
    • [multiple changes] · e3a325f2
      2014-06-13  Robert Dewar  <dewar@adacore.com>
      
      	* sem_cat.adb: Minor reformatting.
      
      2014-06-13  Yannick Moy  <moy@adacore.com>
      
      	* sem_prag.adb (Analyze_Pragma/Post_Class): Fix typo.
      
      2014-06-13  Arnaud Charlet  <charlet@adacore.com>
      
      	* gnat_rm.texi: Add detail on SPARK_05 restriction.
      
      2014-06-13  Bob Duff  <duff@adacore.com>
      
      	* s-solita.adb (Get_Sec_Stack_Addr, Init_Tasking_Soft_Links):
      	Add assertions requiring the secondary stack to be initialized.
      	* s-solita.ads (Init_Tasking_Soft_Links): Comment.
      	* s-taprob.adb, s-tarest.adb, s-tasini.adb (elab code): Make sure the
      	secondary stack is initialized before calling Init_Tasking_Soft_Links,
      	by adding pragmas Elaborate_Body.
      
      2014-06-13  Thomas Quinot  <quinot@adacore.com>
      
      	* sem_ch13.adb (Analyze_Stream_TSS_Definition): Remove temporary
      	kludge disabling new legality check.
      
      From-SVN: r211614
      Arnaud Charlet committed
    • [multiple changes] · aa611332
      2014-06-13  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* freeze.adb (Freeze_Record_Type): Remove checks related to SPARK
      	volatile types.
      	(Freeze_Type): Volatile types are now illegal in SPARK.
      
      2014-06-13  Robert Dewar  <dewar@adacore.com>
      
      	* aspects.ads, aspects.adb: Add aspect Thread_Local_Storage.
      	* gnat_rm.texi: Document aspect Thread_Local_Storage.
      
      2014-06-13  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_cat.adb (Validate_Static_Object_Name): A constant whose
      	value is a temporary that renames an aggregate is legal in a
      	preelaborated unit. Illegalities, if any will be detected in
      	the aggregate components.
      
      2014-06-13  Ed Schonberg  <schonberg@adacore.com>
      
      	* einfo.ads: Minor reformatting an comment expansion.
      
      From-SVN: r211613
      Arnaud Charlet committed
    • [multiple changes] · 5af638c8
      2014-06-13  Robert Dewar  <dewar@adacore.com>
      
      	* back_end.ads, back_end.adb: Make_Id, Make_SC, Set_RND are moved to
      	Tbuild.
      	* tbuild.ads, tbuild.adb: Make_Id, Make_SC, Set_RND are moved here from
      	Back_End.
      	* gnat1drv.adb: Make_Id, Make_SC, Set_RND are moved to Tbuild
      	* sem_warn.adb: Minor reformatting.
      
      2014-06-13  Doug Rupp  <rupp@adacore.com>
      
      	* adaint.c (__gnat_open_new_temp) [VMS]: Open binary
      	files with rfm=udf.
      
      From-SVN: r211612
      Arnaud Charlet committed
    • [multiple changes] · 7f2c8954
      2014-06-13  Yannick Moy  <moy@adacore.com>
      
      	* sem_warn.adb (Check_Unset_References): Take
      	case of Refined_Post into account in Within_Postcondition check.
      
      2014-06-13  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* freeze.adb (Freeze_Record_Type): Volatile types are not allowed in
      	SPARK.
      
      2014-06-13  Yannick Moy  <moy@adacore.com>
      
      	* sem_ch13.adb (Analyze_Aspect_Specifications/Aspect_Import,
      	Aspect_Export): Consider that variables may be set outside the program.
      
      From-SVN: r211611
      Arnaud Charlet committed
    • [multiple changes] · 28bc3323
      2014-06-13  Robert Dewar  <dewar@adacore.com>
      
      	* back_end.adb (Make_Id): New function.
      	(Make_SC): New function.
      	(Set_RND): New procedure.
      	* back_end.ads (Make_Id): New function.
      	(Make_SC): New function.
      	(Set_RND): New procedure.
      	* einfo.ads: Minor comment updates.
      	* frontend.adb: Move Atree.Initialize call to Gnat1drv.
      	* gnat1drv.adb (Gnat1drv): New calling sequence for
      	Get_Target_Parameters.
      	(Gnat1drv): Move Atree.Initialize here from Frontend.
      	* targparm.adb (Get_Target_Parameters): New calling
      	sequence (Get_Target_Parameters): Handle pragma Restriction
      	(No_Dependence,..)
      	* targparm.ads (Get_Target_Parameters): New calling sequence.
      
      2014-06-13  Gary Dismukes  <dismukes@adacore.com>
      
      	* sem_prag.adb (Process_Import_Or_Interface): Exit the homonym
      	loop if the pragma does not come from source, so that an implicit
      	pragma Import only applies to the first declaration, avoiding
      	possible conflicts with earlier explicit and implicit declarations
      	due to multiple Provide_Shift_Operators pragmas.
      	(Set_Imported): Remove previous fix that bypassed pragma duplication
      	error.
      	* gnat_rm.texi: Change 'equivalent' to 'similar' in description
      	of Provide_Shift_Operators.
      
      From-SVN: r211610
      Arnaud Charlet committed
    • re PR tree-optimization/61375 (ICE in int_cst_value at -O3 in tree-ssa pass when… · ca6cbdca
      re PR tree-optimization/61375 (ICE in int_cst_value at -O3 in tree-ssa pass when compiling a reference to an __int128 value)
      
      2014-06-13  Thomas Preud'homme  <thomas.preudhomme@arm.com>
      
          gcc/
          PR tree-optimization/61375
          * tree-ssa-math-opts.c (init_symbolic_number): Cancel optimization if
          symbolic number cannot be represented in an uint64_t.
          (find_bswap_or_nop_1): Likewise.
      
          gcc/testsuite/
          PR tree-optimization/61375
          * gcc.c-torture/execute/pr61375-1.c: New test.
      
      From-SVN: r211604
      Thomas Preud'homme committed
    • Daily bump. · 9aa1bac5
      From-SVN: r211603
      GCC Administrator committed
  2. 12 Jun, 2014 12 commits
    • symtab.c (symtab_node::reset_section): New method. · 24e49ea0
      	* symtab.c (symtab_node::reset_section): New method.
      	* cgraph.c (cgraph_node_cannot_be_local_p_1): Accept non-local
      	for localization.
      	* cgraph.h (reset_section): Declare.
      	* ipa-inline-analysis.c (do_estimate_growth): Check for comdat groups;
      	do not consider comdat locals.
      	* cgraphclones.c (set_new_clone_decl_and_node_flags): Get section
      	for new symbol.
      	* ipa-visiblity.c (cgraph_externally_visible_p): Cleanup.
      	(update_visibility_by_resolution_info): Consider UNDEF; fix checking;
      	reset sections of symbols dragged out of the comdats.
      	(function_and_variable_visibility): Reset sections of localized symbols.
      
      From-SVN: r211600
      Jan Hubicka committed
    • tree-vect-data-refs.c (vect_can_force_dr_alignment_p): Reorg to use symtab and… · 6ad386b7
      tree-vect-data-refs.c (vect_can_force_dr_alignment_p): Reorg to use symtab and decl_binds_to_current_def_p
      
      	* tree-vect-data-refs.c (vect_can_force_dr_alignment_p): Reorg
      	to use symtab and decl_binds_to_current_def_p
      	* tree-vectorizer.c (increase_alignment): Increase alignment
      	of alias target, too.
      
      From-SVN: r211599
      Jan Hubicka committed
    • re PR middle-end/61486 (ICE with #pragma omp teams) · 9cf32741
      	PR middle-end/61486
      	* gimplify.c (struct gimplify_omp_ctx): Add distribute field.
      	(gimplify_adjust_omp_clauses): Don't or in GOVD_LASTPRIVATE
      	if outer combined construct is distribute.
      	(gimplify_omp_for): For OMP_DISTRIBUTE set
      	gimplify_omp_ctxp->distribute.
      	* omp-low.c (scan_sharing_clauses) <case OMP_CLAUSE_SHARED>: For
      	GIMPLE_OMP_TEAMS, if decl isn't global in outer context, record
      	mapping into decl map.
      c-family/
      	* c-omp.c (c_omp_split_clauses): Don't crash on firstprivate in
      	#pragma omp target teams or
      	#pragma omp {,target }teams distribute simd.
      testsuite/
      	* c-c++-common/gomp/pr61486-1.c: New test.
      	* c-c++-common/gomp/pr61486-2.c: New test.
      
      From-SVN: r211596
      Jakub Jelinek committed
    • Support -Wabi warning about backward compatibility. · 62984918
      gcc/c-family/
      	* c.opt (Wabi=, fabi-compat-version): New.
      	* c-opts.c (c_common_handle_option): Handle -Wabi=.
      	(c_common_post_options): Handle flag_abi_compat_version default.
      	Disallow -fabi-compat-version=1.
      	* c-common.h (abi_version_crosses): New.
      gcc/cp/
      	* call.c (convert_arg_to_ellipsis): Use abi_version_crosses.
      	* cvt.c (type_promotes_to): Likewise.
      	* mangle.c (write_type, write_expression): Likewise.
      	(write_name, write_template_arg): Likewise.
      	(mangle_decl): Make alias based on flag_abi_compat_version.
      	Emit -Wabi warning here.
      	(finish_mangling_internal): Not here.  Drop warn parm.
      	(finish_mangling_get_identifier, finish_mangling): Adjust.
      	(mangle_type_string, mangle_special_for_type): Adjust.
      	(mangle_ctor_vtbl_for_type, mangle_thunk): Adjust.
      	(mangle_guard_variable, mangle_tls_init_fn): Adjust.
      	(mangle_tls_wrapper_fn, mangle_ref_init_variable): Adjust.
      
      From-SVN: r211594
      Jason Merrill committed
    • * common.opt (fabi-version): Change default to 0. · ca0e51a0
      From-SVN: r211593
      Jason Merrill committed
    • toplev.c (process_options): Reject -fabi-version=1. · 90d84934
      gcc/
      	* toplev.c (process_options): Reject -fabi-version=1.
      gcc/cp/
      	* call.c (build_operator_new_call): Remove -fabi-version=1 support.
      	* class.c (walk_subobject_offsets, include_empty_classes): Likewise.
      	(layout_nonempty_base_or_field, end_of_class): Likewise.
      	(layout_empty_base, build_base_field, layout_class_type): Likewise.
      	(is_empty_class, add_vcall_offset_vtbl_entries_1): Likewise.
      	(layout_virtual_bases): Likewise.
      	* decl.c (compute_array_index_type): Likewise.
      	* mangle.c (write_mangled_name, write_prefix): Likewise.
      	(write_template_prefix, write_integer_cst, write_expression): Likewise.
      	(write_template_arg, write_array_type): Likewise.
      	* method.c (lazily_declare_fn): Likewise.
      	* rtti.c (get_pseudo_ti_index): Likewise.
      	* typeck.c (comp_array_types): Likewise.
      
      From-SVN: r211592
      Jason Merrill committed
    • gfortran.h (gfc_copy_formal_args_intr): Update prototype. · 8fdcb6a9
      2014-06-12  Tobias Burnus  <burnus@net-b.de>
      
              * gfortran.h (gfc_copy_formal_args_intr): Update prototype.
              * symbol.c (gfc_copy_formal_args_intr): Handle the case
              that absent optional arguments should be ignored.
              * trans-intrinsic.c (gfc_get_symbol_for_expr): Ditto.
              (gfc_conv_intrinsic_funcall,
              conv_generic_with_optional_char_arg): Update call.
              * resolve.c (gfc_resolve_intrinsic): Ditto.
      
      From-SVN: r211587
      Tobias Burnus committed
    • re PR tree-optimization/61009 (Incorrect jump threading in dom) · 551a6341
              PR tree-optimization/61009
      	* tree-ssa-threadedge.c (thread_through_normal_block): Correct return
      	value when we stop processing a block due to problematic PHIs.
      
      From-SVN: r211586
      Jeff Law committed
    • crontab: Remove 4.7 snapshot entry. · f9690014
      2014-06-12  Richard Biener  <rguenther@suse.de>
      
              * crontab: Remove 4.7 snapshot entry.
              * update_version_svn: Update IGNORE_BRANCHES.
      
      From-SVN: r211522
      Richard Biener committed
    • [AArch64] Remove from arm_neon.h functions not in the spec · 5eba0999
        	* config/aarch64/arm_neon.h (vmlaq_n_f64, vmlsq_n_f64, vrsrtsq_f64,
      	vcge_p8, vcgeq_p8, vcgez_p8, vcgez_u8, vcgez_u16, vcgez_u32, vcgez_u64,
      	vcgezq_p8, vcgezq_u8, vcgezq_u16, vcgezq_u32, vcgezq_u64, vcgezd_u64,
      	vcgt_p8, vcgtq_p8, vcgtz_p8, vcgtz_u8, vcgtz_u16, vcgtz_u32, vcgtz_u64,
      	vcgtzq_p8, vcgtzq_u8, vcgtzq_u16, vcgtzq_u32, vcgtzq_u64, vcgtzd_u64,
      	vcle_p8, vcleq_p8, vclez_p8, vclez_u64, vclezq_p8, vclezd_u64, vclt_p8,
      	vcltq_p8, vcltz_p8, vcltzq_p8, vcltzd_u64): Remove functions as they are
      	not in the spec.
      
      From-SVN: r211503
      Alan Lawrence committed
    • PR/59843 Fix ICE on singleton vector of float on AArch64. · ad7d90cc
      gcc/ChangeLog:
      
      	* config/aarch64/aarch64-modes.def: Add V1DFmode.
      	* config/aarch64/aarch64.c (aarch64_vector_mode_supported_p):
      	Support V1DFmode.
      
      gcc/testsuite/ChangeLog:
      
      	* gcc.dg/vect/vect-singleton_1.c: New file.
      
      From-SVN: r211502
      Alan Lawrence committed
    • utils.c (process_attributes): Pass string pointer directly to set_decl_section_name. · 0ab75824
      	* gcc-interface/utils.c (process_attributes) <ATTR_LINK_SECTION>: Pass
      	string pointer directly to set_decl_section_name.
      
      From-SVN: r211501
      Jan Hubicka committed