aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2017-11-16re PR c++/70383 (Bogus error when attempting to capture a reference to ↵Paolo Carlini2-0/+13
function by copy) 2017-11-16 Paolo Carlini <paolo.carlini@oracle.com> PR c++/70383 * g++.dg/cpp0x/lambda/lambda-70383.C: New. From-SVN: r254808
2017-11-16cfgloopanal.c: Include sreal.hJan Hubicka2-10/+16
* cfgloopanal.c: Include sreal.h (average_num_loop_insns): Use counts and sreal for accounting. From-SVN: r254807
2017-11-16cfgloopmanip.c (duplicate_loop_to_header_edge): Cleanup profile manipulation.Jan Hubicka2-68/+60
* cfgloopmanip.c (duplicate_loop_to_header_edge): Cleanup profile manipulation. From-SVN: r254806
2017-11-16[multiple changes]Pierre-Marie de Rodat10-22/+511
2017-11-16 Yannick Moy <moy@adacore.com> * sem_elab.adb (Include): Fix mode of parameter Curr to out. 2017-11-16 Piotr Trojanek <trojanek@adacore.com> * sem_util.ads, sem_util.adb (Is_CCT_Instance): Allow calls where Context_Id denotes a record type. 2017-11-16 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch8.adb (Check_SPARK_Primitive_Operation): Enable the check in instantiations. 2017-11-16 Doug Rupp <rupp@adacore.com> Initial gnat port to aarch64-wrs-vxworks7 * libgnarl/s-vxwork__aarch64.ads, libgnat/system-vxworks7-aarch64-rtp-smp.ads, libgnat/system-vxworks7-aarch64.ads: New files * sigtramp-vxworks-target.inc (aarch64): New section. * tracebak.c (USE_ARM_UNWINDING): Disable for ARMARCH8A. From-SVN: r254805
2017-11-16[multiple changes]Pierre-Marie de Rodat5-14/+127
2017-11-16 Hristian Kirtchev <kirtchev@adacore.com> * sem_elab.adb (Include): Including a node which is also a compilation unit terminates the search because there are no more lists to examine. 2017-11-16 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch8.adb (Analyze_Subprogram_Renaming): Ensure that a renaming declaration does not define a primitive operation of a tagged type for SPARK. (Check_SPARK_Primitive_Operation): New routine. 2017-11-16 Arnaud Charlet <charlet@adacore.com> * libgnat/a-elchha.adb (Last_Chance_Handler): Display Argv (0) in message when using -E binder switch. 2017-11-16 Piotr Trojanek <trojanek@adacore.com> * errout.ads: Fix minor typo in comment. From-SVN: r254804
2017-11-16[multiple changes]Pierre-Marie de Rodat5-35/+52
2017-11-16 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Process_Subtype): If the subtype indication does not syntactically denote a type, return Any_Type to prevent subsequent compiler crashes or infinite loops. 2017-11-16 Steve Baird <baird@adacore.com> * lib-writ.adb: Fix bug which causes Program_Error to be raised in some cases when writing out a .ali file when a Rename_Pragma pragma is in effect. * lib-writ.adb (Write_Unit_Information): Replace call to Pragma_Name_Unmapped with call to Pragma_Name. 2017-11-16 Gary Dismukes <dismukes@adacore.com> * sem_elab.adb: Minor typo fixes. 2017-11-16 Justin Squirek <squirek@adacore.com> * sem_res.adb (Resolve_Allocator): Correct warning messages and make them more explicit. From-SVN: r254803
2017-11-16[multiple changes]Pierre-Marie de Rodat17-1348/+4339
2017-11-16 Hristian Kirtchev <kirtchev@adacore.com> * atree.ads (Nkind_In): Add 10 and 11 parameter versions. * checks.adb (Install_Primitive_Elaboration_Check): Mark the setting of the elaboration flag as elaboration code. * einfo.adb (Contract): Update the comments. (Ignore_SPARK_Mode_Pragmas): Update the comments. (SPARK_Aux_Pragma): Update the comments. (SPARK_Aux_Pragma_Inherited): Update the comments. (SPARK_Pragma): Update the comments. The attribute now applies to all types and abstract states. (SPARK_Pragma_Inherited): Update the comments. The attribute now applies to all types and abstract states. (Set_Contract): Update the comments. (Set_Ignore_SPARK_Mode_Pragmas): Update the comments. (Set_SPARK_Aux_Pragma): Update the comments. (Set_SPARK_Aux_Pragma_Inherited): Update the comments. (Set_SPARK_Pragma): Update the comments. The attribute now applies to all types and abstract states. (Set_SPARK_Pragma_Inherited): Update the comments. The attribute now applies to all types and abstract states. (Write_Field40_Name): Add output for SPARK_Pragma when it appears on a type and abstract states. * einfo.ads: Update the documentation of attributes SPARK_Pragma and SPARK_Pragma_Inherited. Both of them now apply to all types and abstract states. * exp_util.adb (Set_Elaboration_Flag): Mark the setting of the elaboration flag as elaboration code. * sem_ch3.adb: Add with and use clauses for Sem_Elab. (Analyze_Full_Type_Declaration): Set the SPARK_Mode of the type. Record a derived type for later processing by the ABE mechanism. (Analyze_Incomplete_Type_Decl): Set the SPARK_Mode of the type. (Analyze_Private_Extension_Declaration): Set the SPARK_Mode of the type. * sem_ch7.adb (Analyze_Private_Type_Declaration): Set the SPARK_Mode of the type. * sem_elab.adb: Define the term "early call region". Update the terminology for "scenario" and "target". Update the architecture of the ABE mechanism. Update the steps which must be taken when adding a new scenario. Update the section on debugging ABE issues. Add new hash tables Early_Call_Regions and Recorded_SPARK_Scenarios. Add new table SPARK_Scenarios. Hash table Elaboration_Context is now Elaboration_Statuses. The majority of Process_xxx routines have been updated to better reflect their role. (Add_Unit): Reimplemented. (Check_Elaboration_Constituent): New routine. (Check_Elaboration_Scenarios): Verify previously recorded scenarios for conditional ABE issues. Verify previously recorded SPARK scenarios. (Check_SPARK_Derived_Type): New routine. (Check_SPARK_Instantiation): New routine. (Check_SPARK_Scenario): New routine. (Check_SPARK_Refined_State_Pragma): New routine. (Early_Call_Region): New routine. (Elaboration_Status): New routine. (Ensure_Prior_Elaboration): Add new formal parameter Prag_Nam. The implicit Elabotate[_All] pragma is now specified via Prag_Nam. (Find_Early_Call_Region): New routine. (Info_Scenario): Add output for refinement constituents. (Is_Recorded_SPARK_Scenario): New routine. (Is_Suitable_SPARK_Derived_Type): New routine. (Is_Suitable_SPARK_Instantiation): New routine. (Is_Suitable_SPARK_Refined_State_Pragma): New routine. (Is_Visited_Body): New routine. (Kill_Elaboration_Scenario): Reimplemented. (Output_Active_Scenarios): Add output for pragma Refined_State. (Output_SPARK_Refined_State_Pragma): New routine. (Process_Conditional_ABE_Call): Remove the use of -gnatd.v. The effect is now achieved by different means. (Process_Conditional_ABE_Call_SPARK): Verify that a call which precedes the subprogram body appears within the early call region of the body. Either ensure the prior elaboration of external subprograms or verify that the context meets the suitable elaboration requirement. (Process_Conditional_ABE_Instantiation_SPARK): New routine. (Record_Elaboration_Scenario): Reimplement the portion which enforces the level restrictions of the static model. Add support for SPARK scenarios. (Record_SPARK_Elaboration_Scenario): New routine. (Reset_Visited_Bodies): New routine. (Set_Early_Call_Region): New routine. (Set_Elaboration_Status): New routine. (Set_Is_Recorded_SPARK_Scenario): New routine. (Update_Elaboration_Scenario): Reimplemented. * sem_elab.ads: Add new subtype Library_Or_Instantiation_Level. * sem_prag.adb (Analyze_Refined_State_In_Decl_Part): Save the pragma for examination by the ABE Processing phase. (Create_Abstract_State): Save the SPARK_Mode from the context. * sem_util.adb (Is_Non_Preelaborable_Construct): New routine. * sem_util.ads (Is_Non_Preelaborable_Construct): New routine. * sinfo.adb (Is_Elaboration_Code): New routine. (Set_Is_Elaboration_Code): New routine. (Nkind_In): Add 10 and 11 parameter versions. * sinfo.ads: Add new attribute Is_Elaboration_Code along with occurrences in nodes. (Is_Elaboration_Code): New routine along with pragma Inline. (Set_Is_Elaboration_Code): New routine along with pragma Inline. (Nkind_In): Add 10 and 11 parameter versions. 2017-11-16 Justin Squirek <squirek@adacore.com> * sem.adb (Analyze): Remove requirement that the original node of N be an operator in the case that analysis on the node yields the relevant operator - so prefer it instead. From-SVN: r254802
2017-11-16sem_ch6.adb (Create_Extra_Formals): The type of the BIP_Object_Access formal ↵Bob Duff5-6/+100
must not have a designated type that... 2017-11-16 Bob Duff <duff@adacore.com> * sem_ch6.adb (Create_Extra_Formals): The type of the BIP_Object_Access formal must not have a designated type that is the full view coming from a limited-with'ed package. * sem_util.adb,sem_util.ads (Incomplete_View_From_Limited_With): New function called from sem_ch6. * sem_ch5.adb (Analyze_Assignment): Treat user-defined concatenation specially for b-i-p cases. From-SVN: r254801
2017-11-16Provide more constraints for future use.Chung-Ju Wu3-3/+72
gcc/ * config/nds32/constraints.md: Provide more constraints. * config/nds32/nds32.h (enum reg_class, REG_CLASS_NAMES, REG_CLASS_CONTENTS): Define R5_REG, R8_REG, and FRAME_POINTER_REG to support constraints usage. Co-Authored-By: Kito Cheng <kito.cheng@gmail.com> From-SVN: r254800
2017-11-16Remove the useless constant UNSPEC_VOLATILE_FUNC_RETURN.Chung-Ju Wu2-1/+4
gcc/ * config/nds32/constants.md (UNSPEC_VOLATILE_FUNC_RETURN): Remove. From-SVN: r254799
2017-11-16Add new options: -mext-perf, -mext-perf2, -mext-string.Chung-Ju Wu8-24/+79
gcc/ * config/nds32/nds32.opt: Add mext-perf, mext-perf2, mext-string. * config/nds32/nds32.opt: Refine the layout. * config/nds32/nds32.c (TARGET_EXT_PERF, TARGET_EXT_PERF2, TARGET_EXT_STRING): Support new options. * config/nds32/nds32.h: Likewise. * config/nds32/nds32.md: Likewise. * config/nds32/nds32-predicates.c: Likewise. * config/nds32/constraints.md: Likewise. * common/config/nds32/nds32-common.c: Likewise. Co-Authored-By: Kito Cheng <kito.cheng@gmail.com> From-SVN: r254798
2017-11-16Fix GFNI check which didn't work properly in gfni+sse caseJulia Koval3-2/+10
gcc/ PR target/82983 * config/i386/gfniintrin.h: Add sse check. * config/i386/i386.c (ix86_expand_builtin): Fix gfni check. From-SVN: r254797
2017-11-16Enable VBMI2 support [1/7]Julia Koval9-7/+58
gcc/ * common/config/i386/i386-common.c (OPTION_MASK_ISA_AVX512VBMI2_SET, OPTION_MASK_ISA_AVX512VBMI2_UNSET): New. (ix86_handle_option): Handle -mavx512vbmi2. * config/i386/cpuid.h: Add bit_AVX512VBMI2. * config/i386/driver-i386.c (host_detect_local_cpu): Handle new bit. * config/i386/i386-c.c (__AVX512VBMI2__): New. * config/i386/i386.c (ix86_target_string): Handle -mavx512vbmi2. (ix86_valid_target_attribute_inner_p): Ditto. * config/i386/i386.h (TARGET_AVX512VBMI2, TARGET_AVX512VBMI2_P): New. * config/i386/i386.opt (mavx512vbmi2): New option. * doc/invoke.texi: Add new option. From-SVN: r254796
2017-11-16GFNI enabling [4/4]Julia Koval15-4/+244
gcc/ * config/i386/gfniintrin.h (_mm_gf2p8mul_epi8, _mm256_gf2p8mul_epi8, _mm_mask_gf2p8mul_epi8, _mm_maskz_gf2p8mul_epi8, _mm256_mask_gf2p8mul_epi8, _mm256_maskz_gf2p8mul_epi8, _mm512_mask_gf2p8mul_epi8, _mm512_maskz_gf2p8mul_epi8, _mm512_gf2p8mul_epi8): New intrinsics. * config/i386/i386-builtin-types.def (V64QI_FTYPE_V64QI_V64QI): New type. * config/i386/i386-builtin.def (__builtin_ia32_vgf2p8mulb_v64qi, __builtin_ia32_vgf2p8mulb_v64qi_mask, __builtin_ia32_vgf2p8mulb_v32qi, __builtin_ia32_vgf2p8mulb_v32qi_mask, __builtin_ia32_vgf2p8mulb_v16qi, __builtin_ia32_vgf2p8mulb_v16qi_mask): New builtins. * config/i386/sse.md (vgf2p8mulb_*): New pattern. * config/i386/i386.c (ix86_expand_args_builtin): Handle new type. gcc/testsuite/ * gcc.target/i386/avx512f-gf2p8mulb-2.c: New runtime tests. * gcc.target/i386/avx512vl-gf2p8mulb-2.c: Ditto. * gcc.target/i386/gfni-1.c: Add tests for GF2P8MUL. * gcc.target/i386/gfni-2.c: Ditto. * gcc.target/i386/gfni-3.c: Ditto. * gcc.target/i386/gfni-4.c: Ditto. From-SVN: r254795
2017-11-16* include/std/numeric (gcd): Fix typo.Jason Merrill1-0/+4
From-SVN: r254794
2017-11-16Daily bump.GCC Administrator1-1/+1
From-SVN: r254793
2017-11-15i386.c (x86_print_call_or_nop): Emit 5 byte nop explicitly as a stream of bytes.Uros Bizjak2-16/+24
* config/i386/i386.c (x86_print_call_or_nop): Emit 5 byte nop explicitly as a stream of bytes. From-SVN: r254788
2017-11-15altivec.h (vec_xst_be): New #define.Bill Schmidt9-236/+380
[gcc] 2017-11-15 Bill Schmidt <wschmidt@linux.vnet.ibm.com> * config/rs6000/altivec.h (vec_xst_be): New #define. * config/rs6000/altivec.md (altivec_vperm_<mode>_direct): Rename and externalize from *altivec_vperm_<mode>_internal. * config/rs6000/rs6000-builtin.def (XL_BE_V16QI): Remove macro instantiation. (XL_BE_V8HI): Likewise. (XL_BE_V4SI): Likewise. (XL_BE_V4SI): Likewise. (XL_BE_V2DI): Likewise. (XL_BE_V4SF): Likewise. (XL_BE_V2DF): Likewise. (XST_BE): Add BU_VSX_OVERLOAD_X macro instantiation. * config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Correct all array entries with these keys: VSX_BUILTIN_VEC_XL, VSX_BUILTIN_VEC_XL_BE, VSX_BUILTIN_VEC_XST. Add entries for key VSX_BUILTIN_VEC_XST_BE. * config/rs6000/rs6000.c (altivec_expand_xl_be_builtin): Remove. (altivec_expand_builtin): Remove handling for VSX_BUILTIN_XL_BE_* built-ins. (altivec_init_builtins): Replace conditional calls to def_builtin for __builtin_vsx_ld_elemrev_{v8hi,v16qi} and __builtin_vsx_st_elemrev_{v8hi,v16qi} based on TARGET_P9_VECTOR with unconditional calls. Remove calls to def_builtin for __builtin_vsx_le_be_<mode>. Add a call to def_builtin for __builtin_vec_xst_be. * config/rs6000/vsx.md (vsx_ld_elemrev_v8hi): Convert define_insn to define_expand, and add alternate RTL generation for P8. (*vsx_ld_elemrev_v8hi_internal): New define_insn based on vsx_ld_elemrev_v8hi. (vsx_ld_elemrev_v16qi): Convert define_insn to define_expand, and add alternate RTL generation for P8. (*vsx_ld_elemrev_v16qi_internal): New define_insn based on vsx_ld_elemrev_v16qi. (vsx_st_elemrev_v8hi): Convert define_insn to define_expand, and add alternate RTL generation for P8. (*vsx_st_elemrev_v8hi_internal): New define_insn based on vsx_st_elemrev_v8hi. (vsx_st_elemrev_v16qi): Convert define_insn to define_expand, and add alternate RTL generation for P8. (*vsx_st_elemrev_v16qi_internal): New define_insn based on vsx_st_elemrev_v16qi. [gcc/testsuite] 2017-11-15 Bill Schmidt <wschmidt@linux.vnet.ibm.com> * gcc.target/powerpc/swaps-p8-26.c: Modify expected code generation. From-SVN: r254787
2017-11-15PR testsuite/82988 - g++.dg/cpp0x/lambda/lambda-switch.C failMartin Sebor2-2/+9
gcc/testsuite/ChangeLog: PR testsuite/82988 * g++.dg/cpp0x/lambda/lambda-switch.C: Prune unimportant warning. From-SVN: r254786
2017-11-15Fix gcd breakage.Ville Voutilainen2-1/+6
* include/std/numeric (gcd): Use remove_cv_t, not remove_cv. From-SVN: r254785
2017-11-15Move gcc/testsuite entries to gcc/testsuite/ChangeLogH.J. Lu2-6/+5
From-SVN: r254784
2017-11-15i386: Add X86_TUNE_EMIT_VZEROUPPERH.J. Lu13-3/+91
Add X86_TUNE_EMIT_VZEROUPPER to indicate if vzeroupper instruction should be inserted before a transfer of control flow out of the function. It is turned on by default unless we are tuning for KNL. Users can always use -mzeroupper or -mno-zeroupper to override X86_TUNE_EMIT_VZEROUPPER. gcc/ PR target/82990 * config/i386/i386.c (pass_insert_vzeroupper::gate): Remove TARGET_AVX512ER check. (ix86_option_override_internal): Set MASK_VZEROUPPER if neither -mzeroupper nor -mno-zeroupper is used and TARGET_EMIT_VZEROUPPER is set. * config/i386/i386.h (TARGET_EMIT_VZEROUPPER): New. * config/i386/x86-tune.def: Add X86_TUNE_EMIT_VZEROUPPER. gcc/testsuite/ PR target/82990 * gcc.target/i386/pr82942-2.c: Add -mtune=knl. * gcc.target/i386/pr82990-1.c: New test. * gcc.target/i386/pr82990-2.c: Likewise. * gcc.target/i386/pr82990-3.c: Likewise. * gcc.target/i386/pr82990-4.c: Likewise. * gcc.target/i386/pr82990-5.c: Likewise. * gcc.target/i386/pr82990-6.c: Likewise. * gcc.target/i386/pr82990-7.c: Likewise. From-SVN: r254783
2017-11-15rs6000.c (rs6000_gimple_fold_builtin): Add support for folding of vector ↵Will Schmidt13-36/+155
compares. 2017-11-15 Will Schmidt <will_schmidt@vnet.ibm.com> [gcc] * config/rs6000/rs6000.c (rs6000_gimple_fold_builtin): Add support for folding of vector compares. (fold_build_vec_cmp): New helper function. (fold_compare_helper): New helper function. (builtin_function_type): Add compare builtins to the list of functions having unsigned arguments. Cosmetic updates to comment indentation. * config/rs6000/vsx.md (vcmpneb, vcmpneh, vcmpnew): Update to specify the not+eq combination. [testsuite] * gcc.target/powerpc/builtins-3-p9.c: Add -O1, update expected codegen checks. * gcc.target/powerpc/vec-cmp-sel.c: Mark vars as volatile. * gcc.target/powerpc/vsu/vec-cmpne-0.c: Add -O1. * gcc.target/powerpc/vsu/vec-cmpne-1.c: Add -O1. * gcc.target/powerpc/vsu/vec-cmpne-2.c: Add -O1. * gcc.target/powerpc/vsu/vec-cmpne-3.c: Add -O1. * gcc.target/powerpc/vsu/vec-cmpne-4.c: Add -O1. * gcc.target/powerpc/vsu/vec-cmpne-5.c: Add -O1. * gcc.target/powerpc/vsu/vec-cmpne-6.c: Add -O1. From-SVN: r254782
2017-11-15Minor improvements to Filesystem testsJonathan Wakely4-1/+11
* testsuite/27_io/filesystem/iterators/directory_iterator.cc: Leave error_code unset. * testsuite/27_io/filesystem/iterators/recursive_directory_iterator.cc: Check for past-the-end before dereferencing. * testsuite/experimental/filesystem/iterators/ recursive_directory_iterator.cc: Likewise. From-SVN: r254781
2017-11-15re PR fortran/78240 (ICE in match_clist_expr, at fortran/decl.c:728)Steven G. Kargl2-1/+9
2017-11-15 Steven G. Kargl <kargl@gcc.gnu.org> PR fortran/78240 gfortran.dg/pr78240.f90: Prune run-on errors. From-SVN: r254780
2017-11-15Add noexcept to generic std::size, std::empty and std::dataJonathan Wakely2-5/+14
* include/bits/range_access.h (size, empty, data): Add conditional noexcept to generic overloads. From-SVN: r254779
2017-11-15re PR tree-optimization/82726 (ICE in verify_ssa during GIMPLE pass: pcom)Bin Cheng3-16/+165
PR tree-optimization/82726 PR tree-optimization/70754 * tree-predcom.c (order_drefs_by_pos): New function. (combine_chains): Move code setting has_max_use_after to... (try_combine_chains): ...here. New parameter. Sort combined chains according to position information. (tree_predictive_commoning_loop): Update call to above function. (update_pos_for_combined_chains, pcom_stmt_dominates_stmt_p): New. gcc/testsuite * gcc.dg/tree-ssa/pr82726.c: New test. From-SVN: r254778
2017-11-15re PR tree-optimization/82726 (ICE in verify_ssa during GIMPLE pass: pcom)Bin Cheng2-51/+33
PR tree-optimization/82726 Revert 2017-01-23 Bin Cheng <bin.cheng@arm.com> PR tree-optimization/70754 * tree-predcom.c (stmt_combining_refs): New parameter INSERT_BEFORE. (reassociate_to_the_same_stmt): New parameter INSERT_BEFORE. Insert combined stmt before it if not NULL. (combine_chains): Process refs reversely and compute dominance point for root ref. Revert 2017-02-23 Bin Cheng <bin.cheng@arm.com> PR tree-optimization/79663 * tree-predcom.c (combine_chains): Process refs in reverse order only for ZERO length chains, and add explaining comment. From-SVN: r254777
2017-11-15arm-cpus.in (armv8_3, [...]): NewTamar Christina4-7/+34
2017-11-15 Tamar Christina <tamar.christina@arm.com> * config/arm/arm-cpus.in (armv8_3, ARMv8_3a, armv8.3-a): New * config/arm/arm-tables.opt (armv8.3-a): Regenerated. * doc/invoke.texi (ARM Options): Add armv8.3-a. From-SVN: r254776
2017-11-15arm.h (TARGET_DOTPROD): Add arm_arch8_2.Tamar Christina2-2/+7
2017-11-15 Tamar Christina <tamar.christina@arm.com> * config/arm/arm.h (TARGET_DOTPROD): Add arm_arch8_2. From-SVN: r254775
2017-11-15RISC-V: Add Jim Wilson as a maintainerPalmer Dabbelt2-1/+7
Jim has recently started working at SiFive, where he'll be contributing to our GCC port. Andrew, Kito and I would like him to be a mainatiner. My understand is that this is the right place to ask. I've also changed my address to my SiFive one, where I also work -- it seems cleaner to have everyone use our proper email address. ChangeLog 2017-11-15 Palmer Dabbelt <palmer@sifive.com> * MAINTAINERS (RISC-V): Add Jim Wilson as a maintainer. Use my SiFive email address. From-SVN: r254774
2017-11-15[ARM] Fix more -Wreturn-type falloutSudakshina Das3-1/+9
This patch fixes a couple of more tests that are giving out warnings with -Wreturn-type: - g++.dg/ext/pr57735.C - gcc.target/arm/pr54300.C *** gcc/testsuite/ChangeLog *** 2017-11-10 Sudakshina Das <sudi.das@arm.com> * g++.dg/ext/pr57735.C: Add -Wno-return-type for test. * gcc.target/arm/pr54300.C (main): Add return type and return a value. From-SVN: r254773
2017-11-15Compile strncpy-fix-1.c with -Wno-stringop-truncationTom de Vries2-1/+5
2017-11-15 Tom de Vries <tom@codesourcery.com> * gcc.dg/strncpy-fix-1.c: Add -Wno-stringop-truncation to dg-options. From-SVN: r254772
2017-11-15pr81706.c: Adjust asm for darwin.Dominique d'Humieres3-4/+9
2017-11-15 Dominique d'Humieres <dominiq@lps.ens.fr> * gcc.target/i386/pr81706.c: Adjust asm for darwin. * g++.dg/ext/pr81706.C: Likewise. From-SVN: r254770
2017-11-15Add libgomp.oacc-c-c++-common/f-asyncwait-{1,2,3}.cTom de Vries4-0/+430
2017-11-15 Tom de Vries <tom@codesourcery.com> * testsuite/libgomp.oacc-c-c++-common/f-asyncwait-1.c: New test, copied from asyncwait-1.f90. Rewrite into C. Rewrite from float to int. * testsuite/libgomp.oacc-c-c++-common/f-asyncwait-2.c: New test, copied from asyncwait-2.f90. Rewrite into C. Rewrite from float to int. * testsuite/libgomp.oacc-c-c++-common/f-asyncwait-3.c: New test, copied from asyncwait-3.f90. Rewrite into C. Rewrite from float to int. From-SVN: r254769
2017-11-15[PR c++/81574] lambda capture of function referenceNathan Sidwell4-1/+26
https://gcc.gnu.org/ml/gcc-patches/2017-11/msg01200.html PR c++/81574 * lambda.c (lambda_capture_field_type): Function references are always catured by reference. PR c++/81574 * g++.dg/cpp1y/pr81574.C: New. From-SVN: r254768
2017-11-15re PR tree-optimization/82985 (ICC: in vn_nary_build_or_lookup_1, at ↵Richard Biener2-0/+463
tree-ssa-sccvn.c:1722) 2017-11-15 Richard Biener <rguenther@suse.de> PR tree-optimization/82985 * g++.dg/torture/pr82985.C: Likewise. From-SVN: r254767
2017-11-15Fix fallout of -fsanitize=vptr.Martin Liska2-2/+6
2017-11-15 Martin Liska <mliska@suse.cz> * decl.c (begin_destructor_body): Use cp_build_fold_indirect_ref instead of cp_build_indirect_ref. From-SVN: r254765
2017-11-15Disable -Wreturn-type by default in all languages other from C++.Martin Liska5-8/+19
2017-11-15 Martin Liska <mliska@suse.cz> * tree-cfg.c (pass_warn_function_return::execute): Compare warn_return_type for greater than zero. 2017-11-15 Martin Liska <mliska@suse.cz> * options.c (gfc_post_options): Do not set default value of warn_return_type. * trans-decl.c (gfc_trans_deferred_vars): Compare warn_return_type for greater than zero. (generate_local_decl): Likewise (gfc_generate_function_code): Likewise. From-SVN: r254764
2017-11-15Fix PR82941 and PR82942 by adding proper vzeroupper generation on SKX. Sebastian Peryt8-26/+93
2017-11-15 Sebastian Peryt <sebastian.peryt@intel.com> gcc/ PR target/82941 PR target/82942 * config/i386/i386.c (pass_insert_vzeroupper): Modify gate condition to return true on Xeon and not on Xeon Phi. (ix86_check_avx256_register): Changed to ... (ix86_check_avx_upper_register): ... this. Add extra check for VALID_AVX512F_REG_OR_XI_MODE. (ix86_avx_u128_mode_needed): Changed ix86_check_avx256_register to ix86_check_avx_upper_register. (ix86_check_avx256_stores): Changed to ... (ix86_check_avx_upper_stores): ... this. Changed ix86_check_avx256_register to ix86_check_avx_upper_register. (ix86_avx_u128_mode_after): Changed avx_reg256_found to avx_upper_reg_found. Changed ix86_check_avx256_stores to ix86_check_avx_upper_stores. (ix86_avx_u128_mode_entry): Changed ix86_check_avx256_register to ix86_check_avx_upper_register. (ix86_avx_u128_mode_exit): Ditto. * config/i386/i386.h: (host_detect_local_cpu): New define. 2017-11-15 Sebastian Peryt <sebastian.peryt@intel.com> gcc/testsuite/ PR target/82941 PR target/82942 * gcc.target/i386/pr82941-1.c: New test. * gcc.target/i386/pr82941-2.c: New test. * gcc.target/i386/pr82942-1.c: New test. * gcc.target/i386/pr82942-2.c: New test. From-SVN: r254763
2017-11-15MAINTAINERS (write after approval): Add myself.Sebastian Peryt2-0/+5
* MAINTAINERS (write after approval): Add myself. From-SVN: r254762
2017-11-15Fix -Wreturn-type fallout in g++.dg/cpp0x/rv-trivial-bug.C on Solaris 10Rainer Orth2-0/+5
* g++.dg/cpp0x/rv-trivial-bug.C (test2): Return a value. From-SVN: r254760
2017-11-15[AArch64] Improve scheduling model for X-GeneDominik Infuehr2-44/+105
2017-11-15 Dominik Infuehr <dominik.infuehr@theobroma-systems.com> * config/arm/xgene1.md (xgene1): Split into automatons xgene1_main, xgene1_decoder, xgene1_div, xgene1_simd. (xgene1_f_load): Adjust reservations and/or types. (xgene1_f_store): Likewise. (xgene1_load_pair): Likewise. (xgene1_store_pair): Likewise. (xgene1_fp_load1): Likewise. (xgene1_load1): Likewise. (xgene1_store1): Likewise. (xgene1_move): Likewise. (xgene1_alu): Likewise. (xgene1_simd): Likewise. (xgene1_bfm): Likewise. (xgene1_neon_load1): Likewise. (xgene1_neon_store1): Likewise. (xgene1_neon_logic): Likewise. (xgene1_neon_st1): Likewise. (xgene1_neon_ld1r): Likewise. (xgene1_alu_cond): Added. (xgene1_shift_reg): Likwise. (xgene1_bfx): Likewise. (xgene1_mul): Split into xgene1_mul32, xgene1_mul64. From-SVN: r254759
2017-11-15re PR target/82981 (unnecessary __multi3 call for mips64r6 linux kernel)Jakub Jelinek6-7/+126
PR target/82981 * internal-fn.c: Include gimple-ssa.h, tree-phinodes.h and ssa-iterators.h. (can_widen_mult_without_libcall): New function. (expand_mul_overflow): If only checking unsigned mul overflow, not result, and can do efficiently MULT_HIGHPART_EXPR, emit that. Don't use WIDEN_MULT_EXPR if it would involve a libcall, unless no other way works. Add MULT_HIGHPART_EXPR + MULT_EXPR support. (expand_DIVMOD): Formatting fix. * expmed.h (expand_mult): Add NO_LIBCALL argument. * expmed.c (expand_mult): Likewise. Use OPTAB_WIDEN rather than OPTAB_LIB_WIDEN if NO_LIBCALL is true, and allow it to fail. * gcc.target/mips/pr82981.c: New test. From-SVN: r254758
2017-11-15re PR tree-optimization/82977 (AddressSanitizer: heap-use-after-free in ↵Jakub Jelinek2-1/+7
strlen_optimize_stmt .././../gcc/tree-ssa-strlen.c:2971) PR tree-optimization/82977 * tree-ssa-strlen.c (strlen_optimize_stmt): Pass a reference to a copy constructed temporary to strlen_to_stridx.put. From-SVN: r254757
2017-11-15Coverage: remove -fkeep-inline-functions from coverage_flags.Martin Liska3-4/+9
2017-11-15 Martin Liska <mliska@suse.cz> * configure.ac: Remove -fkeep-inline-functions from coverage_flags. * configure: Regenerate. From-SVN: r254756
2017-11-15Use proper probability (PR target/82927)Martin Liska2-2/+12
2017-11-15 Martin Liska <mliska@suse.cz> PR target/82927 * config/sh/sh-mem.cc: Use proper probability for REG_BR_PROB_NOTE. From-SVN: r254755
2017-11-15Zero vptr in dtor for -fsanitize=vptr.Martin Liska4-1/+52
2017-11-15 Martin Liska <mliska@suse.cz> * decl.c (begin_destructor_body): In case of VPTR sanitization (with disabled recovery), zero vptr in order to catch virtual calls after lifetime of an object. 2017-11-15 Martin Liska <mliska@suse.cz> * g++.dg/ubsan/vptr-12.C: New test. From-SVN: r254754
2017-11-14explow.c (anti_adjust_stack_and_probe_stack_clash): Avoid probing the red ↵Jeff Law2-2/+16
zone for stack_clash_protection_final_dynamic_probe... * explow.c (anti_adjust_stack_and_probe_stack_clash): Avoid probing the red zone for stack_clash_protection_final_dynamic_probe targets when the total dynamic stack size is zero bytes. From-SVN: r254753
2017-11-14tree-ssa-threadupdate.c (thread_through_all_blocks): Thread blocks is post ↵Jeff Law2-8/+31
order. * tree-ssa-threadupdate.c (thread_through_all_blocks): Thread blocks is post order. From-SVN: r254752