aboutsummaryrefslogtreecommitdiff
path: root/gcc
AgeCommit message (Collapse)AuthorFilesLines
2017-01-19PR c++/79130 - decomposition and direct-initializationJason Merrill4-23/+76
* init.c (build_aggr_init): Communicate direct-initialization to build_vec_init. (build_vec_init): Check for array copy sooner. * parser.c (cp_parser_decomposition_declaration): Remove call to build_x_compound_expr_from_list. From-SVN: r244635
2017-01-19Code cleanup.Arnaud Charlet1-1/+4
From-SVN: r244634
2017-01-19[multiple changes]Arnaud Charlet4-3/+28
2017-01-19 Javier Miranda <miranda@adacore.com> * ghost.adb (Propagate_Ignored_Ghost_Code): Protect access to the identifier attribute of a block-statement node. Required to avoid assertion failure when building the new containers library. 2017-01-19 Bob Duff <duff@adacore.com> * exp_ch3.adb: Update comment. 2017-01-19 Vincent Celier <celier@adacore.com> * gprep.adb (Gnatprep): Parse the definition file without "replace in comments" even when switch -C is used. From-SVN: r244633
2017-01-19Minor reformatting.Arnaud Charlet1-5/+10
From-SVN: r244632
2017-01-19exp_ch9.adb (Is_Pure_Barrier): Create function Is_Count_Attribute to ↵Justin Squirek2-0/+36
identify an expansion of the 'Count attribute. 2017-01-19 Justin Squirek <squirek@adacore.com> * exp_ch9.adb (Is_Pure_Barrier): Create function Is_Count_Attribute to identify an expansion of the 'Count attribute. From-SVN: r244631
2017-01-19[multiple changes]Arnaud Charlet3-10/+31
2017-01-19 Pierre-Marie de Rodat <derodat@adacore.com> * exp_dbug.adb (Debug_Renaming_Declaration): Process underlying types. Emit GNAT encodings for object renamings involving record components whose normalized bit offset is not null. * uintp.h (UI_No_Uint): Declare. 2017-01-19 Ed Schonberg <schonberg@adacore.com> * sem_ch5.adb (Analyze_Loop_Statement): In GNATprove mode the statements within an element iterator loop are only analyzed agter the loop is rewritten. Within a generic the analysis must be performed in any case to complete name capture. 2017-01-19 Bob Duff <duff@adacore.com> * sem_prag.adb (Analyze_Pragma): Check for ignored pragmas first, before checking for unrecognized pragmas. Initialize Pname on its declarations; that's always good style. From-SVN: r244630
2017-01-19exp_ch7.adb (Build_Invariant_Procedure_Body): Semi-insert the body into the ↵Claire Dross3-52/+114
tree for GNATprove by setting its Parent field. 2017-01-19 Claire Dross <dross@adacore.com> * exp_ch7.adb (Build_Invariant_Procedure_Body): Semi-insert the body into the tree for GNATprove by setting its Parent field. The components invariants of composite types are not checked by the composite type's invariant procedure in GNATprove mode. (Build_Invariant_Procedure_Declaration): Semi-insert the declaration into the tree for GNATprove by setting its Parent field. * freeze.adb (Freeze_Arry_Type):In GNATprove mode, do not add the component invariants to the array type invariant procedure so that the procedure can be used to check the array type invariants if any. (Freeze_Record_Type): In GNATprove mode, do not add the component invariants to the record type invariant procedure so that the procedure can be used to check the record type invariants if any. From-SVN: r244629
2017-01-19[multiple changes]Arnaud Charlet3-1/+20
2017-01-19 Hristian Kirtchev <kirtchev@adacore.com> * lib-xref-spark_specific.adb: Minor reformatting. * exp_ch7.adb (Add_Parent_Invariants): Do not process array types. 2017-01-19 Tristan Gingold <gingold@adacore.com> * fe.h (Constant_Value): Export. From-SVN: r244628
2017-01-19[multiple changes]Arnaud Charlet13-320/+486
2017-01-19 Javier Miranda <miranda@adacore.com> * exp_aggr.adb (Pass_Aggregate_To_Back_End): Renamed as Build_Back_End_Aggregate. (Generate_Aggregate_For_Derived_Type): Code cleanup. (Prepend_Stored_Values): Code cleanup. 2017-01-19 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Analyze_Expression_Function): Check for an incomplete return type after attempting to freeze it, so that other freeze actiona are generated in the proper order. 2017-01-19 Ed Schonberg <schonberg@adacore.com> * sem_aggr.adb (Resolve_Aggregate): If the type is a string type, ie. a type whose component is a character type, and the aggregate is positional, do not convert into a string literal if the index type is not an integer type, because the original type may be required in an enclosing operation. 2017-01-19 Bob Duff <duff@adacore.com> * binde.adb, debug.adb: Enable new elaboration order algorithm by default. -dp switch reverts to the old algorithm. 2017-01-19 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch3.adb Add with and use clauses for Exp_Ch7. (Analyze_Declarations): Create the DIC and Invariant procedure bodies s after all freezing has taken place. (Build_Assertion_Bodies): New routine. * sem_ch7.adb Remove the with and use clauses for Exp_Ch7 and Exp_Util. (Analyze_Package_Specification): Remove the generation of the DIC and Invariant procedure bodies. This is now done by Analyze_Declarations. * sem_disp.adb (Check_Dispatching_Operation): DIC and Invariant procedures are never treated as primitives. 2017-01-19 Yannick Moy <moy@adacore.com> * frontend.adb: Analyze inlined bodies and check elaboration rules in GNATprove mode too. * sem_elab.adb (Delay_Element): Add Boolean component to save indication that call is in SPARK code. (Check_Elab_Calls): Check elaboration rules in GNATprove mode, and correctly set the current value of SPARK_Mode. * lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Simplify iteration over dereferences. 2017-01-19 Ed Schonberg <schonberg@adacore.com> * exp_ch4.adb (Expand_Concatenate): Do no enable overflow checks on the expression for the high bound of concatenation when checks are disabled, to suppress warnings about potential constraint errors in restricted runtimes. From-SVN: r244626
2017-01-19exp_ch3.adb (Expand_Freeze_Enumeration_Type): Mark the ↵Hristian Kirtchev4-16/+32
representation-to-position function as inlined. 2017-01-19 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch3.adb (Expand_Freeze_Enumeration_Type): Mark the representation-to-position function as inlined. * sem_cat.adb (Set_Categorization_From_Scope): Do not modify the purity of an internally generated entity if it has been explicitly marked as pure for optimization purposes. * exp_aggr.adb: Minor reformatting. From-SVN: r244624
2017-01-19re PR rtl-optimization/72488 (wrong code (SIGFPE) at -Os and above on ↵Richard Biener3-15/+48
x86_64-linux-gnu (in the 64-bit mode)) 2017-01-19 Richard Biener <rguenther@suse.de> PR tree-optimization/72488 * tree-ssa-sccvn.c (run_scc_vn): When we abort the VN make sure to restore SSA info. * tree-ssa.c (verify_ssa): Verify SSA info is not shared. From-SVN: r244623
2017-01-19[multiple changes]Arnaud Charlet13-216/+322
2017-01-19 Javier Miranda <miranda@adacore.com> * exp_ch6.adb (Expand_Call): Remove side effects on actuals that are allocators with qualified expression since the initialization of the object is performed by means of individual statements (and hence it must be done before the call). 2017-01-19 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Analyze_Declarations): Minor reformatting. (Build_Derived_Enumeration_Type): If the derived type inherits a dynamic predicate from its parent, the bounds of the type must freeze because an explicit constraint is constructed for the type and the corresponding range is elaborated now. 2017-01-19 Arnaud Charlet <charlet@adacore.com> * sem_attr.ads: minor fix of inconsistent casing in comment * lib-writ.ads: minor align comments in columns * sem_ch3.adb: Minor reformatting. * spark_xrefs.ads: minor fix typo in SPARK-related comment * table.ads: minor style fix in comment * lib-xref-spark_specific.adb (Add_SPARK_Xrefs): simplify processing of SPARK cross-references. * sem_ch12.adb: minor whitespace fix * freeze.adb: Add comment. * sem_util.adb (Unique_Name): for instances of generic subprograms ignore the name of the wrapper package. 2017-01-19 Javier Miranda <miranda@adacore.com> * exp_aggr.adb (Resolve_Record_Aggregate): Factorize code needed for aggregates of limited and unlimited types in a new routine. (Pass_Aggregate_To_Back_End): New subprogram. 2017-01-19 Yannick Moy <moy@adacore.com> * sinfo.adb (Pragma_Name): Only access up to Last_Pair of Pragma_Map. From-SVN: r244622
2017-01-19Minor reformatting and code cleanup.Arnaud Charlet1-17/+20
From-SVN: r244621
2017-01-19[multiple changes]Arnaud Charlet5-18/+60
2017-01-19 Ed Schonberg <schonberg@adacore.com> * sem_ch4.ads, sem_ch4.adb (Try_Object_Operation): Make subprogram public, for use elsewhere. * sem_ch6.adb (Analyze_Procedure_Call): In SPARK_Mode and within an Inlined_body, recognize a call that uses object notation and has not been rewritten as a regular call because regular expansion has not taken place. 2017-01-19 Bob Duff <duff@adacore.com> * checks.adb (Apply_Type_Conversion_Checks): Disable small optimization in case of generic formal discrete types, because it causes crashes in the compiler when built with assertions on. From-SVN: r244620
2017-01-19[multiple changes]Arnaud Charlet18-54/+112
2017-01-19 Hristian Kirtchev <kirtchev@adacore.com> * lib-xref-spark_specific.adb, sem_util.adb, sem_util.ads, sem_ch4.adb, sem_ch8.adb, lib-xref.ads: Minor reformatting. 2017-01-19 Bob Duff <duff@adacore.com> * bcheck.adb (Check_Consistent_Dynamic_Elaboration_Checking): Increment Warnings_Detected. It was decrementing, which is wrong since we just issued a warning message. * binderr.ads (Errors_Detected, Warnings_Detected): Declare these variables to be of subtype Nat instead of Int, because they should never be negative. 2017-01-19 Javier Miranda <miranda@adacore.com> * contracts.adb (Build_Postconditions_Procedure): Replace Generate_C_Code by Modify_Tree_For_C. * exp_aggr.adb (Build_Record_Aggr_Code, Expand_Array_Aggregate): Replace Generate_C_Code by Modify_Tree_For_C. * exp_attr.adb (Float_Valid, Is_GCC_Target): Replace Generate_C_Code by Modify_Tree_For_C. * exp_ch11.adb (Expand_N_Exception_Declaration): Replace Generate_C_Code by Modify_Tree_For_C. * exp_ch4.adb (Expand_Allocator_Expression): Replace Generate_C_Code by Modify_Tree_For_C. * exp_dbug.adb (Qualify_Entity_Name): Replace Generate_C_Code by Modify_Tree_For_C. * exp_util.adb (Remove_Side_Effects, Side_Effect_Free): Replace Generate_C_Code by Modify_Tree_For_C. * sem_res.adb (Resolve_Type_Conversion): Replace Generate_C_Code by Modify_Tree_For_C. * sinfo.ads (Modify_Tree_For_C): Adding documentation. From-SVN: r244619
2017-01-19[multiple changes]Arnaud Charlet7-84/+147
2017-01-19 Javier Miranda <miranda@adacore.com> * sem_util.ads, sem_util.adb (Expression_Of_Expression_Function): New subprogram. (Is_Inlinable_Expression_Function): New subprogram. * exp_ch6.ads, exp_ch6.adb (Expression_Of_Expression_Function): Moved to Sem_Util. (Is_Inlinable_Expression_Function): Moved to Sem_Util. 2017-01-19 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb (Diagnose_Call): Improve error message when a selected component has a prefix that might be interpreted as a parameterless function call, but none of the candidate interpretations is parameterless, and there is a hidden homonym of the prefix that is a package. * sem_ch8.adb (Find_Selected_Component): If the prefix might be interpreted as a parameterless function call and its analysis fails, do not call Analyze_Selected_Component. From-SVN: r244618
2017-01-19[multiple changes]Arnaud Charlet6-55/+115
2017-01-19 Steve Baird <baird@adacore.com> * sem_util.ads: Add new Use_Full_View Boolean parameter to Get_Index_Bounds. * sem_util.adb (Get_Index_Bounds): replace calls to Scalar_Range with calls to a newly-defined Scalar_Range_Of_Right_View function. 2017-01-19 Arnaud Charlet <charlet@adacore.com> * gnat1drv.adb: minor fix of unbalanced parens in comment * lib-xref.ads (Traverse_Compilation_Unit): declaration moved to visible part of the package to allow re-use in GNATprove. * lib-xref-spark_specific.adb (Traverse_Stub): routine refactored from repeated code of Traverse_Compilation_Unit. (Traverse_Declaration_Or_Statement): fixed detection of generic subprograms and packages; also, iteration over case statement alternatives rewritten to avoid testing if the first alternative is present (since it must be present due to Ada syntax restrictions). From-SVN: r244617
2017-01-19exp_ch6.adb (Expand_N_Subprogram_Body): Mark the spec as returning by ↵Hristian Kirtchev3-353/+370
reference not just for subprogram body stubs... 2017-01-19 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch6.adb (Expand_N_Subprogram_Body): Mark the spec as returning by reference not just for subprogram body stubs, but for all subprogram cases. * sem_util.adb: Code reformatting. (Requires_Transient_Scope): Update the call to Results_Differ. (Results_Differ): Update the parameter profile and the associated comment on usage. From-SVN: r244616
2017-01-19Minor reformatting.Arnaud Charlet2-18/+21
From-SVN: r244615
2017-01-19sem_dim.adb (Analyze_Dimension): Analyze object declaration and identifier ↵Ed Schonberg2-7/+23
nodes that do not come from source... 2017-01-19 Ed Schonberg <schonberg@adacore.com> * sem_dim.adb (Analyze_Dimension): Analyze object declaration and identifier nodes that do not come from source, to handle properly dimensionality check within an inlined body which inclddes both original operands and rewritten operands. This removes spurious dimensionality errors in the presence of front-end inlining, as well as in SPARK mode. From-SVN: r244614
2017-01-19[expand] Fix for PR rtl-optimization/79121 incorrect expansion of extend ↵Richard Earnshaw4-13/+72
plus left shift When generating a shift from an extended value moving from one to two machine registers, the type of the right shift is for the most significant word should be determined by the signedness of the inner type, not the signedness of the result type. gcc: PR rtl-optimization/79121 * expr.c (expand_expr_real_2, case LSHIFT_EXPR): Look at the signedness of the inner type when shifting an extended value. gcc/testsuite: * gcc.c-torture/execute/pr79121.c: New test. From-SVN: r244613
2017-01-19re PR lto/78407 (LTO breaks separate overriding of symbol aliases)Jan Hubicka2-4/+9
PR lto/78407 * symtab.c (symtab_node::equal_address_to): Fix comparing of interposable aliases. From-SVN: r244612
2017-01-18re PR target/78516 (ICE in lra_assign for e500v2)Peter Bergner2-13/+26
PR target/78516 * config/rs6000/spe.md (mov_si<mode>_e500_subreg0): Fix constraints. Use the evmergelohi instruction. (mov_si<mode>_e500_subreg4_2_le): Likewise. (mov_sitf_e500_subreg8_2_be): Likewise. (mov_sitf_e500_subreg12_2_le): Likewise. (mov_si<mode>_e500_subreg0_2_le): Fix constraints. (mov_si<mode>_e500_subreg4_2_be): Likewise. (mov_sitf_e500_subreg8_2_le): Likewise. (mov_sitf_e500_subreg12_2_be): Likewise. From-SVN: r244609
2017-01-19Daily bump.GCC Administrator1-1/+1
From-SVN: r244608
2017-01-19p9-xxbr-1.c: Fix typos in submission.Michael Meissner3-9/+14
2017-01-18 Michael Meissner <meissner@linux.vnet.ibm.com> * gcc.target/powerpc/p9-xxbr-1.c: Fix typos in submission. * gcc.target/powerpc/p9-xxbr-2.c: Likewise. From-SVN: r244605
2017-01-18altivec.md (altivec_vbpermq): Change "type" attribute from vecsimple to vecperm.Bill Schmidt2-2/+8
2017-01-18 Bill Schmidt <wschmidt@linux.vnet.ibm.com> * config/rs6000/altivec.md (altivec_vbpermq): Change "type" attribute from vecsimple to vecperm. (altivec_vbpermq2): Likewise. From-SVN: r244603
2017-01-18re PR target/79040 (vec_cntlz redefined)Bill Schmidt2-1/+6
2017-01-18 Bill Schmidt <wschmidt@linux.vnet.ibm.com> PR target/79040 * config/rs6000/altivec.h: Fix typo of vec_cntlz to vec_cnttz. From-SVN: r244602
2017-01-18re PR fortran/50069 (FORALL fails on a character array)Louis Krupp13-94/+398
2017-01-18 Louis Krupp <louis.krupp@zoho.com> PR fortran/50069 PR fortran/55086 * gfortran.dg/pr50069_1.f90: New test. * gfortran.dg/pr50069_2.f90: New test. * gfortran.dg/pr55086_1.f90: New test. * gfortran.dg/pr55086_1_tfat.f90: New test. * gfortran.dg/pr55086_2.f90: New test. * gfortran.dg/pr55086_2_tfat.f90: New test. * gfortran.dg/pr55086_aliasing_dummy_4_tfat.f90: New test. 2017-01-18 Louis Krupp <louis.krupp@zoho.com> PR fortran/50069 PR fortran/55086 * trans-expr.c (gfc_conv_variable): Don't treat temporary variables as function arguments. * trans-stmt.c (forall_make_variable_temp, generate_loop_for_temp_to_lhs, gfc_trans_assign_need_temp, gfc_trans_forall_1): Don't adjust offset of forall temporary for array sections, make forall temporaries work for substring expressions, improve test coverage by adding -ftest-forall-temp option to request usage of temporary array in forall code. * lang.opt: Add -ftest-forall-temp option. * invoke.texi: Add -ftest-forall-temp option. From-SVN: r244601
2017-01-18Implement LANG_HOOKS_TYPE_FOR_SIZE for jitDavid Malcolm2-4/+50
gcc/jit/ChangeLog: * dummy-frontend.c (jit_langhook_type_for_size): Implement, using lto's lto_type_for_size. From-SVN: r244600
2017-01-18PR c++/68666 - member variable template-idJason Merrill6-2/+38
* typeck.c (finish_class_member_access_expr): Handle variable template-id. * pt.c (lookup_and_finish_template_variable): No longer static. * cp-tree.h: Declare it. From-SVN: r244599
2017-01-18rs6000-protos.h (expand_strn_compare): Add arg.Aaron Sawdey7-111/+934
2017-01-18 Aaron Sawdey <acsawdey@linux.vnet.ibm.com> * config/rs6000/rs6000-protos.h (expand_strn_compare): Add arg. * config/rs6000/rs6000.c (expand_strn_compare): Add ability to expand strcmp. Fix bug where comparison didn't stop with zero byte. Fix case where N arg is SIZE_MAX. * config/rs6000/rs6000.md (cmpstrnsi): Args to expand_strn_compare. (cmpstrsi): Add pattern. 2017-01-18 Aaron Sawdey <acsawdey@linux.vnet.ibm.com> * gcc.dg/strcmp-1.c: New test. * gcc.dg/strncmp-1.c: Add test for a bug that escaped. From-SVN: r244598
2017-01-18jit.dg: fix issue with compilation of test-threads.cDavid Malcolm2-22/+39
DejaGnu's <dejagnu.h> provides decls of various inline functions, of which the jit testsuite uses "pass", "fail" and "note". The jit testcase test-threads.c jumps through some hoops to make these functions threadsafe, using macros to rename the implementation in dejagnu.h, giving them a "dejagnu_" prefix, then reimplementing the names with wrappers that use a mutex. The DejaGnu functions gained a "static" modifier in ad36659ffa984a0541cfc2bd27f393e0d7d173a7, which appears to be in DejaGnu 1.5.2 onwards. Unfortunately, jit.dg/test-threads.c has forward decls of "dejagnu_pass" etc, and these don't have "static", leading to conflicts with later versions of DejaGnu for which "pass" etc have "static". This patch fixes things by removing the forward decls of "dejagnu_pass", moving the usage of them to a point at which dejagnu.h has been included, which ought to work with both earlier and later versions of DejaGnu. Fixes compilation of test-threads.c in jit testsuite. gcc/testsuite/ChangeLog: * jit.dg/test-threads.c (dejagnu_pass): Remove decl. (dejagnu_fail): Likewise. (dejagnu_note): Likewise. (pass): Provide forward decl, moving true decl to after #include of harness.h. (fail): Likewise. (note): Likewise. From-SVN: r244597
2017-01-18rs6000-c.c (altivec_overloaded_builtins): Add __builtin_vec_revb builtins.Michael Meissner9-0/+242
[gcc] 2017-01-18 Michael Meissner <meissner@linux.vnet.ibm.com> * config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Add __builtin_vec_revb builtins. * config/rs6000/rs6000-builtins.def (P9V_BUILTIN_XXBRQ_V16QI): Add built-in functions to support generation of the ISA 3.0 XXBR<x> vector byte reverse instructions. (P9V_BUILTIN_XXBRQ_V1TI): Likewise. (P9V_BUILTIN_XXBRD_V2DI): Likewise. (P9V_BUILTIN_XXBRD_V2DF): Likewise. (P9V_BUILTIN_XXBGW_V4SI): Likewise. (P9V_BUILTIN_XXBGW_V4SF): Likewise. (P9V_BUILTIN_XXBGH_V8HI): Likewise. (P9V_BUILTIN_VEC_REVB): Likewise. * config/rs6000/vsx.md (p9_xxbrq_v1ti): New insns/expanders to generate the ISA 3.0 XXBR<x> vector byte reverse instructions. (p9_xxbrq_v16qi): Likewise. (p9_xxbrd_<mode>, VSX_D iterator): Likewise. (p9_xxbrw_<mode>, VSX_W iterator): Likewise. (p9_xxbrh_v8hi): Likewise. * config/rs6000/altivec.h (vec_revb): Define if ISA 3.0. * doc/extend.texi (RS/6000 Altivec Built-ins): Document the vec_revb built-in functions. [gcc/testsuite] 2017-01-18 Michael Meissner <meissner@linux.vnet.ibm.com> * gcc.target/powerpc/p9-xxbr-1.c: New test. * gcc.target/powerpc/p9-xxbr-2.c: Likewise. From-SVN: r244593
2017-01-18re PR c++/78488 (P0136R1 ICE when building call to inherited default ↵Nathan Sidwell4-0/+25
constructor.) PR c++/78488 * call.c (build_over_call): When checking ellipsis conversions for an inherited ctor, make sure there is at least one conversion. * g++.dg/cpp1z/inh-ctor37.C: New. From-SVN: r244592
2017-01-18re PR rtl-optimization/78952 (Combine does not convert 8-bit sign-extract to ↵Uros Bizjak5-15/+72
a zero-extract for QImode operations) PR rtl-optimization/78952 * config/i386/i386.md (any_extract): New code iterator. (*insvqi_2): Use any_extract for source operand. (*insvqi_3): Use any_shiftrt for source operand. testsuite/ChangeLog: PR rtl-optimization/78952 * gcc.target/i386/pr78952-1.c: New test. * gcc.target/i386/pr78952-2.c: Ditto. From-SVN: r244591
2017-01-18coarray_alloc_with_implicit_sync_2.f90: New test.Andre Vehreschild5-12/+67
gcc/testsuite/ChangeLog: 2017-01-18 Andre Vehreschild <vehre@gcc.gnu.org> * gfortran.dg/coarray_alloc_with_implicit_sync_2.f90: New test. Also fixed date in gcc/testsuite/ChangeLog on my previous commit. gcc/fortran/ChangeLog: 2017-01-18 Andre Vehreschild <vehre@gcc.gnu.org> * primary.c (caf_variable_attr): Improve figuring whether the current component is the last one refed. * trans-stmt.c (gfc_trans_allocate): Do not generate sync_all calls when allocating pointer or allocatable components. From-SVN: r244590
2017-01-18gfortran.texi: Add missing parameters to caf-API functions.Andre Vehreschild2-323/+359
gcc/fortran/ChangeLog: 2017-01-18 Andre Vehreschild <vehre@gcc.gnu.org> * gfortran.texi: Add missing parameters to caf-API functions. Correct typos and clarify some descriptions. Adjusted date of my previous commit. From-SVN: r244589
2017-01-18re PR fortran/70696 ([Coarray] ICE on EVENT POST of host-associated ↵Andre Vehreschild5-5/+35
EVENT_TYPE coarray) gcc/fortran/ChangeLog: 2017-01-17 Andre Vehreschild <vehre@gcc.gnu.org> PR fortran/70696 Missed some parts, here they are: * trans-decl.c (gfc_build_qualified_array): Add static tokens to the parent function's scope. * trans-expr.c (gfc_get_tree_for_caf_expr): Shorten code. Remove unnecessary assert. gcc/testsuite/ChangeLog: 2017-01-17 Andre Vehreschild <vehre@gcc.gnu.org> PR fortran/70696 * gfortran.dg/coarray_event_1.f08: New test. From-SVN: r244587
2017-01-18SHA1H instructions may be scheduled after a SHA1C instruction that uses the ↵Wilco Dijkstra2-0/+29
same input register. SHA1H instructions may be scheduled after a SHA1C instruction that uses the same input register. However SHA1C updates its input, so if SHA1H is scheduled after it, it requires an extra move. Increase the priority of SHA1H to ensure it gets scheduled earlier, avoiding the move. gcc/ * config/aarch64/aarch64.c (aarch64_sched_adjust_priority) New function. (TARGET_SCHED_ADJUST_PRIORITY): Define target hook. From-SVN: r244586
2017-01-18re PR rtl-optimization/77416 (LRA rematerializing use of CA reg across ↵Jakub Jelinek8-10/+25
function call) PR target/77416 * gcc.target/powerpc/pr77416.c Guard the test only for ilp32 effective target. Use powerpc* instead of powerpc64* in targets. Remove -m32 from dg-options. * gcc.target/powerpc/pr64205.c: Remove -m32 from dg-options of ilp32 guarded test. * gcc.target/powerpc/fusion4.c: Likewise. * gcc.target/powerpc/pr63491.c: Remove -m64 from dg-options of lp64 guarded test. * gcc.target/powerpc/pr58673-1.c: Likewise. * gcc.target/powerpc/pr58673-2.c: Likewise. * gcc.target/powerpc/pr59054.c: Likewise. From-SVN: r244585
2017-01-18fix dateJason Merrill1-1/+1
From-SVN: r244583
2017-01-18PR c++/78894 - ICE with class deduction and default argJason Merrill3-0/+27
* pt.c (build_deduction_guide): Set DECL_PRIMARY_TEMPLATE. From-SVN: r244582
2017-01-18re PR lto/79061 ([LTO][ASAN] LTO plus ASAN fails with "AddressSanitizer: ↵Maxim Ostapenko8-5/+58
initialization-order-fiasco") PR lto/79061 gcc/ * asan.c (get_translation_unit_decl): New function. (asan_add_global): Extract modules file name from globals TRANSLATION_UNIT_DECL in lto mode. * tree.c (build_translation_unit_decl): Add source location for newly built TRANSLATION_UNIT_DECL. gcc/lto/ * lto.c (lto_read_decls): accept location cache for TRANSLATION_UNIT_DECL. gcc/testsuite/ * gcc.dg/cpp/mi1.c: Adjust testcase. * gcc.dg/pch/cpp-3.c: Likewise. From-SVN: r244581
2017-01-18PR c++/77489 -- Reorganize abi warning checkMarkus Trippelsdorf2-2/+8
PR c++/77489 * mangle.c (write_discriminator): Reorganize abi warning check. From-SVN: r244580
2017-01-18re PR libobjc/78697 (--with-target-bdw-gc-include shouldn't be required to ↵Matthias Klose2-2/+10
be per multilib) 2017-01-18 Matthias Klose <doko@ubuntu.com> PR libobjc/78697 * configure.ac: Allow default for --with-target-bdw-gc-include. * configure: Regenerate. PR libobjc/78698 * configure.ac: Use the libgc.la file when available. * configure: Regenerate. 2017-01-18 Matthias Klose <doko@ubuntu.com> * doc/install.texi: Allow default for --with-target-bdw-gc-include. From-SVN: r244579
2017-01-18altivec.h (vec_bperm): Change #define.Bill Schmidt9-4/+80
[gcc] 2016-01-18 Bill Schmidt <wschmidt@linux.vnet.ibm.com> * config/rs6000/altivec.h (vec_bperm): Change #define. * config/rs6000/altivec.md (UNSPEC_VBPERMD): New enum constant. (altivec_vbpermq2): New define_insn. (altivec_vbpermd): Likewise. * config/rs6000/rs6000-builtin.def (VBPERMQ2): New monomorphic function interface. (VBPERMD): Likewise. (VBPERM): New polymorphic function interface. * config/rs6000/r6000-c.c (altivec_overloaded_builtins_table): Add entries for P9V_BUILTIN_VEC_VBPERM. * doc/extend.texi: Add interfaces for vec_bperm. [gcc/testsuite] 2016-01-18 Bill Schmidt <wschmidt@linux.vnet.ibm.com> * gcc.target/powerpc/p8vector-builtin-8.c: Add new form for vec_bperm. * gcc.target/powerpc/p9-vbpermd.c: New file. From-SVN: r244578
2017-01-18S/390: Downcase first letter of error messages.Andreas Krebbel8-16/+35
gcc/testsuite/ChangeLog: 2017-01-18 Andreas Krebbel <krebbel@linux.vnet.ibm.com> * gcc.target/s390/htm-builtins-compile-2.c (must_not_compile1): (must_not_compile2): Downcase first letter of error messages. * gcc.target/s390/target-attribute/tattr-13.c (b): Likewise. * gcc.target/s390/vector/vec-abi-vararg-2.c: Likewise. gcc/ChangeLog: 2017-01-18 Andreas Krebbel <krebbel@linux.vnet.ibm.com> * config/s390/s390-c.c (s390_expand_overloaded_builtin): Downcase first letter of error messages. (s390_resolve_overloaded_builtin): Likewise. * config/s390/s390.c (s390_expand_builtin): Likewise. (s390_invalid_arg_for_unprototyped_fn): Likewise. (s390_valid_target_attribute_inner_p): Likewise. * config/s390/s390.md ("tabort"): Likewise. From-SVN: r244577
2017-01-18cp-tree.h: Clarify exception spec node comment.Nathan Sidwell3-8/+14
* cp-tree.h: Clarify exception spec node comment. * except.c (nothrow_spec_p): Simplify by checking node-equality. From-SVN: r244576
2017-01-18re PR c++/79091 (ICE in write_unnamed_type)Nathan Sidwell4-8/+43
PR c++/79091 * mangle.c (write_exception_spec): Check nothrow explicitly. (write_encoding): Don't increment processing_template_decl around encoding. PR c++/79091 * g++.dg/pr79091.C: New. From-SVN: r244575
2017-01-18tattr-2.c: Add -fno-ipa-icf to dg-options.Jakub Jelinek2-2/+8
* gcc.target/s390/target-attribute/tattr-2.c: Add -fno-ipa-icf to dg-options. (p0): Add missing dg-error. From-SVN: r244571