summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* 2014-06-13 Vladimir Makarov <vmakarov@redhat.com>vmakarov2014-06-133-1/+32
| | | | | | | | | | * lra-assign.c (assign_by_spills): Add code to assign vector regs to inheritance pseudos. * config/i386/i386.c (ix86_spill_class): Add check on NO_REGS. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211655 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/bergner2014-06-1311-42/+58
| | | | | | | | | | | | | | | | | | | | | | | | | | | PR target/61415 * config/rs6000/rs6000-builtin.def (BU_MISC_1): Delete. (BU_MISC_2): Rename to ... (BU_LDBL128_2): ... this. * config/rs6000/rs6000.h (RS6000_BTM_LDBL128): New define. (RS6000_BTM_COMMON): Add RS6000_BTM_LDBL128. * config/rs6000/rs6000.c (rs6000_builtin_mask_calculate): Handle RS6000_BTM_LDBL128. (rs6000_invalid_builtin): Add long double 128-bit builtin support. (rs6000_builtin_mask_names): Add RS6000_BTM_LDBL128. * config/rs6000/rs6000.md (unpacktf_0): Remove define)expand. (unpacktf_1): Likewise. * doc/extend.texi (__builtin_longdouble_dw0): Remove documentation. (__builtin_longdouble_dw1): Likewise. * doc/sourcebuild.texi (longdouble128): Document. gcc/testsuite/ PR target/61415 * lib/target-supports.exp (check_effective_target_longdouble128): New. * gcc.target/powerpc/pack02.c: Use it. * gcc.target/powerpc/tfmode_off.c: Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211653 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Jeff Law <law@redhat.com>law2014-06-134-4/+34
| | | | | | | | | | | | | | | PR rtl-optimization/61094 PR rtl-optimization/61446 * ree.c (combine_reaching_defs): Get the mode for the copy from the extension insn rather than the defining insn. 2014-06-13 Ilya Enkovich <ilya.enkovich@intel.com> PR rtl-optimization/61094 PR rtl-optimization/61446 * gcc.target/i386/pr61446.c : New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211649 138bc75d-0d04-0410-961f-82ee72b054a4
* Emit linkage names for inlined functions.dehao2014-06-134-3/+10
| | | | | | | | * dwarf2out.c (add_linkage_name): Emit more linkage name. * g++.dg/debug/dwarf2/cdtor-1.C: Update test result. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211647 138bc75d-0d04-0410-961f-82ee72b054a4
* * config-ml.in: Robustify ac_configure_args parsing.tschwinge2014-06-132-30/+40
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211645 138bc75d-0d04-0410-961f-82ee72b054a4
* Non-host system configuration for linker plugins.tschwinge2014-06-137-37/+1133
| | | | | | | | | | | | | | | | | | * configure.ac (--enable-linker-plugin-configure-flags) (--enable-linker-plugin-flags): New flags. (configdirs): Conditionally add libiberty-linker-plugin. * configure: Regenerate. * Makefile.def (host_modules): Add libiberty-linker-plugin. (host_modules) <lto-plugin>: Pay attention to @extra_linker_plugin_flags@ and @extra_linker_plugin_configure_flags@. (all-lto-plugin): Also depend on all-libiberty-linker-plugin. * Makefile.in: Regenerate. gcc/ * doc/install.texi (--enable-linker-plugin-configure-flags) (--enable-linker-plugin-flags): Document new flags. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211644 138bc75d-0d04-0410-961f-82ee72b054a4
* Allow for overriding a module's srcdir.tschwinge2014-06-133-1059/+1167
| | | | | | | | | * Makefile.tpl (configure-[+prefix+][+module+]) (configure-stage[+id+]-[+prefix+][+module+]): If specified, use "module_srcdir" instead of "module" for locating a module's srcdir. * Makefile.in: Regenerate. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211643 138bc75d-0d04-0410-961f-82ee72b054a4
* Allow overriding the libiberty used for building the LTO plugin.tschwinge2014-06-135-31/+64
| | | | | | | | | | | | | 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211642 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Martin Jambor <mjambor@suse.cz>jamborm2014-06-132-0/+12
| | | | | | | | | | PR ipa/61186 * ipa-devirt.c (possible_polymorphic_call_targets): Store NULL to cache_token if returning early. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211641 138bc75d-0d04-0410-961f-82ee72b054a4
* PR go/52583ian2014-06-131-0/+26
| | | | | | | | | | | | | | | | 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211640 138bc75d-0d04-0410-961f-82ee72b054a4
* PR go/61498ian2014-06-131-5/+2
| | | | | | | | | | | | | | | | 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211639 138bc75d-0d04-0410-961f-82ee72b054a4
* * config/rx/rx.h (JUMP_ALIGN): Return the log value if usernickc2014-06-132-3/+10
| | | | | | | | | requested alignment is active. (LABEL_ALIGN): Likewise. (LOOP_ALIGN): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211638 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc.dg/vect/vect-singleton_1.c: Remove duplicate of test body.alalaw012014-06-132-38/+4
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211635 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Yannick Moy <moy@adacore.com>charlet2014-06-135-8/+162
| | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211629 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Robert Dewar <dewar@adacore.com>charlet2014-06-135-25/+39
| | | | | | | | | * sem_ch3.adb, sem_ch9.adb, a-coinho.adb, a-coinho.ads: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211628 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Hristian Kirtchev <kirtchev@adacore.com>charlet2014-06-1310-64/+437
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211627 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Hristian Kirtchev <kirtchev@adacore.com>charlet2014-06-137-615/+377
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211626 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Richard Biener <rguenther@suse.de>rguenth2014-06-1311-334/+383
| | | | | | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211625 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Robert Dewar <dewar@adacore.com>charlet2014-06-136-274/+192
| | | | | | | | | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211624 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Eric Botcazou <ebotcazou@adacore.com>charlet2014-06-1311-25/+124
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211623 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Robert Dewar <dewar@adacore.com>charlet2014-06-137-112/+96
| | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211622 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Emmanuel Briot <briot@adacore.com>charlet2014-06-134-20/+36
| | | | | | | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211621 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Ben Brosgol <brosgol@adacore.com>charlet2014-06-136-40/+27
| | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211620 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Robert Dewar <dewar@adacore.com>charlet2014-06-134-3/+42
| | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211619 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Robert Dewar <dewar@adacore.com>charlet2014-06-134-60/+77
| | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211618 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Robert Dewar <dewar@adacore.com>charlet2014-06-1315-50/+94
| | | | | | | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211617 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Geert Bosch <bosch@adacore.com>charlet2014-06-1312-65/+85
| | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211616 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Hristian Kirtchev <kirtchev@adacore.com>charlet2014-06-133-8/+16
| | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211615 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Robert Dewar <dewar@adacore.com>charlet2014-06-1310-22/+176
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211614 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Hristian Kirtchev <kirtchev@adacore.com>charlet2014-06-137-36/+70
| | | | | | | | | | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211613 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Robert Dewar <dewar@adacore.com>charlet2014-06-138-61/+79
| | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211612 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Yannick Moy <moy@adacore.com>charlet2014-06-134-13/+36
| | | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211611 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Robert Dewar <dewar@adacore.com>charlet2014-06-1310-92/+283
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211610 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-13 Thomas Preud'homme <thomas.preudhomme@arm.com>thopre012014-06-134-0/+51
| | | | | | | | | | | | | | 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211604 138bc75d-0d04-0410-961f-82ee72b054a4
* Daily bump.gccadmin2014-06-131-1/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211603 138bc75d-0d04-0410-961f-82ee72b054a4
* * symtab.c (symtab_node::reset_section): New method.hubicka2014-06-127-19/+57
| | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211600 138bc75d-0d04-0410-961f-82ee72b054a4
* * tree-vect-data-refs.c (vect_can_force_dr_alignment_p): Reorghubicka2014-06-123-12/+45
| | | | | | | | | to use symtab and decl_binds_to_current_def_p * tree-vectorizer.c (increase_alignment): Increase alignment of alias target, too. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211599 138bc75d-0d04-0410-961f-82ee72b054a4
* PR middle-end/61486jakub2014-06-128-5/+521
| | | | | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211596 138bc75d-0d04-0410-961f-82ee72b054a4
* Support -Wabi warning about backward compatibility.jason2014-06-1222-134/+326
| | | | | | | | | | | | | | | | | | | | | | | | 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211594 138bc75d-0d04-0410-961f-82ee72b054a4
* * common.opt (fabi-version): Change default to 0.jason2014-06-122-1/+6
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211593 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/jason2014-06-1235-815/+135
| | | | | | | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211592 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-12 Tobias Burnus <burnus@net-b.de>burnus2014-06-125-8/+38
| | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211587 138bc75d-0d04-0410-961f-82ee72b054a4
* PR tree-optimization/61009law2014-06-122-2/+11
| | | | | | | * tree-ssa-threadedge.c (thread_through_normal_block): Correct return value when we stop processing a block due to problematic PHIs. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211586 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-06-12 Richard Biener <rguenther@suse.de>rguenth2014-06-123-2/+6
| | | | | | | | * crontab: Remove 4.7 snapshot entry. * update_version_svn: Update IGNORE_BRANCHES. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211522 138bc75d-0d04-0410-961f-82ee72b054a4
* [AArch64] Remove from arm_neon.h functions not in the specalalaw012014-06-122-315/+11
| | | | | | | | | | | | | | | * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211503 138bc75d-0d04-0410-961f-82ee72b054a4
* PR/59843 Fix ICE on singleton vector of float on AArch64.alalaw012014-06-125-1/+91
| | | | | | | | | | | | | | | 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211502 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/utils.c (process_attributes) <ATTR_LINK_SECTION>: Passebotcazou2014-06-122-4/+4
| | | | | | | string pointer directly to set_decl_section_name. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211501 138bc75d-0d04-0410-961f-82ee72b054a4
* * tree-core.h (DECL_NONALIASED): Use proper spelling in comment.ebotcazou2014-06-122-4/+8
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211499 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/gjl2014-06-124-0/+154
| | | | | | | | | | | | | PR target/61443 * config/avr/avr.md (push<mode>1): Avoid (subreg(mem)) when loading from address spaces. gcc/testsuite/ PR target/61443 * gcc.target/avr/torture/pr61443.c: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211491 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ipa/61462marxin2014-06-122-10/+30
| | | | | | | | | * ipa-prop.c (ipa_make_edge_direct_to_target): Check that gimple call statement is reachable. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211490 138bc75d-0d04-0410-961f-82ee72b054a4
View Lorry Controller Status