1. 27 Apr, 2020 21 commits
    • Fix warning URLs for Fortran and analyzer [PR 92830] · fa29cf0c
      PR 92830 reports that we always use "gcc/Warning-Options.html" when we
      emit escaped documentation URLs when printing "[-Wname-of-option]" for
      a warning.
      
      This page is wrong for most Fortran warnings, and for analyzer warnings.
      
      I considered various schemes involving adding extra tags to the .opt
      format to capture where options are documented, but for now this patch
      fixes the issue by introducing some special-casing logic.
      It only fixes the URLs for warning options, not for other command-line
      options, but those are the only options for which get_option_url is
      currently called.
      
      gcc/ChangeLog:
      	PR 92830
      	* configure.ac (DOCUMENTATION_ROOT_URL): Drop trailing "gcc/" from
      	default value, so that it can by supplied by get_option_html_page.
      	* configure: Regenerate.
      	* opts.c: Include "selftest.h".
      	(get_option_html_page): New function.
      	(get_option_url): Use it.  Reformat to place comments next to the
      	expressions they refer to.
      	(selftest::test_get_option_html_page): New.
      	(selftest::opts_c_tests): New.
      	* selftest-run-tests.c (selftest::run_tests): Call
      	selftest::opts_c_tests.
      	* selftest.h (selftest::opts_c_tests): New decl.
      David Malcolm committed
    • demangler: Handle <=> operator in the demangler [PR94797] · 76458c91
      The demangler didn't handle spaceship operator.
      
      2020-04-27  Jakub Jelinek  <jakub@redhat.com>
      
      	PR demangler/94797
      	* cp-demangle.c (cplus_demangle_operators): Add ss <=> operator.
      	* testsuite/demangle-expected: Add operator<=> test.
      Jakub Jelinek committed
    • aarch64: disable test on ilp32 [PR94697] · 562bfb1f
      branch-protection=pac-ret is not supported on ilp32 now and
      the test requires it via branch-protection=standard.
      
      committed as obvious.
      
      gcc/testsuite/ChangeLog:
      
      	PR target/94697
      	* gcc.target/aarch64/pr94697.c: Require lp64.
      Szabolcs Nagy committed
    • arm: Fix an rtl checking failure in cde-errors.c · 53e65d80
      cde-errors.c and cde-mve-error-2.c were failing with an rtl checking
      failure because we applied UINTVAL to a nonconstant argument
      (specifically a REG).
      
      2020-04-27  Richard Sandiford  <richard.sandiford@arm.com>
      
      gcc/
      	* config/arm/arm-builtins.c (arm_expand_builtin_args): Only apply
      	UINTVAL to CONST_INTs.
      Richard Sandiford committed
    • [GCC][PATCH][ARM]: Change arm constraint name from "e" to "Te". · 3d537943
      This patches changes the constraint "e" to "Te".
      
      gcc/ChangeLog:
      
      2020-04-24  Srinath Parvathaneni  <srinath.parvathaneni@arm.com>
      
      	* config/arm/constraints.md (e): Remove constraint.
      	(Te): Define constraint.
      	* config/arm/mve.md (vaddvq_<supf><mode>): Modify constraint in
      	operand 0 from "e" to "Te".
      	(vaddvaq_<supf><mode>): Likewise.
      	(vaddvq_p_<supf><mode>): Likewise.
      	(vmladavq_<supf><mode>): Likewise.
      	(vmladavxq_s<mode>): Likewise.
      	(vmlsdavq_s<mode>): Likewise.
      	(vmlsdavxq_s<mode>): Likewise.
      	(vaddvaq_p_<supf><mode>): Likewise.
      	(vmladavaq_<supf><mode>): Likewise.
      	(vmladavq_p_<supf><mode>): Likewise.
      	(vmladavxq_p_s<mode>): Likewise.
      	(vmlsdavq_p_s<mode>): Likewise.
      	(vmlsdavxq_p_s<mode>): Likewise.
      	(vmlsdavaxq_s<mode>): Likewise.
      	(vmlsdavaq_s<mode>): Likewise.
      	(vmladavaxq_s<mode>): Likewise.
      	(vmladavaq_p_<supf><mode>): Likewise.
      	(vmladavaxq_p_s<mode>): Likewise.
      	(vmlsdavaq_p_s<mode>): Likewise.
      	(vmlsdavaxq_p_s<mode>): Likewise.
      Srinath Parvathaneni committed
    • c-family: Fix ICE on __builtin_speculation_safe_value () [PR94755] · 26d76be7
      When this builtin has no parameters, speculation_safe_value_resolve_call
      returns BUILT_IN_NONE, but resolve_overloaded_builtin uselessly
      dereferences the first param just to return error_mark_node immediately.
      
      The following patch rearranges it so that we only read the first parameter
      if fncode is not BUILT_IN_NONE.
      
      2020-04-27  Jakub Jelinek  <jakub@redhat.com>
      
      	PR c/94755
      	* c-common.c (resolve_overloaded_builtin): Return error_mark_node for
      	fncode == BUILT_IN_NONE before initialization of first_param.
      
      	* c-c++-common/pr94755.c: New test.
      Jakub Jelinek committed
    • arm: Fix bootstrap failure with rtl-checking · 6b6a77d2
      The code change that caused this regression was not meant to affect neon
      code-gen, however I missed the REG fall through.  This patch makes sure we only
      get the left-hand of the PLUS if it is indeed a PLUS expr.
      
      gcc/ChangeLog:
      2020-04-27  Andre Vieira  <andre.simoesdiasvieira@arm.com>
      
      	* config/arm/arm.c (output_move_neon): Only get the first operand if
      	addr is PLUS.
      Andre Vieira committed
    • forwprop: Fix ICE when building an identity constructor [PR94784] · 5328710b
      In the testcase for PR94784, we have two vectors with the same ABI identity
      but with different TYPE_MODEs. It would be better to flip the assert around
      so that it checks that the two vectors have equal TYPE_VECTOR_SUBPARTS and
      that converting the corresponding element types is a useless_type_conversion_p.
      
      2020-04-27  Felix Yang  <felix.yang@huawei.com>
      
      gcc/
      	PR tree-optimization/94784
      	* tree-ssa-forwprop.c (simplify_vector_constructor): Flip the
      	assert around so that it checks that the two vectors have equal
      	TYPE_VECTOR_SUBPARTS and that converting the corresponding element
      	types is a useless_type_conversion_p.
      
      gcc/testsuite/
      	PR tree-optimization/94784
      	* gcc.dg/pr94784.c: New test.
      Fei Yang committed
    • aarch64: Fix .cfi_window_save with pac-ret [PR94515] · acdf7336
      On aarch64 -mbranch-protection=pac-ret reuses the dwarf
      opcode for window_save to mean "toggle the return address
      mangle state", but in the dwarf2cfi internal logic the
      state was not updated when an opcode was emitted, the
      currently present update logic is only valid for the
      original sparc use of window_save so a separate bool is
      used on aarch64 to track the state.
      
      This bug can cause the unwinder not to authenticate return
      addresses that were signed (or vice versa) which means a
      runtime crash on a pauth enabled system.
      
      Currently only aarch64 pac-ret uses REG_CFA_TOGGLE_RA_MANGLE.
      
      This should be backported to gcc-9 and gcc-8 branches.
      
      gcc/ChangeLog:
      
      	PR target/94515
      	* dwarf2cfi.c (struct GTY): Add ra_mangled.
      	(cfi_row_equal_p): Check ra_mangled.
      	(dwarf2out_frame_debug_cfa_window_save): Remove the argument,
      	this only handles the sparc logic now.
      	(dwarf2out_frame_debug_cfa_toggle_ra_mangle): New function for
      	the aarch64 specific logic.
      	(dwarf2out_frame_debug): Update to use the new subroutines.
      	(change_cfi_row): Check ra_mangled.
      
      gcc/testsuite/ChangeLog:
      
      	PR target/94515
      	* g++.target/aarch64/pr94515-1.C: New test.
      	* g++.target/aarch64/pr94515-2.C: New test.
      Szabolcs Nagy committed
    • s390: Fix C++14 vs. C++17 ABI incompatibility on s390{,x} [PR94704] · 9612a483
      The following patch fixes the C++14 vs. C++17 ABI passing incompatibility
      on s390x-linux.
      
      Bootstrapped/regtested on s390x-linux without and with the patch, the
      difference being:
      -FAIL: tmpdir-g++.dg-struct-layout-1/t032 cp_compat_x_alt.o-cp_compat_y_tst.o execute
       FAIL: tmpdir-g++.dg-struct-layout-1/t032 cp_compat_x_tst.o-cp_compat_y_alt.o execute
      -FAIL: tmpdir-g++.dg-struct-layout-1/t032 cp_compat_x_tst.o-cp_compat_y_tst.o execute
       FAIL: tmpdir-g++.dg-struct-layout-1/t055 cp_compat_x_alt.o-cp_compat_y_alt.o execute
       FAIL: tmpdir-g++.dg-struct-layout-1/t055 cp_compat_x_alt.o-cp_compat_y_tst.o execute
      -FAIL: tmpdir-g++.dg-struct-layout-1/t055 cp_compat_x_tst.o-cp_compat_y_alt.o execute
      -FAIL: tmpdir-g++.dg-struct-layout-1/t055 cp_compat_x_tst.o-cp_compat_y_tst.o execute
       FAIL: tmpdir-g++.dg-struct-layout-1/t056 cp_compat_x_alt.o-cp_compat_y_alt.o execute
      -FAIL: tmpdir-g++.dg-struct-layout-1/t056 cp_compat_x_alt.o-cp_compat_y_tst.o execute
       FAIL: tmpdir-g++.dg-struct-layout-1/t056 cp_compat_x_tst.o-cp_compat_y_alt.o execute
      -FAIL: tmpdir-g++.dg-struct-layout-1/t056 cp_compat_x_tst.o-cp_compat_y_tst.o execute
       FAIL: tmpdir-g++.dg-struct-layout-1/t057 cp_compat_x_alt.o-cp_compat_y_alt.o execute
      -FAIL: tmpdir-g++.dg-struct-layout-1/t057 cp_compat_x_alt.o-cp_compat_y_tst.o execute
       FAIL: tmpdir-g++.dg-struct-layout-1/t057 cp_compat_x_tst.o-cp_compat_y_alt.o execute
      -FAIL: tmpdir-g++.dg-struct-layout-1/t057 cp_compat_x_tst.o-cp_compat_y_tst.o execute
       FAIL: tmpdir-g++.dg-struct-layout-1/t058 cp_compat_x_alt.o-cp_compat_y_alt.o execute
       FAIL: tmpdir-g++.dg-struct-layout-1/t058 cp_compat_x_alt.o-cp_compat_y_tst.o execute
      -FAIL: tmpdir-g++.dg-struct-layout-1/t058 cp_compat_x_tst.o-cp_compat_y_alt.o execute
      -FAIL: tmpdir-g++.dg-struct-layout-1/t058 cp_compat_x_tst.o-cp_compat_y_tst.o execute
       FAIL: tmpdir-g++.dg-struct-layout-1/t059 cp_compat_x_alt.o-cp_compat_y_alt.o execute
       FAIL: tmpdir-g++.dg-struct-layout-1/t059 cp_compat_x_alt.o-cp_compat_y_tst.o execute
      -FAIL: tmpdir-g++.dg-struct-layout-1/t059 cp_compat_x_tst.o-cp_compat_y_alt.o execute
      -FAIL: tmpdir-g++.dg-struct-layout-1/t059 cp_compat_x_tst.o-cp_compat_y_tst.o execute
      when performing ALT_CXX_UNDER_TEST=g++ testing with a system GCC 10 compiler
      from a week ago.  So, the alt vs. alt FAILs are all expected (we know before
      this patch there is an ABI incompatibility) and some alt vs. tst (or tst vs.
      alt) FAILs too - that depends on if the particular x or y test is compiled
      with -std=c++14 or -std=c++17 - if x_tst is compiled with -std=c++14 and
      y_alt is compiled with -std=c++17, then it should FAIL, similarly if x_alt
      is compiled with -std=c++17 and y_tst is compiled with -std=c++14.
      
      2020-04-27  Jakub Jelinek  <jakub@redhat.com>
      
      	PR target/94704
      	* config/s390/s390.c (s390_function_arg_vector,
      	s390_function_arg_float): Ignore cxx17_empty_base_field_p fields.
      Jakub Jelinek committed
    • rs6000: enable -fweb for small loops unrolling · 47c39faa
      Previously -fweb was disabled if only unroll small loops.  After that
      we find there is cases where it could help to rename pseudos and avoid
      some anti-dependence which may occur after unroll.
      
      This patch enables -fweb for small loops unrolling.
      
      2020-04-27  Jiufu Guo   <guojiufu@cn.ibm.com>
      
      	* common/config/rs6000/rs6000-common.c
      	(rs6000_option_optimization_table) [OPT_LEVELS_ALL]: Remove turn off
      	-fweb.
      	* config/rs6000/rs6000.c (rs6000_option_override_internal): Avoid to
      	set flag_web.
      guojiufu committed
    • RS6000: Use .machine ppc for some CRT files · 66711279
      Since commit e1542427 the flag -many is
      sometimes not passed to the assembler.  Use .machine ppc to prevent
      errors if these files are assembled for an ISA which does not support
      FPRs.
      
      libgcc/
      
      	* config/rs6000/crtresfpr.S: Use .machine ppc.
      	* config/rs6000/crtresxfpr.S: Likewise.
      	* config/rs6000/crtsavfpr.S: Likewise.
      Sebastian Huber committed
    • Do not remove ifunc_resolver in LTO. · b9dbb436
      	PR lto/94659
      	* cgraph.h (cgraph_node::can_remove_if_no_direct_calls_and_refs_p):
      	Do not remove ifunc_resolvers in remove unreachable nodes in LTO.
      Martin Liska committed
    • rs6000: Don't use HARD_FRAME_POINTER_REGNUM if it's not live in pro_and_epilogue (PR91518) · f6955089
      This bug is exposed by FRE refactor of r263875.  Comparing the fre
      dump file shows no obvious change of the segment fault function proves
      it to be a target issue.
      frame_pointer_needed is set to true in reload pass setup_can_eliminate,
      but regs_ever_live[31] is false, pro_and_epilogue uses it without live
      check causing CPU2006 465.tonto segment fault of loading from invalid
      addresses due to r31 not saved/restored.  Thus, add HARD_FRAME_POINTER_REGNUM
      live check with frame_pointer_needed_indeed when generating pro_and_epilogue
      instructions.
      
      gcc/ChangeLog
      
      2020-04-27  Xiong Hu Luo  <luoxhu@linux.ibm.com>
      
      	PR target/91518
      	* config/rs6000/rs6000-logue.c (frame_pointer_needed_indeed):
      	New variable.
      	(rs6000_emit_prologue_components):
      	Check with frame_pointer_needed_indeed.
      	(rs6000_emit_epilogue_components): Likewise.
      	(rs6000_emit_prologue): Likewise.
      	(rs6000_emit_epilogue): Set frame_pointer_needed_indeed.
      Xionghu Luo committed
    • Fix CL dates. · bfdea9ae
      Marek Polacek committed
    • c++: Explicit constructor called in copy-initialization [PR90320] · feb801f6
      This test is rejected with a bogus "use of deleted function" error
      starting with r225705 whereby convert_like_real/ck_base no longer
      sets LOOKUP_ONLYCONVERTING for user_conv_p conversions.  This does
      not seem to be always correct.  To recap, when we have something like
      T t = x where T is a class type and the type of x is not T or derived
      from T, we perform copy-initialization, something like:
        1. choose a user-defined conversion to convert x to T, the result is
           a prvalue,
        2. use this prvalue to direct-initialize t.
      
      In the second step, explicit constructors should be considered, since
      we're direct-initializing.  This is what r225705 fixed.
      
      In this PR we are dealing with the first step, I think, where explicit
      constructors should be skipped.  [over.match.copy] says "The converting
      constructors of T are candidate functions" which clearly eliminates
      explicit constructors.  But we also have to copy-initialize the argument
      we are passing to such a converting constructor, and here we should
      disregard explicit constructors too.
      
      In this testcase we have
      
        V v = m;
      
      and we choose V::V(M) to convert m to V.  But we wrongly choose
      the explicit M::M<M&>(M&) to copy-initialize the argument; it's
      a better match for a non-const lvalue than the implicit M::M(const M&)
      but because it's explicit, we shouldn't use it.
      
      When convert_like is processing the ck_user conversion -- the convfn is
      V::V(M) -- it can see that cand->flags contains LOOKUP_ONLYCONVERTING,
      but then when we're in build_over_call for this convfn, we have no way
      to pass the flag to convert_like for the argument 'm', because convert_like
      doesn't take flags.  Fixed by creating a new conversion flag, copy_init_p,
      set in ck_base/ck_rvalue to signal that explicit constructors should be
      skipped.
      
      LOOKUP_COPY_PARM looks relevant, but again, it's a LOOKUP_* flag, so
      can't pass it to convert_like.  DR 899 also seemed related, but that
      deals with direct-init contexts only.
      
      	PR c++/90320
      	* call.c (struct conversion): Add copy_init_p.
      	(standard_conversion): Set copy_init_p in ck_base and ck_rvalue
      	if FLAGS demands LOOKUP_ONLYCONVERTING.
      	(convert_like_real) <case ck_base>: If copy_init_p is set, or
      	LOOKUP_ONLYCONVERTING into FLAGS.
      
      	* g++.dg/cpp0x/explicit13.C: New test.
      	* g++.dg/cpp0x/explicit14.C: New test.
      Marek Polacek committed
    • libphobos: Add hppa-*-linux* as a supported target · c8086357
      libphobos/ChangeLog:
      
      2020-04-27  Iain Buclaw  <ibuclaw@gdcproject.org>
      
      	* configure.tgt: Add hppa-*-linux* as a supported target.
      Iain Buclaw committed
    • libphobos: Remove AC_CACHE_CHECK from network library tests. · 5e7f8c55
      libphobos/ChangeLog:
      
      	* configure: Regenerate.
      	* m4/druntime/libraries.m4 (DRUNTIME_LIBRARIES_NET): Remove
      	AC_CACHE_CHECK, simplify by setting LIBS directly.
      Iain Buclaw committed
    • d: Merge upstream dmd f8a1a5153, druntime 2b5c0b27 · 873b5de8
      Adds a new test directive COMPILABLE_MATH_TEST, and support has been
      added for it in gdc-convert-test so that they are skipped if phobos is
      not present on the target.
      
      Only change in D runtime is a small documentation fix.
      
      Reviewed-on: https://github.com/dlang/druntime/pull/3067
      	     https://github.com/dlang/dmd/pull/11060
      
      gcc/testsuite/ChangeLog:
      
      	PR d/89418
      	* lib/gdc-utils.exp (gdc-convert-test): Add dg-skip-if for compilable
      	tests that depend on the phobos standard library.
      Iain Buclaw committed
    • d: Fix ICE in assign_temp, at function.c:984 (PR94777) · 2370bdbb
      Named arguments were being passed around by invisible reference, just
      not variadic arguments.  There is a need to de-duplicate the routines
      that handle declaration/parameter promotion and reference checking.
      However for now, the parameter helper functions have just been renamed
      to parameter_reference_p and parameter_type, to make it more clear that
      it is the Parameter equivalent to declaration_reference_p and
      declaration_type.
      
      On writing the tests, a forward-reference bug was discovered on x86_64
      during va_list type semantic.  This was due to fields not having their
      parent set-up correctly.
      
      gcc/d/ChangeLog:
      
      	PR d/94777
      	* d-builtins.cc (build_frontend_type): Set parent for generated
      	fields of built-in types.
      	* d-codegen.cc (argument_reference_p): Rename to ...
      	(parameter_reference_p): ... this.
      	(type_passed_as): Rename to ...
      	(parameter_type): ... this.  Make TREE_ADDRESSABLE types restrict.
      	(d_build_call): Move handling of non-POD types here from ...
      	* d-convert.cc (convert_for_argument): ... here.
      	* d-tree.h (argument_reference_p): Rename declaration to ...
      	(parameter_reference_p): ... this.
      	(type_passed_as): Rename declaration to ...
      	(parameter_type): ... this.
      	* types.cc (TypeVisitor::visit (TypeFunction *)): Update caller.
      
      gcc/testsuite/ChangeLog:
      
      	PR d/94777
      	* gdc.dg/pr94777a.d: New test.
      	* gdc.dg/pr94777b.d: New test.
      Iain Buclaw committed
    • Daily bump. · f82e3a12
      GCC Administrator committed
  2. 26 Apr, 2020 8 commits
    • coroutines: Do not assume parms are named [PR94752]. · 29f55115
      Parameters to user-defined coroutines might be unnamed.
      In that case, we must synthesize a name for the coroutine
      frame copy.
      
      gcc/cp/ChangeLog:
      
      2020-04-26  Iain Sandoe  <iain@sandoe.co.uk>
      
      	PR c++/94752
      	* coroutines.cc (morph_fn_to_coro): Ensure that
      	unnamed function params have a usable and distinct
      	frame field name.
      
      gcc/testsuite/ChangeLog:
      
      2020-04-26  Iain Sandoe  <iain@sandoe.co.uk>
      
      	PR c++/94752
      	* g++.dg/coroutines/pr94752.C: New test.
      Iain Sandoe committed
    • Added test case from PR 94737. · 870923cd
      2020-04-26  Thomas Koenig  <tkoenig@gcc.gnu.org>
      
      	PR fortran/94737
      	* gfortran.dg/binding_label_tests_34.f90: New test case.
      Thomas Koenig committed
    • Add ChangeLog changes from previous commit, r10-7920. · 2bf7698e
      PR fortran/93956
      Thomas Koenig committed
    • libphobos: Add power*-*-linux* as a supported target · 1b0cbe05
      libphobos/ChangeLog:
      
      	* configure: Regenerate.
      	* configure.tgt: Add power*-*-linux* as a supported target, only
      	building libdruntime.
      	* m4/druntime/cpu.m4 (DRUNTIME_CPU_SOURCES): Add cases for powerpcle
      	and powerpc64le target cpus.
      Iain Buclaw committed
    • d: Recognize pragma(inline) in the code generator. · 67e3020b
      Pragma inline affects whether functions are inlined or not.  If at the
      declaration level, it affects the functions declared in the block it
      controls.  If inside a function, it affects the function it is enclosed
      by.  Support has been in the front-end for some time, but the
      information was not leveraged by the code generation pass.
      
      gcc/d/ChangeLog:
      
      	* decl.cc (get_symbol_decl): Set DECL_DECLARED_INLINE_P or
      	DECL_UNINLINABLE for declarations with pragma(inline).
      	* toir.cc (IRVisitor::visit (GccAsmStatement *)): Set ASM_INLINE_P if
      	in function decorated with pragma(inline).
      Iain Buclaw committed
    • rs6000: Don't push stack frame for AIX when debugging and -fcompare-debug. · 50929dd3
      AIX pushes a stack frame when debugging is enabled.  With -fcompare-debug
      this generates comparison failures because code geneation is different.
      This patch disables the stack push for -fcompare-debug that only is used
      for internal testing and not for normal debug information generation that
      will be consumed by AIX tools.
      
      This patch also removes xfails from testsuite testcases that use
      -fcompare-debug and no longer fail on AIX without the stack push difference.
      
              * config/rs6000/rs6000-logue.c (rs6000_stack_info): Don't push a
              stack frame when debugging and flag_compare_debug is enabled.
      
      testsuite/
              * g++.dg/debug/dwarf2/pr61433.C: Unfail AIX.
              * g++.dg/opt/pr48549.C: Same.
              * g++.dg/opt/pr60002.C: Same.
              * g++.dg/opt/pr80436.C: Same.
              * g++.dg/opt/pr83084.C: Same.
              * g++.dg/other/pr42685.C: Same.
              * gcc.dg/pr41241.c: Same.
              * gcc.dg/pr42629.c: Same.
              * gcc.dg/pr42630.c: Same.
              * gcc.dg/pr42719.c: Same.
              * gcc.dg/pr42728.c: Same.
              * gcc.dg/pr42889.c: Same.
              * gcc.dg/pr42916.c: Same.
              * gcc.dg/pr43084.c: Same.
              * gcc.dg/pr43670.c: Same.
              * gcc.dg/pr44023.c: Same.
              * gcc.dg/pr44971.c: Same.
              * gcc.dg/pr45449.c: Same.
              * gcc.dg/pr46771.c: Same.
              * gcc.dg/pr47684.c: Same.
              * gcc.dg/pr47881.c: Same.
              * gcc.dg/pr48768.c: Same.
              * gcc.dg/pr50017.c: Same.
              * gcc.dg/pr56023.c: Same.
              * gcc.dg/pr64935-1.c: Same.
              * gcc.dg/pr64935-2.c: Same.
              * gcc.dg/pr65521.c: Same.
              * gcc.dg/pr65779.c: Same.
              * gcc.dg/pr65980.c: Same.
              * gcc.dg/pr66688.c: Same.
              * gcc.dg/pr70405.c: Same.
              * gcc.dg/vect/pr49352.c: Same.
      David Edelsohn committed
    • Daily bump. · 9b933c99
      GCC Administrator committed
  3. 25 Apr, 2020 11 commits
    • testsuite: Add -Wno-psabi option for ipa-sra-19.c on AIX. · d15edd9d
      ipa-sra-19.c uses a vector type that elicits a non-standard ABI warning
      on AIX causing a spurious testsuite failure.
      
              * gcc.dg/ipa/ipa-sra-19.c: Add -Wno-psabi option on AIX.
      David Edelsohn committed
    • testsuite: spellcheck-options-21.c requires LTO · bffdd2e8
      spellcheck-options-21.c requires LTO supported on the target.
      
              * gcc.dg/spellcheck-options-21.c: Require LTO.
      David Edelsohn committed
    • testsuite: Skip pr82718-1.c and pr82718-2.c DWARF 5 tests on AIX. · f29be337
      AIX 7.2 XCOFF does not support DWARF 5 sections.  Skip the explicit
      DWARF 5 tests that emit the new loc_lists and range_lists sections.
      
              * gcc.dg/debug/dwarf2/pr82718-1.c: Skip on AIX.
              * gcc.dg/debug/dwarf2/pr82718-2.c: Skip on AIX.
      David Edelsohn committed
    • libffi/test: Fix compilation for build sysroot · a0b48358
      Fix a problem with the libffi testsuite using a method to determine the
      compiler to use resulting in the tool being different from one the
      library has been built with, and causing a catastrophic failure from the
      inability to actually choose any compiler at all in a cross-compilation
      configuration.
      
      Address this problem by providing a DejaGNU configuration file defining
      the compiler to use, via the CC_FOR_TARGET TCL variable, set from $CC by
      autoconf, which will have all the required options set for the target
      compiler to build executables in the environment configured, removing
      failures like:
      
      FAIL: libffi.call/closure_fn0.c -W -Wall -Wno-psabi -O0 (test for excess errors)
      Excess errors:
      default_target_compile: No compiler to compile with
      UNRESOLVED: libffi.call/closure_fn0.c -W -Wall -Wno-psabi -O0 compilation failed to produce executable
      
      and bringing overall test results for the `riscv64-linux-gnu' target
      (here with the `x86_64-linux-gnu' host and RISC-V QEMU in the Linux user
      emulation mode as the target board) from:
      
      		=== libffi Summary ===
      
      # of unexpected failures	708
      # of unresolved testcases	708
      # of unsupported tests		30
      
      to:
      
      		=== libffi Summary ===
      
      # of expected passes		1934
      # of unsupported tests		28
      
      This is a combined backport of the relevant parts of upstream libffi
      changes as follows:
      
      - commit 8308984e479e ("[PATCH] Make sure we're running dejagnu tests
        with the right compiler."),
      
      - commit 2d9b3939751b ("[PATCH] Fix for closures with sunpro compiler"),
      
      - commit 0c3824702d3d ("[PATCH] Always set CC_FOR_TARGET for dejagnu, to
        make the testsuite respect $CC"),
      
      - commit 7d698125b1f0 ("[PATCH] Use the proper C++ compiler to run C++
        tests"),
      
      - commit 6b6df1a7bb37 ("[PATCH] Adds `local.exp` to CLEANFILES"),
      
      - commit 6cf0dea78a5a ("[PATCH] Change CLEANFILES to DISTCLEANFILES")
      
      	libffi/
      	* Makefile.am (DISTCLEANFILES): New variable.
      	* configure.ac: Produce `local.exp'.
      	* Makefile.in: Regenerate.
      	* configure: Regenerate.
      	* testsuite/Makefile.am (EXTRA_DEJAGNU_SITE_CONFIG): New
      	variable.
      	* testsuite/Makefile.in: Regenerate.
      Maciej W. Rozycki committed
    • Enable Intel CET in liblto_plugin.so on Intel CET enabled host · 8fc8bf80
      Since ld is Intel CET enabled on Intel CET enabled host, dlopen fails on
      liblto_plugin.so if it isn't Intel CET enabled.  Add GCC_CET_HOST_FLAGS
      to cet.m4, use it in libiberty and lto-plugin to always enable Intel
      CET in liblto_plugin.so on Intel CET enabled host.
      
      On Linux/x86 host, enable Intel CET by default if assembler and compiler
      support Intel CET so that the generated liblto_plugin.so can be used on
      both CET and non-CET machines.  It is an error to disable Intel CET in
      liblto_plugin.so on Intel CET enabled host.
      
      config/
      
      	PR bootstrap/94739
      	* cet.m4 (GCC_CET_HOST_FLAGS): New.
      
      libiberty/
      
      	PR bootstrap/94739
      	* Makefile.in (COMPILE.c): Add @CET_HOST_FLAGS@.
      	(configure_deps): Add $(srcdir)/../config/cet.m4 and
      	$(srcdir)/../config/enable.m4.
      	* aclocal.m4: Include ../config/cet.m4 and ../config/enable.m4.
      	* configure.ac: Add GCC_CET_HOST_FLAGS(CET_HOST_FLAGS) and
      	AC_SUBST(CET_HOST_FLAGS).
      	* configure: Regenerated.
      
      lto-plugin/
      
      	PR bootstrap/94739
      	* Makefile.am (AM_CFLAGS): Add $(CET_HOST_FLAGS).
      	* configure.ac: Add GCC_CET_HOST_FLAGS(CET_HOST_FLAGS) and
      	AC_SUBST(CET_HOST_FLAGS).
      	* Makefile.in: Regenerated.
      	* aclocal.m4: Likewise.
      	* configure: Likewise.
      H.J. Lu committed
    • Fix PR 94578. · cf3f7b30
      Our intrinsics do not handle spans on their return values (yet),
      so this creates a temporary for subref array pointers.
      
      2020-04-25  Thomas Koenig  <tkoenig@gcc.gnu.org>
      
      	PR fortran/94578
      	* trans-expr.c (arrayfunc_assign_needs_temporary): If the
      	LHS is a subref pointer, we also need a temporary.
      
      2020-04-25  Thomas Koenig  <tkoenig@gcc.gnu.org>
      
      	PR fortran/94578
      	* gfortran.dg/pointer_assign_14.f90: New test.
      	* gfortran.dg/pointer_assign_15.f90: New test.
      Thomas König committed
    • coroutines, testsuite: Enable a test. · ead1c27a
      This just enables a test that can now be run since we've
      resolved the PRs blocking it.
      
      2020-04-25  Iain Sandoe  <iain@sandoe.co.uk>
      
      	* g++.dg/coroutines/torture/co-ret-16-simple-control-flow.C:
      	Enable test.
      Iain Sandoe committed
    • Turn on -mpcrel by default for -mcpu=future · da4aae6e
      2020-04-25  Michael Meissner  <meissner@linux.ibm.com>
      
      	* config/rs6000/linux64.h (PCREL_SUPPORTED_BY_OS): Define to
      	enable PC-relative addressing for -mcpu=future.
      	* config/rs6000/rs6000-cpus.def (ISA_FUTURE_MASKS_SERVER): Move
      	after OTHER_FUTURE_MASKS.  Use OTHER_FUTURE_MASKS.
      	* config/rs6000/rs6000.c (PCREL_SUPPORTED_BY_OS): If not defined,
      	suppress PC-relative addressing.
      	(rs6000_option_override_internal): Split up error messages
      	checking for -mprefixed and -mpcrel.  Enable -mpcrel if the target
      	system supports it.
      Michael Meissner committed
    • c++: implicit operator== with previous decl [PR94583] · 35281187
      P2085 clarified that a defaulted comparison operator must be the first
      declaration of the function.  Rejecting that avoids the ICE trying to
      compare the noexcept-specifications.
      
      gcc/cp/ChangeLog
      2020-04-24  Jason Merrill  <jason@redhat.com>
      
      	PR c++/94583
      	* decl.c (redeclaration_error_message): Reject defaulted comparison
      	operator that has been previously declared.
      Jason Merrill committed
    • c++: add "'requires' only available with ..." note · 5e7e8b98
      This adds a note suggesting to enable concepts whenever 'requires' is parsed as
      an invalid type name with concepts disabled.
      
      gcc/cp/ChangeLog:
      
      	* parser.c (cp_parser_diagnose_invalid_type_name): Suggest enabling
      	concepts if the invalid identifier is 'requires'.
      
      gcc/testsuite/ChangeLog:
      
      	* g++.dg/concepts/diagnostic11.C: New test.
      Patrick Palka committed
    • d: Merge upstream dmd 09db0c41e, druntime e68a5ae3. · 01873032
      * New core.math.toPrec templates have been added as an intrinsic.
      
        Some floating point algorithms, such as Kahan-Babuska-Neumaier
        Summation, require rounding to specific precisions. Rounding to
        precision after every operation, however, loses overall precision in
        the general case and is a runtime performance problem.
      
        Adding these functions guarantee the rounding at required points in
        the code, and document where in the algorithm the requirement exists.
      
      * Support IBM long double types in core.internal.convert.
      
      * Add missing aliases for 64-bit vectors in core.simd.
      
      * RUNNABLE_PHOBOS_TEST directive has been properly integrated into the
        D2 language testsuite.
      
      Reviewed-on: https://github.com/dlang/druntime/pull/3063
      	     https://github.com/dlang/dmd/pull/11054
      
      gcc/d/ChangeLog:
      
      	* intrinsics.cc (expand_intrinsic_toprec): New function.
      	(maybe_expand_intrinsic): Handle toPrec intrinsics.
      	* intrinsics.def (TOPRECF, TOPREC, TOPRECL): Add toPrec intrinsics.
      Iain Buclaw committed