aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2014-01-21re PR rtl-optimization/59896 (Bootstrap: Thumb-1 LRA unable to generate ↵Vladimir Makarov4-2/+1393
reloads for jump_insn) 2014-01-21 Vladimir Makarov <vmakarov@redhat.com> PR rtl-optimization/59896 * lra-constraints.c (process_alt_operands): Check unused note for matched operands of insn with no output reloads. 2014-01-21 Vladimir Makarov <vmakarov@redhat.com> PR rtl-optimization/59896 * gcc.target/arm/pr59896.c: New. From-SVN: r206908
2014-01-21mips.c (mips_move_to_gpr_cost): Add M16_REGS case.Richard Sandiford2-0/+7
gcc/ * config/mips/mips.c (mips_move_to_gpr_cost): Add M16_REGS case. (mips_move_from_gpr_cost): Likewise. From-SVN: r206907
2014-01-21regex.tcc: Remove incorrect `nosubs` handling.Tim Shen4-3/+20
2014-01-21 Tim Shen <timshen91@gmail.com> * include/bits/regex.tcc: Remove incorrect `nosubs` handling. * include/bits/regex_scanner.tcc: Handle `nosubs` correctly. * testsuite/28_regex/constants/syntax_option_type.cc: Add a test case. From-SVN: r206906
2014-01-21re PR libstdc++/56267 (unordered containers require Assignable hash function)Jonathan Wakely5-90/+16
PR libstdc++/56267 * include/bits/hashtable.h (__cache_default): Do not depend on whether the hash function is DefaultConstructible or CopyAssignable. (_Hashtable): Adjust static assertions. * doc/xml/manual/containers.xml (containers.unordered.cache): Update. * testsuite/23_containers/unordered_set/instantiation_neg.cc: Adjust dg-error line number. * testsuite/23_containers/unordered_set/ not_default_constructible_hash_neg.cc: Remove. From-SVN: r206904
2014-01-21Fix typo.Sterling Augustine1-1/+1
From-SVN: r206900
2014-01-21re PR rtl-optimization/59858 (ICE: assign_by_spills, at lra-assigns.c:1283)Vladimir Makarov4-14/+197
2014-01-21 Vladimir Makarov <vmakarov@redhat.com> PR rtl-optimization/59858 * lra-constraints.c (SMALL_REGISTER_CLASS_P): Use ira_class_hard_regs_num. (process_alt_operands): Increase reject for dying matched operand. 2014-01-21 Vladimir Makarov <vmakarov@redhat.com> PR rtl-optimization/59858 * gcc.target/arm/pr59858.c: New. From-SVN: r206897
2014-01-21re PR target/59003 (profiledbootstrap miscompiles gcc during stagefeedback ↵Jakub Jelinek4-6/+54
--with-tune=amdfam10) PR target/59003 * config/i386/i386.c (expand_small_movmem_or_setmem): If mode is smaller than size, perform several stores or loads and stores at dst + count - size to store or copy all of size bytes, rather than just last modesize bytes. * gcc.dg/tree-prof/pr59003.c: New test. From-SVN: r206896
2014-01-21config.host (tmake_file): add t-slibgcc-libgcc for xtensa*-*-linux*.Baruch Siach2-1/+5
libgcc/ * config.host (tmake_file): add t-slibgcc-libgcc for xtensa*-*-linux*. From-SVN: r206895
2014-01-21Fix ChangeLog entry, moving it from top-level ChangeLog toIan Lance Taylor2-4/+4
gcc/ChangeLog. From-SVN: r206893
2014-01-21[multiple changes]Arnaud Charlet7-72/+160
2014-01-21 Robert Dewar <dewar@adacore.com> * par-ch4.adb (P_If_Expression): Rewritten to improve error recovery. * par-ch5.adb (P_Condition): New version with expression prescanned. * par.adb (P_Condition): New version with expression prescanned. 2014-01-21 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Document that Allow_Integer_Address is ignored if Address is not a private type. * sem_prag.adb (Analyze_Pragma, case Allow_Integer_Address): Ignore pragma if System.Address is not a private type. 2014-01-21 Arnaud Charlet <charlet@adacore.com> * namet.ads (Name_Len): Initialize to 0 to avoid accessing an uninitialized value. From-SVN: r206892
2014-01-21[multiple changes]Arnaud Charlet9-81/+121
2014-01-21 Thomas Quinot <quinot@adacore.com> * gnat_rm.texi (Scalar_Storage_Order): Update documentation. 2014-01-21 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Set_Instance_Env): In Ada 2012 mode, preserve the value of Assertions_Enabled flag when compiling an instance of an internal unit. This facilitates the use of pre/postconditions in generic internal units, such as the new elementary function libraries. 2014-01-21 Robert Dewar <dewar@adacore.com> * exp_aggr.adb: Minor reformatting. * sem_attr.adb: Minor reformatting. * sem_res.adb: Minor comment addition. * einfo.adb: Minor comment updates. * freeze.adb: Minor reformatting and code reorganization. 2014-01-21 Ed Schonberg <schonberg@adacore.com> * par-ch4.adb (P_If_Expression): Handle more gracefully an elsif clause that does not have an else part. From-SVN: r206891
2014-01-21[multiple changes]Arnaud Charlet9-221/+202
2014-01-21 Robert Dewar <dewar@adacore.com> * checks.adb, sem_util.ads, sem_ch4.adb: Minor reformatting. 2014-01-21 Pascal Obry <obry@adacore.com> * projects.texi: Minor typo fix. 2014-01-21 Thomas Quinot <quinot@adacore.com> * freeze.adb (Check_Component_Storage_Order): If a record type has an explicit Scalar_Storage_Order attribute definition clause, reject any component that itself is of a composite type and does not have one. 2014-01-21 Ed Schonberg <schonberg@adacore.com> * sem_ch10.adb (Generate_Parent_Reference): Make public so it can be used to generate proper cross-reference information for the parent units of proper bodies. 2014-01-21 Thomas Quinot <quinot@adacore.com> * gcc-interface/decl.c (gnat_to_gnu_entity): For a modular type that represents a bit packed array type, propagate the reverse storage order flag to the generated wrapper record. * exp_pakd.adb (Expand_Packed_Element_Set, Expand_Packed_Element_Reference): No byte swapping required in the front-end for the case of a reverse storage order array, as this is now handled uniformly in the back-end. However we still need to swap back an extracted element if it is itself a nested composite with reverse storage order. From-SVN: r206890
2014-01-21[multiple changes]Arnaud Charlet3-29/+95
2014-01-21 Hristian Kirtchev <kirtchev@adacore.com> * sem_prag.adb (Analyze_External_Property): Add processing for "others". (Analyze_Pragma): Update the grammar of pragma Abstract_State to include "others". 2014-01-21 Arnaud Charlet <charlet@adacore.com> * gnat_ugn.texi: Minor updates. From-SVN: r206889
2014-01-21[multiple changes]Arnaud Charlet9-84/+113
2014-01-21 Thomas Quinot <quinot@adacore.com> * exp_pakd.adb: Update comment, minor reformatting. 2014-01-21 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch3.adb (Analyze_Variable_Contract): Trigger the volatile object check when SPARK_Mode is on. * sem_ch6.adb (Process_Formals): Trigger the volatile object check when SPARK_Mode is on. * sem_ch12.adb (Instantiate_Object): Trigger the volatile object check when SPARK_Mode is on. * sem_ch13.adb (Analyze_Aspect_Specifications): Insert the corresponding pragma of aspect SPARK_Mode in the visible declarations of a package declaration. * sem_prag.adb (Analyze_Pragma): Trigger the volatile object check when SPARK_Mode is on. * sem_res.adb (Resolve_Actuals): Trigger the volatile object check when SPARK_Mode is on. (Resolve_Entity_Name): Trigger the volatile object check when SPARK_Mode is on. 2014-01-21 Robert Dewar <dewar@adacore.com> * a-except-2005.adb: Minor reformatting From-SVN: r206888
2014-01-21[multiple changes]Arnaud Charlet9-22/+53
2014-01-21 Robert Dewar <dewar@adacore.com> * sem_ch3.adb, sem_prag.adb, sem_prag.ads, sem_ch12.adb, sem_res.adb, sem_ch6.adb, a-except-2005.adb: Minor reformatting. 2014-01-21 Ed Schonberg <schonberg@adacore.com> * exp_ch3.adb (Expand_N_Object_Declaration): When a class-wide object is declared, it is rewritten as a renaming of an dynamic expression that wraps the initial value. The renaming declaration is first given an internal name, to prevent collisions with the entity already declared, and then the name is modified to reflect the original one. the modification of the name must preserve the source location of the original, to prevent spurious errors when compiling with style checks if the declaration involves more than one entity. From-SVN: r206887
2014-01-21[multiple changes]Arnaud Charlet21-220/+1207
2014-01-21 Hristian Kirtchev <kirtchev@adacore.com> * aspects.adb Add entries for Async_Readers, Async_Writers, Effective_Reads and Effective_Writes in table Canonical_Aspect. * aspects.ads Add entries for Async_Readers, Async_Writers, Effective_Reads and Effective_Writes in tables Aspect_Id, Aspect_Names, Aspect_Delay and Implementation_Defined_Aspect. * atree.adb (Ekind_In): New version with 8 parameters. (Node34): New routine. (Set_Node34): New routine. * atree.ads (Ekind_In): New version with 8 parameters. (Node34): New routine. (Set_Node34): New routine. * einfo.adb Contract is now Node34. (Contract): Update the assertion and node usage. (Get_Pragma): Include pragmas Async_Readers, Async_Writers, Effective_Reads and Effective_Writes. (Set_Contract): Update the assertion and node usage. (Write_Field24_Name): Remove the output for a contract. (Write_Field34_Name): Add output for a contract. * einfo.ads Contract is now Node34. Update the comment on attribute usage and related node structures. (Get_Pragma): Update the comment on usage. * par-prag.adb (Prag): Pragmas Async_Readers, Async_Writers, Effective_Reads and Effective_Writes do not require special processing by the parser. * sem_ch3.adb (Analyze_Variable_Contract): New routine. (Analyze_Declarations): Analyze the contract of a variable at the end of the declarative region. (Analyze_Object_Declaration): Create a contract for a variable. * sem_ch6.adb (Analyze_Subprogram_Contract): Update the retrieval of classification pragmas. (Process_Formals): Detect an illegal use of a volatile object as a formal in a function. * sem_ch12.adb (Instantiate_Object): Detect an illegal use of a volatile object as an actual in generic instantiation. * sem_prag.adb Add entries for Async_Readers, Async_Writers, Effective_Reads and Effective_Writes in table Sig_Flags. (Analyze_External_State_In_Decl_Part): New routine. (Analyze_Global_Item): Detect an illegal use of a volatile object as a global item of a function. (Analyze_Pragma): Reimplement pragma Abstract_State. Add support for pragmas Async_Readers, Async_Writers, Effective_Reads and Effective_Writes. (Check_External_Properties): New routine. * sem_prag.ads (Analyze_External_State_In_Decl_Part): New routine. (Check_External_Properties): New routine. * sem_res.adb (Resolve_Actuals): Detect an illegal use of a volatile object as an actual in a call. (Resolve_Entity_Name): Add local variables Par, Prev and Usage_OK. Detect illegal contexts of volatile objects. * sem_util.adb (Add_Contract_Item): Add support for pragmas associated with the contract of a variable. (Async_Readers_Enabled): New routine. (Async_Writers_Enabled): New routine. (Effective_Reads_Enabled): New routine. (Effective_Writes_Enabled): New routine. (Has_Enabled_Property): New routine. (Is_Unchecked_Conversion_Instance): New routine. (Is_Volatile_Object): Add support for entities that may denote a volatile object. * sem_util.ads (Add_Contract_Item): Update the comment on usage. (Async_Readers_Enabled): New routine. (Async_Writers_Enabled): New routine. (Effective_Reads_Enabled): New routine. (Effective_Writes_Enabled): New routine. (Is_Unchecked_Conversion_Instance): New routine. * sinfo.ads Update the comment on the structure of N_Contract. * snames.ads-tmpl Add predefined names for Async_Readers, Async_Writers, Effective_Reads and Effective_Writes. Add pragma ids for Async_Readers, Async_Writers, Effective_Reads and Effective_Writes. 2014-01-21 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Eval_Op_Expon): Use CRT_Safe_Compile_Time_Known_Value * sem_eval.adb (Compile_Time_Known_Value): Remove special handling of CRT mode (CRT_Safe_Compile_Time_Known_Value): New function (Eval_Op_Expon): Add CRT_Safe in call to Test_Foldable (Test_Foldable): Add CRT_Safe parameter * sem_eval.ads (Compile_Time_Known_Value): Remove special handling of CRT mode. (CRT_Safe_Compile_Time_Known_Value): New function. From-SVN: r206886
2014-01-21sem_prag.adb (Analyze_Pragma, [...]): Fix problem with pragma or aspect that ↵Robert Dewar2-26/+34
applies to package spec or subprogram spec. 2014-01-21 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Analyze_Pragma, case SPARK_Mode): Fix problem with pragma or aspect that applies to package spec or subprogram spec. From-SVN: r206885
2014-01-21includeTom Tromey10-191/+62
* ansidecl.h (ANSI_PROTOTYPES, PTRCONST, LONG_DOUBLE, PARAMS) (VPARAMS, VA_START, VA_OPEN, VA_CLOSE, VA_FIXEDARG, CONST) (VOLATILE, SIGNED, PROTO, EXFUN, DEFUN, DEFUN_VOID, AND, DOTS) (NOARGS): Don't define. * libiberty.h (expandargv, writeargv): Don't use PARAMS. libiberty * _doprint.c (checkit): Use stdarg, not VA_* macros. * asprintf.c (asprintf): Use stdarg, not VA_* macros. * concat.c (concat_length, concat_copy, concat_copy2, concat) (reconcat): Use stdarg, not VA_* macros. * snprintf.c (snprintf): Use stdarg, not VA_* macros. * vasprintf.c (checkit): Use stdarg, not VA_* macros. * vsnprintf.c (checkit): Use stdarg, not VA_* macros. From-SVN: r206881
2014-01-21[multiple changes]Arnaud Charlet22-259/+480
2014-01-21 Robert Dewar <dewar@adacore.com> * exp_aggr.adb: Minor reformatting. 2014-01-21 Johannes Kanig <kanig@adacore.com> * gnat1drv.adb (Gnat1drv) remove obsolete reference to -gnatd.H. 2014-01-21 Bob Duff <duff@adacore.com> * gnat_ugn.texi: Document the "checks" attribute in gnat2xml. 2014-01-21 Steve Baird <baird@adacore.com> * gnat_rm.texi: Improve description of SPARK_Mode pragma. 2014-01-21 Vincent Celier <celier@adacore.com> * prj-part.adb (Parse_Single_Project): Accept to extend a project if it has only be imported by an project being extended. When a project that has only been imported by a project being extended is imported by another project that is not being extended, reset the previous indication, so that it will be an error if this project is extended later. * prj-tree.adb (Create_Project): Include component From_Extended in table Projects_HT * prj-tree.ads (Project_Name_And_Node): New Boolean component From_Extended 2014-01-21 Robert Dewar <dewar@adacore.com> * atree.ads, atree.adb: Add Node33 and Set_Node33. * einfo.ads, einfo.adb (SPARK_Pragma): New field (SPARK_Aux_Pragma): New field (SPARK_Pragma_Inherited): New flag (SPARK_Aux_Pragma_Inherited): New flag (SPARK_Mode_Pragmas): Removed. * lib.ads, lib.adb: Remove SPARK_Mode_Pragma, no longer used. * opt.ads (SPARK_Mode_Pragma): New global variable. * sem.ads: Add Save_SPARK_Mode_Pragma field to Scope_Stack_Entry. * sem_ch3.adb: Use new SPARK_Mode data structures. * sem_ch6.adb: Set SPARK_Mode fields in subprogram specs and bodies. * sem_ch7.adb: Set SPARK_Mode fields in package spec and body entities. * sem_ch8.adb (Push_Scope): Save SPARK_Mode_Pragma. (Pop_Scope): Restore SPARK_Mode_Pragma. * sem_prag.adb (Analyze_Pragma, case SPARK_Mode): Rewrite for new data structures. 2014-01-21 Arnaud Charlet <charlet@adacore.com> * back_end.adb: Undo previous change, not needed. Minor reformatting. From-SVN: r206879
2014-01-21[multiple changes]Arnaud Charlet8-40/+81
2014-01-21 Thomas Quinot <quinot@adacore.com> * exp_ch5.adb: Fix comment. * switch-c.adb: Minor comment update. * exp_ch3.adb: Minor reformatting. 2014-01-21 Arnaud Charlet <charlet@adacore.com> * back_end.adb (Scan_Compiler_Arguments): Do not store object filename in gnatprove mode. 2014-01-21 Thomas Quinot <quinot@adacore.com> * sinfo.ads (No_Ctrl_Actions): Clarify documentation (flag also suppresses usage of primitive _assign for tagged types). * exp_aggr.adb (Build_Array_Aggr_Code.Gen_Assign): Set No_Ctrl_Actions for a tagged type that does not require finalization, as we want to disable usage of _assign (which may cause undesirable discriminant checks on an uninitialized, invalid target). 2014-01-21 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb: Reject invariant'class on completion. From-SVN: r206878
2014-01-21* mklog: Avoid adding falsely changed functions to ChangeLog.Tatiana Udalova2-4/+46
From-SVN: r206875
2014-01-21[multiple changes]Arnaud Charlet11-73/+181
2014-01-21 Javier Miranda <miranda@adacore.com> * exp_ch3.adb (Build_Init_Procedure): For derivations of interfaces, do not move the the initialization of the _parent field since such assignment is not generated. 2014-01-21 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Rewrite_Renamed_Operator): Do not replace entity with the operator it renames if we are within an expression of a pre/postcondition, because the expression will be reanalyzed at a later point, and the analysis of the renaming may affect the visibility of the operator when in an instance. 2014-01-21 Robert Dewar <dewar@adacore.com> * sinfo.ads, sinfo.adb: Change Do_Discriminant_Check to use new Flag1. Add this flag to type conversion nodes and assignment nodes. * treepr.adb: Deal properly with Flag 1,2,3. * treeprs.adt: Minor comment update. 2014-01-21 Robert Dewar <dewar@adacore.com> * sem_eval.adb (Compile_Time_Known_Value): Add Ignore_CRT parameter. * sem_eval.ads (Compile_Time_Known_Value): Add Ignore_CRT parameter, completely rewrite spec. 2014-01-21 Ed Schonberg <schonberg@adacore.com> * sem_ch10.adb (Install_Withed_Unit): If the unit is a subprogram instance that is inlined, it may have been rewritten as a wrapper package. In that case the unit that must be made visible is the related instance of the package. 2014-01-21 Arnaud Charlet <charlet@adacore.com> * exp_ch9.adb (Expand_N_Selective_Accept.Add_Accept): Refine previous change in codepeer mode. From-SVN: r206874
2014-01-21[multiple changes]Arnaud Charlet9-35/+55
2014-01-21 Arnaud Charlet <charlet@adacore.com> * exp_ch9.adb (Expand_N_Selective_Accept.Add_Accept): Always add call to Abort_Undefer, as expected by the runtime. * s-tasren.adb (Local_Complete_Rendezvous): Replace Defer_Abort_Nestable by Defer_Abort, since we do not expect abort to be deferred at this point. Update comments. 2014-01-21 Thomas Quinot <quinot@adacore.com> * exp_ch4.adb, exp_ch5.adb, checks.adb: Minor reformatting. 2014-01-21 Arnaud Charlet <charlet@adacore.com> * switch-c.adb, usage.adb, gnat_ugn.texi: Mark -gnates as internal, remove from doc. From-SVN: r206873
2014-01-21switch-c.adb, [...]: Minor reformatting.Robert Dewar5-8/+11
2014-01-21 Robert Dewar <dewar@adacore.com> * switch-c.adb, usage.adb, atree.adb, atree.ads: Minor reformatting. From-SVN: r206872
2014-01-21[multiple changes]Arnaud Charlet12-97/+201
2014-01-21 Thomas Quinot <quinot@adacore.com> * atree.adb, atree.ads (Num_Extension_Nodes): Switch to Node_Id, since this is value is used in Node_Id arithmetic operations. (Copy_Node, Exchange_Entities): Use loops indexed by Num_Extension_Nodes instead of hard-coded unrolled code. 2014-01-21 Yannick Moy <moy@adacore.com> * gnat1drv.adb: Minor code cleanup, removing useless code. 2014-01-21 Arnaud Charlet <charlet@adacore.com> * opt.ads (SPARK_Switches_File_Name): New. * switch-c.adb (Scan_Front_End_Switches): Add handling of -gnates=xxx * * usage.adb (Usage): Document -gnates, in gnatprove mode only. * gnat_ugn.texi: Document -gnates. 2014-01-21 Yannick Moy <moy@adacore.com> * errout.adb (Special_Msg_Delete): Update comment. Remove special case for GNATprove which should not ignore mismatch in sizes for representation clauses. * sem_prag.adb (Analyze_Pragma): Remove special case for GNATprove which should not ignore pragma Pack. 2014-01-21 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb: Code clean up. 2014-01-21 Steve Baird <baird@adacore.com> * gnat_rm.texi: Improve GNAT RM description of SPARK_Mode pragma. From-SVN: r206871
2014-01-21[multiple changes]Arnaud Charlet9-37/+248
2014-01-21 Robert Dewar <dewar@adacore.com> * gcc-interface/gigi.h: Get Flags array address. * gcc-interface/trans.c: Acquire Flags array address. * atree.adb: Add support for Flags array and Flag0,1,2,3. * atree.ads: Add support for Flags array and Flag0,1,2,3. * atree.h: Add support for Flags array and Flag0,1,2,3. * back_end.adb: Pass Flags array address to gigi. 2014-01-21 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Attribute_Renaming): Transfer original attribute reference to generated body so that legality checks on stream attributes are properly applied. If type is tagged and already frozen, insert generated body at the point of the renaming declaration. 2014-01-21 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb: Code clean up. * sem_ch8.adb: Minor reformatting From-SVN: r206870
2014-01-21re PR tree-optimization/59860 (ICE in compute_may_aliases, at ↵Jakub Jelinek2-9/+9
tree-ssa-structalias.c:6843) PR middle-end/59860 * gcc.dg/strlenopt-4.c: Expect the same counts on s390*-* as on all other targets. From-SVN: r206868
2014-01-20rl78.c (rl78_propogate_register_origins): Verify that CLOBBERs are REGs ↵DJ Delorie2-2/+9
before propogating their values. * config/rl78/rl78.c (rl78_propogate_register_origins): Verify that CLOBBERs are REGs before propogating their values. From-SVN: r206867
2014-01-21round_3.f08: Add more cases.Dominique d'Humieres2-0/+9
2014-01-20 Dominique d'Humieres <dominiq@lps.ens.fr> * gfortran.dg/round_3.f08: Add more cases. From-SVN: r206866
2014-01-21write_float.def (output_float): Remove inadvertent test code from previous ↵Jerry DeLisle2-2/+8
patch. 2014-01-20 Jerry DeLisle <jvdelisle@gcc.gnu> Dominique d'Humieres <dominiq@lps.ens.fr> * io/write_float.def (output_float): Remove inadvertent test code from previous patch. Co-Authored-By: Dominique d'Humieres <dominiq@lps.ens.fr> From-SVN: r206865
2014-01-21Daily bump.GCC Administrator1-1/+1
From-SVN: r206864
2014-01-20target-supports.exp (force_conventional_output_for): New procedure.Richard Sandiford5-13/+39
gcc/testsuite/ * lib/target-supports.exp (force_conventional_output_for): New procedure. * lib/scanasm.exp (scan-assembler_required_options) (scan-assembler-not_required_options) (scan-assembler-times_required_options): Replace with force_conventional_output_fors. * lib/scanrtl.exp: Force conventional output for all rtl dump scans. * gcc.target/mips/octeon-pipe-1.c: Remove -ffat-lto-objects. From-SVN: r206860
2014-01-20create_testsuite_files: Add testsuite/experimental in the list of folders to ↵François Dumont4-8/+24
search for tests. 2014-01-20 François Dumont <fdumont@gcc.gnu.org> * scripts/create_testsuite_files: Add testsuite/experimental in the list of folders to search for tests. * include/experimental/string_view (basic_string_view<>::operator[]): Comment _GLIBCXX_DEBUG_ASSERT, incompatible with constexpr qualifier. (basic_string_view<>::front()): Likewise. (basic_string_view<>::back()): Likewise. * testsuite/experimental/string_view/element_access/wchar_t/2.cc: Merge dg-options directives into one. * testsuite/experimental/string_view/element_access/char/2.cc: Likewise. Remove invalid experimental namespace scope on string_view_type. From-SVN: r206859
2014-01-20Add type to DEFCIFCODE to describe the inline failureH.J. Lu7-29/+120
Report inline error during early inlining if the inline failure is CIF_FINAL_ERROR. gcc/ PR middle-end/59789 * cgraph.c (cgraph_inline_failed_string): Add type to DEFCIFCODE. (cgraph_inline_failed_type): New function. * cgraph.h (DEFCIFCODE): Add type. (cgraph_inline_failed_type_t): New enum. (cgraph_inline_failed_type): New prototype. * cif-code.def: Add CIF_FINAL_NORMAL to OK, FUNCTION_NOT_CONSIDERED, FUNCTION_NOT_OPTIMIZED, REDEFINED_EXTERN_INLINE, FUNCTION_NOT_INLINE_CANDIDATE, LARGE_FUNCTION_GROWTH_LIMIT, LARGE_STACK_FRAME_GROWTH_LIMIT, MAX_INLINE_INSNS_SINGLE_LIMIT, MAX_INLINE_INSNS_AUTO_LIMIT, INLINE_UNIT_GROWTH_LIMIT, RECURSIVE_INLINING, UNLIKELY_CALL, NOT_DECLARED_INLINED, OPTIMIZING_FOR_SIZE, ORIGINALLY_INDIRECT_CALL, INDIRECT_UNKNOWN_CALL, USES_COMDAT_LOCAL. Add CIF_FINAL_ERROR to UNSPECIFIED, BODY_NOT_AVAILABLE, FUNCTION_NOT_INLINABLE, OVERWRITABLE, MISMATCHED_ARGUMENTS, EH_PERSONALITY, NON_CALL_EXCEPTIONS, TARGET_OPTION_MISMATCH, OPTIMIZATION_MISMATCH. * tree-inline.c (expand_call_inline): Emit errors during early_inlining if cgraph_inline_failed_type returns CIF_FINAL_ERROR. gcc/testsuite/ PR middle-end/59789 * gcc.target/i386/pr59789.c: New testcase. From-SVN: r206858
2014-01-20re PR target/59685 (ICE: in output_2305, at config/i386/sse.md:8919 with ↵Uros Bizjak2-0/+9
-march=bdver1 -mavx512f) PR target/59685 * config/i386/sse.md (*andnot<mode>3<mask_name>): Handle MODE_V16SF mode attribute in insn output. From-SVN: r206856
2014-01-20output.h (output_constant): Delete.Eric Botcazou3-15/+8
* output.h (output_constant): Delete. * varasm.c (output_constant): Make private. From-SVN: r206855
2014-01-20ra1.C (struct tree_base): Change the width of the 'code' bitfield from 16 to 8.Yufeng Zhang2-1/+6
gcc/testsuite * g++.dg/debug/ra1.C (struct tree_base): Change the width of the 'code' bitfield from 16 to 8. From-SVN: r206853
2014-01-20Fixing ChangeLog entry for earlier commit.Marcus Shawcroft1-1/+1
From-SVN: r206852
2014-01-20[AArch64] Disable vec_perm patterns for aarch64_be.Alex Velenko4-4/+18
From-SVN: r206851
2014-01-20[AArch64] vneg floating point testcase BE fixed.Alex Velenko2-60/+68
2013-01-20 Alex Velenko <Alex.Velenko@arm.com> * gcc.target/aarch64/vneg_f.c (STORE_INST): New macro. (RUN_TEST): Use new macro. (INDEX64_32): Delete. (INDEX64_64): Likewise. (INDEX128_32): Likewise. (INDEX128_64): Likewise. (INDEX): Likewise. (test_vneg_f32): Use fixed RUN_TEST. From-SVN: r206850
2014-01-20re PR tree-optimization/59860 (ICE in compute_may_aliases, at ↵Jakub Jelinek4-9/+33
tree-ssa-structalias.c:6843) PR middle-end/59860 * tree.h (fold_builtin_strcat): New prototype. * builtins.c (fold_builtin_strcat): No longer static. Add len argument, if non-NULL, don't call c_strlen. Optimize directly into __builtin_memcpy instead of __builtin_strcpy. (fold_builtin_2): Adjust fold_builtin_strcat caller. * gimple-fold.c (gimple_fold_builtin): Handle BUILT_IN_STRCAT. From-SVN: r206848
2014-01-20i386.c (ix86_avoid_lea_for_addr): Return false for SImode_address_operand ↵Uros Bizjak3-8/+12
operands, having only a REG argument. * config/i386/i386.c (ix86_avoid_lea_for_addr): Return false for SImode_address_operand operands, having only a REG argument. From-SVN: r206847
2014-01-20re PR other/58996 (build failure in libcilkrts)Balaji V. Iyer4-0/+64
Fix for PR other/58996. +2014-01-20 Balaji V. Iyer <balaji.v.iyer@intel.com> + + PR other/58996 + * configure.ac: Added a check for pthread affinity support. + * runtime/os-unix.c: Likewise. + * configure: Regenerate. + From-SVN: r206846
2014-01-20[AArch64] Define BE loader name.Marcus Shawcroft2-2/+9
2014-01-20 Marcus Shawcroft <marcus.shawcroft@arm.com> * config/aarch64/aarch64-linux.h (GLIBC_DYNAMIC_LINKER): Expand loader name using mbig-endian. (LINUX_TARGET_LINK_SPEC): Pass linker -m flag. From-SVN: r206845
2014-01-20[multiple changes]Arnaud Charlet24-111/+215
2014-01-20 Robert Dewar <dewar@adacore.com> * checks.adb: Check SPARK_Mode instead of GNATProve_Mode for converting warnings on inevitable exceptions to errors. * exp_ch4.adb: Check SPARK_Mode instead of GNATProve_Mode for converting warnings on inevitable exceptions to errors. * opt.adb (SPARK_Mode_Config): Handled like other config flags * opt.ads (SPARK_Mode_Type): Moved here from types (renamed from SPARK_Mode_Id) (SPARK_Mode_Type): Add pragma Ordered, remove SPARK_ from names (SPARK_Mode): New flag (SPARK_Mode_Config): New flag (Config_Switches_Type): Add SPARK_Mode field * sem.adb: Minor code reorganization (remove unnecessary with) * sem.ads (Scope_Stack_Entry): Add Save_SPARK_Mode field * sem_aggr.adb: Check SPARK_Mode instead of GNATProve_Mode for converting warnings on inevitable exceptions to errors. * sem_attr.adb: Check SPARK_Mode instead of GNATProve_Mode for converting warnings on inevitable exceptions to errors. * sem_ch3.adb: Check SPARK_Mode instead of GNATProve_Mode for converting warnings on inevitable exceptions to errors. * sem_ch4.adb: Check SPARK_Mode instead of GNATProve_Mode for converting warnings on inevitable exceptions to errors. * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Reset SPARK_Mode from spec if needed * sem_ch7.adb (Analyze_Package_Body_Helper): Reset SPARK_Mode from spec if needed * sem_ch8.adb (Push_Scope): Save SPARK_Mode (Pop_Scope): Restore SPARK_Mode * sem_elab.adb: Check SPARK_Mode instead of GNATProve_Mode for converting warnings on inevitable exceptions to errors. * sem_prag.adb (Get_SPARK_Mode_From_Pragma): New function (Get_SPARK_Mode_Id): Removed (Get_SPARK_Mode_Type): New name of Get_SPARK_Mode_Id * sem_prag.ads (Get_SPARK_Mode_From_Pragma): New function * sem_res.adb: Check SPARK_Mode instead of GNATProve_Mode for converting warnings on inevitable exceptions to errors. * sem_util.adb: Check SPARK_Mode instead of GNATProve_Mode for converting warnings on inevitable exceptions to errors. * types.ads (SPARK_Mode_Id): Moved to opt.ads and renamed SPARK_Mode_Type 2014-01-20 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb: Add semantic information to rewritten type reference. 2014-01-20 Ed Schonberg <schonberg@adacore.com> * exp_ch5.adb (Expand_N_Assignment_Statement): If both sides are of a type with unknown discriminants, convert both to the underlying view of the type, so that the proper constraint check can be applied to the right-hand side. 2014-01-20 Robert Dewar <dewar@adacore.com> * atree.adb (Copy_Node): Fix failure to copy last component (Exchange_Entities): Fix failure to exchange last entity 2014-01-20 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb: Code clean up. From-SVN: r206844
2014-01-20gnat_rm.texi, [...]: Minor reformatting.Robert Dewar3-9/+10
2014-01-20 Robert Dewar <dewar@adacore.com> * gnat_rm.texi, sem_ch4.adb: Minor reformatting. From-SVN: r206843
2014-01-20[multiple changes]Arnaud Charlet3-3/+35
2014-01-20 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb (Analyze_Quantified_Expression): If after pre-analysis the loop parameter specification has been rewritten as a iterator specification, propagate the change to the quantified expression, for ASIS navigtion needs. 2014-01-20 Vincent Celier <celier@adacore.com> * par-ch10.adb: Minor error message change: escape [ and ]. From-SVN: r206842
2014-01-20[multiple changes]Arnaud Charlet23-290/+414
2014-01-20 Robert Dewar <dewar@adacore.com> * checks.adb: Make warnings on exceptions into errors in GNATprove mode. * errout.adb: Implement [ and ] insertion characters. * errout.ads: Document new [ and ] insertion characters. * sem_ch12.adb, restrict.adb, frontend.adb, exp_ch7.adb: Minor addition of ??? comment. * lib-xref.adb, exp_util.adb, gnat1drv.adb: Minor reformatting * exp_ch4.adb, sem_ch3.adb, sem_ch4.adb, sem_ch6.adb, sem_elab.adb, sem_eval.adb, sem_res.adb, sem_util.adb, sem_attr.adb, sem_aggr.adb: Make warnings on exceptions into errors in GNATprove mode. * sem_dim.adb: Minor reformatting throughout Quote [ and ] in error messages. 2014-01-20 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb: Code clean up. From-SVN: r206841
2014-01-20[AArch64 Documentation] Clarify meaning of -mcpu, -mtune, -marchJames Greenhalgh2-23/+39
gcc/ * doc/invoke.texi (-march): Clarify documentation for AArch64. (-mtune): Likewise. (-mcpu): Likewise. From-SVN: r206840
2014-01-20[multiple changes]Arnaud Charlet6-30/+61
2014-01-20 Robert Dewar <dewar@adacore.com> * errout.ads, errout.adb: Implement >? >x? >X? sequences in error messages. * sem_ch6.adb (Check_Statement_Sequence): Missing return is an error in GNATprove mode. 2014-01-20 Ed Schonberg <schonberg@adacore.com> * par-ch4.adb (Is_Parameterless_Attribute): The Ada2012 attribute reference 'Old takes no parameters, and thus can appear as a prefix of a slice. 2014-01-20 Eric Botcazou <ebotcazou@adacore.com> * exp_aggr.adb: Fix minor typos. From-SVN: r206839
generated by cgit v1.1 at 2025-03-04 03:48:53 +0000