Jozef Lawrynowicz [Tue, 27 Nov 2018 00:17:42 +0000 (00:17 +0000)]
Tweak directives in GCC tests for msp430-elf
2018-11-27 Jozef Lawrynowicz <jozef.l@mittosystems.com>
Tweak directives in GCC tests for msp430-elf
gcc/ChangeLog:
* doc/sourcebuild.texi: Document check_effective_target_int_eq_float
and check_effective_target_ptr_eq_long.
gcc/testsuite/ChangeLog:
* lib/target-supports.exp
(check_effective_target_logical_op_short_circuit): Add msp430.
(check_effective_target_int_eq_float): New.
(check_effective_target_ptr_eq_long): New.
* c-c++-common/pr41779.c: Require int_eq_float for dg-warning tests.
* c-c++-common/pr57371-2.c: XFAIL optimized dump scan when
sizeof (float) != sizeof (int).
* gcc.dg/pr84670-4.c: Require ptr_eq_long.
* gcc.dg/pr85859.c: Likewise.
* gcc.dg/Wno-frame-address.c: Skip for msp430-elf.
* gcc.dg/torture/stackalign/builtin-apply-2.c: Likewise.
* gcc.dg/ifcvt-4.c: Likewise.
* gcc.dg/pr34856.c: Likewise.
* gcc.dg/builtin-apply2.c: Likewise.
* gcc.dg/tree-ssa/ssa-dse-26.c: Likewise.
* gcc.dg/attr-alloc_size-11.c: Remove dg-warning XFAIL for msp430.
* gcc.dg/tree-ssa/
20040204-1.c: Likewise.
* gcc.dg/compat/struct-by-value-16a_x.c: Build at -O1 for msp430
so it fits.
* gcc.dg/lto/
20091013-1_0.c: Require ptr_eq_long.
* gcc.dg/lto/
20091013-1_1.c: Remove xfail-if for when
sizeof(void *) != sizeof(long).
* gcc.dg/lto/
20091013-1_2.c: Likewise.
* gcc.dg/tree-ssa/loop-1.c: Fix expected dg-final behaviour for msp430.
* gcc.dg/tree-ssa/gen-vect-25.c: Likewise.
* gcc.dg/tree-ssa/gen-vect-11.c: Likewise.
* gcc.dg/tree-ssa/loop-35.c: Likewise.
* gcc.dg/tree-ssa/pr23455.c: Likewise.
* gcc.dg/weak/typeof-2.c: Likewise.
* gcc.target/msp430/interrupt_fn_placement.c: Skip for 430 ISA.
* gcc.target/msp430/pr78818-data-region.c: Fix scan-assembler text.
* gcc.target/msp430/pr79242.c: Don't skip for -msmall.
* gcc.target/msp430/special-regs.c: Use "__asm__" instead of "asm".
From-SVN: r266500
GCC Administrator [Tue, 27 Nov 2018 00:16:32 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r266499
Alan Modra [Tue, 27 Nov 2018 00:06:45 +0000 (10:36 +1030)]
[RS6000] rs6000/sysv4.h using gnu-user.h
This patch removes some duplication in rs6000/sysv4.h of macros found
in gnu-user.h that we want for linux. Including gnu-user.h will mean
powerpc doesn't miss updates to that file.
* config.gcc (powerpc*-*-freebsd*, powerpc-*-netbsd*),
(powerpc-*-eabisimaltivec*, powerpc-*-eabisim*, powerpc-*-elf*),
(powerpc-*-eabialtivec*, powerpc-*-eabi*, powerpc-*-rtems*),
(powerpc-wrs-vxworks*, powerpc-*-lynxos*, powerpcle-*-elf*),
(powerpcle-*-eabisim*, powerpcle-*-eabi*): Add gnu-user.h to tm_file.
* config/rs6000/freebsd.h (CPLUSPLUS_CPP_SPEC),
(LINK_GCC_C_SEQUENCE_SPEC): Undef.
(ASM_APP_ON, ASM_APP_OFF): Don't define.
* config/rs6000/freebsd64.h (ASM_APP_ON, ASM_APP_OFF): Don't define.
* config/rs6000/lynx.h (ASM_APP_ON, ASM_APP_OFF): Don't define.
* config/rs6000/linux64.h (LINK_GCC_C_SEQUENCE_SPEC): Define.
* config/rs6000/netbsd.h (CPLUSPLUS_CPP_SPEC),
(LINK_GCC_C_SEQUENCE_SPEC): Undef.
* config/rs6000/rtems.h (LINK_GCC_C_SEQUENCE_SPEC): Define.
* config/rs6000/sysv4.h (GNU_USER_TARGET_CRTI): Redefine.
(GNU_USER_TARGET_CRTN): Redefine.
(CC1_SPEC): Use GNU_USER_TARGET_CC1_SPEC.
(LIB_LINUX_SPEC): Use GNU_USER_TARGET_LIB_SPEC.
(CRTOFFLOADBEGIN, CRTOFFLOADEND): Don't define.
(STARTFILE_LINUX_SPEC): Define as GNU_USER_TARGET_STARTFILE_SPEC.
(ENDFILE_LINUX_SPEC): Define as GNU_USER_TARGET_ENDFILE_SPEC.
(UCLIBC_DYNAMIC_LINKER, CHOOSE_DYNAMIC_LINKER): Don't define.
(LINK_EH_SPEC): Don't define.
From-SVN: r266496
Ian Lance Taylor [Mon, 26 Nov 2018 23:58:34 +0000 (23:58 +0000)]
syscall: always define WEXITED and WNOWAIT on GNU/Linux
Fixes https://gcc.gnu.org/PR88135
Reviewed-on: https://go-review.googlesource.com/c/150897
From-SVN: r266495
Martin Sebor [Mon, 26 Nov 2018 23:55:36 +0000 (16:55 -0700)]
PR 87756 - missing unterminated argument warning using address of a constant character
gcc/ChangeLog:
PR 87756
* expr.c (string_constant): Handle top-level decls of all character
types and subobjects of narrow character type.
gcc/testsuite/ChangeLog:
PR 87756
* gcc.dg/warn-sprintf-no-nul-2.c: Move incomplete tests from here...
* gcc.dg/warn-sprintf-no-nul-3.c: ...to here and complete them.
From-SVN: r266494
Alan Modra [Mon, 26 Nov 2018 23:53:56 +0000 (10:23 +1030)]
[RS6000] Use config/linux.h for powerpc*-*-linux*
Using the macros in config/linux.h rather than duplicating them helps
stop future bitrot, and repairs existing bitrot (4 choices for libc in
linux.h, fewer in the rs6000 files not that it matters much). Also
fixes the fact that __gnu_linux__ was always defined rather than just
when glibc was the libc of choice.
* config.gcc (powerpc*-*-linux*): Add linux.h to tm_file.
* config/rs6000/linux.h (TARGET_OS_CPP_BUILTINS): Use
GNU_USER_TARGET_OS_CPP_BUILTINS.
(RS6000_ABI_NAME): Define.
* config/rs6000/linux64.h (TARGET_OS_CPP_BUILTINS): Use
GNU_USER_TARGET_OS_CPP_BUILTINS.
(MUSL_DYNAMIC_LINKER32): Undef before defining.
(UCLIBC_DYNAMIC_LINKER32, UCLIBC_DYNAMIC_LINKER64): Don't define.
(CHOOSE_DYNAMIC_LINKER): Don't define.
(GNU_USER_DYNAMIC_LINKER32, GNU_USER_DYNAMIC_LINKER64): Don't define.
* config/rs6000/sysv4.h (MUSL_DYNAMIC_LINKER): Undef before defining.
(CHOOSE_DYNAMIC_LINKER, GNU_USER_DYNAMIC_LINKER): Only define when
not already defined.
(CPP_OS_LINUX_SPEC): Remove defines and asserts handled by
TARGET_OS_CPP_BUILTINS.
From-SVN: r266493
Marek Polacek [Mon, 26 Nov 2018 23:26:40 +0000 (23:26 +0000)]
PR c++/88120 - ICE when calling save_expr in a template.
* typeck.c (cp_build_binary_op): Call cp_save_expr instead of
save_expr.
* g++.dg/cpp0x/pr88120.C: New test.
From-SVN: r266492
Iain Buclaw [Mon, 26 Nov 2018 21:59:04 +0000 (21:59 +0000)]
Add filters for D language sources to contrib/update-copyright.py
2018-11-26 Iain Buclaw <ibuclaw@gdcproject.org>
* update-copyright.py (TestsuiteFilter): Skip .d tests.
(LibPhobosFilter): Add filter for upstream D sources.
(GCCCopyright): Add D Language Foundation as external author.
(GCCCmdLine): Add libphobos.
From-SVN: r266491
Ian Lance Taylor [Mon, 26 Nov 2018 21:44:20 +0000 (21:44 +0000)]
compiler: initial support for exporting function bodies
Create a framework for putting function bodies in export data. At
present only empty functions will be put there, and they will be
ignored on import. Later patches will get this to the point of
supporting inlining of (some) functions defined in other packages.
Reviewed-on: https://go-review.googlesource.com/c/150061
From-SVN: r266490
Jozef Lawrynowicz [Mon, 26 Nov 2018 21:39:51 +0000 (21:39 +0000)]
Fix tests for 16-bit int.
2018-11-26 Jozef Lawrynowicz <jozef.l@mittosystems.com>
Fix tests for 16-bit int.
gcc/testsuite/ChangeLog:
* c-c++-common/Warray-bounds-3.c (test_strcpy_bounds): Use long instead
of int if __SIZEOF_INT__ == 2.
* c-c++-common/Wrestrict.c: Test memcpy range with smaller length when
__SIZEOF_SIZE_T < 4.
* c-c++-common/rotate-8.c: Define smaller "large" constant when
__SIZEOF_INT__ == 2.
* gcc.dg/pr53037-1.c: Add dg-require-effective-target int32.
* gcc.dg/pr53037-2.c: Likewise.
* gcc.dg/pr53037-3.c: Likewise.
* gcc.dg/pr85512.c: Likewise.
* gcc.dg/pr59963-2.c: Add dg-warning for int16.
* gcc.dg/sancov/cmp0.c: Explicitly use __INT32_TYPE__ instead of int.
* gcc.dg/tree-ssa/addadd.c: Fix dg-final directives for int16.
* gcc.dg/tree-ssa/pr79327-2.c: Likewise.
* gcc.dg/tree-ssa/builtin-sprintf-2.c: Filter out invalid tests for
int16.
* gcc.dg/tree-ssa/builtin-sprintf-warn-10.c: Update sizes in dg-warning
directives for int16.
From-SVN: r266489
Jozef Lawrynowicz [Mon, 26 Nov 2018 21:35:43 +0000 (21:35 +0000)]
sourcebuild.texi: Document check_effective_target_newlib_nano_io.
2018-11-26 Jozef Lawrynowicz <jozef.l@mittosystems.com>
gcc/ChangeLog:
* doc/sourcebuild.texi: Document check_effective_target_newlib_nano_io.
gcc/testsuite/ChangeLog:
* lib/target-supports.exp (check_effective_target_newlib_nano_io): New.
* gcc.c-torture/execute/920501-8.c: Register undefined linker symbol
_printf_float for newlib_nano_io target.
* gcc.c-torture/execute/930513-1.c: Likewise.
* gcc.dg/torture/builtin-sprintf.c: Likewise.
* gcc.c-torture/execute/ieee/920810-1.x: New.
From-SVN: r266488
Jakub Jelinek [Mon, 26 Nov 2018 21:26:19 +0000 (22:26 +0100)]
re PR target/88195 (misleading error message for unsupported builtin)
PR target/88195
* config/i386/i386.c (def_builtin2): If tcode == VOID_FTYPE_UINT64
and !TARGET_64BIT, return NULL_TREE.
* gcc.target/i386/pr88195.c: New test.
From-SVN: r266487
Jakub Jelinek [Mon, 26 Nov 2018 21:25:22 +0000 (22:25 +0100)]
re PR testsuite/88090 (obj-c++.dg/attributes/method-nonnull-1.mm FAILs)
PR testsuite/88090
* obj-c++.dg/attributes/method-nonnull-1.mm (my_size_t): New typedef.
(MyArray::removeObjectAtIndex): Use my_size_t instead of size_t and
expect it in diagnostics.
From-SVN: r266486
Jakub Jelinek [Mon, 26 Nov 2018 21:24:00 +0000 (22:24 +0100)]
re PR c++/86900 (-gdwarf-5 -O2 -ffunction-sections = assembler error)
PR c++/86900
* dwarf2out.c (secname_for_decl): For functions with
DECL_SECTION_NAME if in_cold_section_p, try to return
current_function_section's name if it is a named section.
* g++.dg/debug/dwarf2/pr86900.C: New test.
From-SVN: r266485
Maya Rashish [Mon, 26 Nov 2018 21:21:16 +0000 (21:21 +0000)]
re PR preprocessor/58397 (Please add host_hooks for NetBSD to make precompiled headers work)
PR target/58397
* config.host (*-*-netbsd*): Use x-netbsd and host-netbsd.o.
* config/x-netbsd: New file.
* config/host-netbsd: New file.
From-SVN: r266484
Jozef Lawrynowicz [Mon, 26 Nov 2018 21:14:47 +0000 (21:14 +0000)]
sourcebuild.texi: Document check_effective_target_size20plus.
2018-11-26 Jozef Lawrynowicz <jozef.l@mittosystems.com>
gcc/ChangeLog:
* doc/sourcebuild.texi: Document check_effective_target_size20plus.
Clarify documentation for check_effective_target_size32plus.
gcc/testsuite/ChangeLog:
* gcc.c-torture/compile/
20151204.c: Add dg-require-effective-target
size20plus.
* gcc.dg/pr34225.c: Likewise.
* gcc.dg/pr40971.c: Likewise.
* gcc.dg/pr69071.c: Likewise.
* gcc.dg/tree-ssa/loop-interchange-10.c: Likewise.
* gcc.dg/tree-ssa/loop-interchange-2.c: Likewise.
* gcc.dg/tree-ssa/loop-interchange-3.c: Likewise.
* gcc.dg/tree-ssa/loop-interchange-5.c: Likewise.
* gcc.dg/tree-ssa/loop-interchange-6.c: Likewise.
* gcc.dg/tree-ssa/loop-interchange-7.c: Likewise.
* gcc.dg/tree-ssa/loop-interchange-8.c: Likewise.
* gcc.dg/tree-ssa/loop-interchange-9.c: Likewise.
* gcc.dg/tree-ssa/loop-interchange-11.c: Add dg-require-effective-target
size32plus.
* gcc.dg/Walloc-size-larger-than-4.c: Likewise.
* gcc.dg/Walloc-size-larger-than-5.c: Likewise.
* gcc.dg/Walloc-size-larger-than-6.c: Likewise.
* gcc.dg/Walloc-size-larger-than-7.c: Likewise.
* gcc.dg/tree-ssa/loop-interchange-1.c: Likewise.
* gcc.dg/tree-ssa/loop-interchange-1b.c: Likewise.
* lib/target-supports.exp (check_effective_target_size20plus): New.
(check_effective_target_size32plus): Update comment.
From-SVN: r266483
Jakub Jelinek [Mon, 26 Nov 2018 21:03:41 +0000 (22:03 +0100)]
Makefile.am (AUTOMAKE_OPTIONS): Drop dejagnu.
* testsuite/Makefile.am (AUTOMAKE_OPTIONS): Drop dejagnu.
(RUNTEST): Don't define.
(RUNTESTDEFAULTFLAGS): Add.
(check-DEJAGNU, site.exp, distclean-DEJAGNU): New goals.
(distclean-am): Depend on distclean-DEJAGNU.
(check-am): If -j% option is present in MFLAGS and if
`getconf _NPROCESSORS_ONLN` is more than 8, export OMP_NUM_THREADS=8.
(.PHONY): Add check-DEJAGNU and distclean-DEJAGNU.
* testsuite/Makefile.in: Regenerated.
From-SVN: r266482
Aaron Sawdey [Mon, 26 Nov 2018 20:59:06 +0000 (20:59 +0000)]
rs6000-string.c (expand_cmp_vec_sequence): Rename and modify expand_strncmp_vec_sequence.
2018-11-26 Aaron Sawdey <acsawdey@linux.ibm.com>
* config/rs6000/rs6000-string.c (expand_cmp_vec_sequence): Rename
and modify expand_strncmp_vec_sequence.
(emit_final_compare_vec): Rename and modify emit_final_str_compare_vec.
(generate_6432_conversion): New function.
(expand_block_compare): Add support for vsx.
(expand_block_compare_gpr): New function.
* config/rs6000/rs6000.opt (rs6000_block_compare_inline_limit): Increase
default limit to 63 because of more compact vsx code.
From-SVN: r266481
Uros Bizjak [Mon, 26 Nov 2018 20:50:57 +0000 (21:50 +0100)]
re PR target/88178 (ICE in dbx_reg_number, at dwarf2out.c:13659)
PR target/88178
* config/i386/i386.c (dbx_register_map): Use IGNORED_DWARF_REGNUM
for registers for which no debug information can be generated.
Use INVALID_REGNUM for non-existent registers.
(dbx64_register_map): Ditto.
(svr4_dbx_register_map): Ditto.
testsuite/ChangeLog:
PR target/88178
* gcc.target/pr88178.c: New test.
From-SVN: r266480
Sandra Loosemore [Mon, 26 Nov 2018 18:22:19 +0000 (13:22 -0500)]
re PR c/57182 (Documentation implies -fprofile-arcs required to create .text.unlikely sections)
2018-11-26 Sandra Loosemore <sandra@codesourcery.com>
PR c/57182
gcc/
* doc/invoke.texi (Optimize Options): Document that
-freorder-functions also uses "hot" and "cold" attributes.
From-SVN: r266473
Kyrylo Tkachov [Mon, 26 Nov 2018 17:51:58 +0000 (17:51 +0000)]
[AArch64][committed] Fix typo in aarch64_mangle_type
* config/aarch64/aarch64.c (aarch64_mangle_type): Fix typo in comment.
From-SVN: r266472
Kyrylo Tkachov [Mon, 26 Nov 2018 17:50:03 +0000 (17:50 +0000)]
[arm][1/3] Rename mul64 attr to widen_mul64
The mul64 attribute in types.md causes some confusion as it is used to represent
aarch32 instructions that do widening multiplication to generate 32->64 bit results.
But these types are shared with aarch64, which has native 64-bit multiplication operations.
Those are currently not properly represented, which I will fix in follow-up patches.
For now, this patch renames the mul64 attribute to widen_mul64 to more clearly communicate its meaning.
It mechanically updates all users of that name in config/arm/ (there are no users in config/aarch64).
There is thus no change in behaviour.
* config/arm/types.md (mul64): Rename to...
(widen_mul64): ... This.
* config/arm/arm-generic.md: Rename mul64 to widen_mul64.
* config/arm/cortex-a15.md: Likewise.
* config/arm/cortex-a5.md: Likewise.
* config/arm/cortex-a53.md: Likewise.
* config/arm/cortex-a57.md: Likewise.
* config/arm/cortex-a7.md: Likewise.
* config/arm/cortex-m4.md: Likewise.
* config/arm/exynos-m1.md: Likewise.
* config/arm/marvell-pj4.md: Likewise.
* config/arm/xgene1.md: Likewise.
From-SVN: r266471
Iain Buclaw [Mon, 26 Nov 2018 17:27:34 +0000 (17:27 +0000)]
libphobos: Fix backtraces in Fibers on AArch64.
When throwing an Exception in the Fiber the backtrace generation
crashes. This happens because backtrace does not func the stack bottom.
Using '.cfi_undefined x30' tells the debug info that the value in the lr
is unknown, which seems to be the nicest way to stop the unwinder.
Setting x30 to 0 is another option, however it still creates one invalid
frame in gdb, so the .cfi variant is used here instead.
Backport from upstream druntime 2.083.
Reviewed-on: https://github.com/dlang/druntime/pull/2308
From-SVN: r266470
Richard Biener [Mon, 26 Nov 2018 15:37:35 +0000 (15:37 +0000)]
re PR tree-optimization/88182 (ICE in vectorizable_reduction, at tree-vect-loop.c:6465)
2018-11-26 Richard Biener <rguenther@suse.de>
PR tree-optimization/88182
* tree-vect-loop.c (vectorizable_reduction): Pick up single
correct reduc_def_info.
* tree-vect-slp.c (vect_analyze_slp_instance): Set
STMT_VINFO_REDUC_DEF of the first stmt.
libgomp/
* testsuite/libgomp.c++/pr88182.C: New testcase.
From-SVN: r266467
Andreas Krebbel [Mon, 26 Nov 2018 15:01:03 +0000 (15:01 +0000)]
S/390: Document z14/arch12 -march option.
gcc/ChangeLog:
2018-11-26 Andreas Krebbel <krebbel@linux.ibm.com>
* doc/invoke.texi: Document z14/arch12 -march option.
From-SVN: r266462
Matthias Klose [Mon, 26 Nov 2018 13:30:50 +0000 (13:30 +0000)]
re PR ada/88191 (ada bootstrap failure on alpha-linux-gnu ("SIGSYS" not declared in "Linux"))
2018-11-26 Matthias Klose <doko@ubuntu.com>
PR ada/88191
* libgnarl/s-linux__alpha.ads: Define SIGSYS.
From-SVN: r266459
Matthias Klose [Mon, 26 Nov 2018 11:50:31 +0000 (11:50 +0000)]
test-long-names.c: Fix build with -Wformat-security.
2018-11-26 Matthias Klose <doko@ubuntu.com>
* jit.dg/test-long-names.c: Fix build with -Wformat-security.
From-SVN: r266454
Jonathan Wakely [Mon, 26 Nov 2018 11:12:11 +0000 (11:12 +0000)]
Only use __float128 in test if available
* testsuite/26_numerics/complex/requirements/more_constexpr.cc: Fix
failure on targets without __float128.
From-SVN: r266450
Sandra Loosemore [Mon, 26 Nov 2018 03:44:38 +0000 (22:44 -0500)]
re PR c/57166 (Manual no longer documents -Wmissing-noreturn alias for -Wsuggest-attribute=noreturn)
2018-11-25 Sandra Loosemore <sandra@codesourcery.com>
PR c/57166
gcc/
* doc/invoke.texi (Option Summary): Add -Wmissing-noreturn.
(Warning Options): Likewise.
From-SVN: r266446
Sandra Loosemore [Mon, 26 Nov 2018 01:38:00 +0000 (20:38 -0500)]
re PR web/79738 (Documentation for __attribute__((const)) slightly misleading)
2018-11-25 Sandra Loosemore <sandra@codesourcery.com>
PR web/79738
gcc/
* doc/extend.texi (Common Function Attributes): Clarify that
functions with "const" attribute can read const global variables.
From-SVN: r266445
GCC Administrator [Mon, 26 Nov 2018 00:16:38 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r266444
Alan Modra [Sun, 25 Nov 2018 22:16:27 +0000 (08:46 +1030)]
[RS6000] Delete OBJECT_PEF and TARGET_MACOS
Nothing references these macros.
* config/rs6000/rs6000.h (OBJECT_PEF, TARGET_MACOS): Delete.
From-SVN: r266441
Sandra Loosemore [Sun, 25 Nov 2018 21:10:34 +0000 (16:10 -0500)]
re PR other/54265 (Documentation of "preferred attribute syntax for Types" contradicts examples in info.)
2018-11-25 Sandra Loosemore <sandra@codesourcery.com>
PR other/54265
gcc/
* doc/extend.texi (Common Variable Attributes): Use preferred
placement of type attributes in examples, plus whitespace fixes.
(Type Attributes): Clarify why placement of attributes
immediately after struct/union/enum keyword is preferred.
(Common Type Attributes): Use preferred placement of type
attributes in examples, plus more whitespace fixes.
From-SVN: r266440
Paul Koning [Sun, 25 Nov 2018 17:39:27 +0000 (12:39 -0500)]
* config/pdp11/pdp11.h (TARGET_HAS_NO_HW_DIVIDE): Define.
From-SVN: r266439
Rainer Orth [Sun, 25 Nov 2018 15:59:44 +0000 (15:59 +0000)]
Disable gdc execution tests without libphobos
gcc/testsuite:
* lib/target-supports.exp (check_compile): Handle D.
(check_effective_target_d_runtime): New proc.
* lib/gdc-dg.exp (gdc-dg-test): Demote link and run tests to
compile unless d_runtime.
* gdc.dg/runnable.d: Skip unless d_runtime.
* gdc.dg/lto/lto.exp: Require d_runtime to run tests.
gcc:
* doc/sourcebuild.texi (Effective-Target Keywords, Environment
attributes): Document d_runtime.
From-SVN: r266438
Vladimir Makarov [Sun, 25 Nov 2018 05:46:44 +0000 (05:46 +0000)]
re PR bootstrap/88157 (ICE when building libgo encoding/gob.lo starting with r266385)
2018-11-25 Vladimir Makarov <vmakarov@redhat.com>
PR bootstrap/88157
* ira-costs.c (record_operand_costs): Initiate register move cost
for mode.
From-SVN: r266435
GCC Administrator [Sun, 25 Nov 2018 00:16:29 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r266434
Iain Buclaw [Sat, 24 Nov 2018 09:51:03 +0000 (09:51 +0000)]
re PR d/87866 (gdc fails to compile minimal test)
gcc/d/ChangeLog:
2018-11-24 Iain Buclaw <ibuclaw@gdcproject.org>
PR d/87866
* d-incpath.cc (add_globalpaths): Use lrealpath to get canonical name.
(add_filepaths): Likewise.
From-SVN: r266429
Paul Thomas [Sat, 24 Nov 2018 09:10:00 +0000 (09:10 +0000)]
re PR fortran/88143 (ICE in resolve_variable at gcc/fortran/resolve.c:5413 since r253077)
2018-11-24 Paul Thomas <pault@gcc.gnu.org>
PR fortran/88143
* resolve.c (resolve_variable): Check for associate names with
NULL target.
2018-11-24 Paul Thomas <pault@gcc.gnu.org>
PR fortran/88143
* gfortran.dg/associate_46.f90: New test.
From-SVN: r266428
Paul Thomas [Sat, 24 Nov 2018 09:07:23 +0000 (09:07 +0000)]
2018-11-24 Paul Thomas <pault@gcc.gnu.org>
PR fortran/888143
* resolve.c (resolve_variable): Check for associate names with
NULL target.
2018-11-24 Paul Thomas <pault@gcc.gnu.org>
PR fortran/888143
* gfortran.dg/associate_46.f90: New test.
From-SVN: r266427
Jeff Law [Sat, 24 Nov 2018 06:51:26 +0000 (23:51 -0700)]
re PR rtl-optimization/87468 (ice "wrong amount of branch edges after conditional jump in bb")
PR rtl-optimization/87468
* tree-ssa-threadupdate.c (create_block_for_threading): Clear
EDGE_IGNORE on all outgoing edges of the duplicate block.
From-SVN: r266426
GCC Administrator [Sat, 24 Nov 2018 00:16:40 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r266425
Vladimir Makarov [Fri, 23 Nov 2018 22:00:43 +0000 (22:00 +0000)]
re PR bootstrap/88157 (ICE when building libgo encoding/gob.lo starting with r266385)
2018-11-23 Vladimir Makarov <vmakarov@redhat.com>
PR bootstrap/88157
* ira-costs.c (record_operand_costs): Use bigger hard reg class if
its mode does not fit to the original class.
From-SVN: r266422
Vladimir Makarov [Fri, 23 Nov 2018 21:42:52 +0000 (21:42 +0000)]
pr70669.c: Use unary minus instead of addition.
2018-11-23 Vladimir Makarov <vmakarov@redhat.com>
* gcc.target/powerpc/pr70669.c: Use unary minus instead of
addition.
From-SVN: r266421
Jakub Jelinek [Fri, 23 Nov 2018 21:13:44 +0000 (22:13 +0100)]
re PR tree-optimization/87756 (missing unterminated argument warning using address of a constant character)
PR tree-optimization/87756
* gcc.dg/builtin-memchr-2.c: Scan the gimple dump instead of
optimized.
* gcc.dg/builtin-memchr-3.c: Likewise.
From-SVN: r266420
Janne Blomqvist [Fri, 23 Nov 2018 20:42:03 +0000 (22:42 +0200)]
Make recursion_check work for multiple threads
With multiple threads, using an unprotected static variable to check
whether recursion has occured isn't valid, as one thread might have
modified the variable, thus causing another thread to incorrectly
conclude that recursion has occured. This patch avoids this problem
by using a thread-specific variable for the recursion check.
Regtested on x86_64-pc-linux-gnu.
libgfortran/ChangeLog:
2018-11-23 Janne Blomqvist <jb@gcc.gnu.org>
* runtime/error.c (MAGIC): Remove.
(recursion_key): New variable.
(recursion_check): Use thread-specific variable for recursion
check if threads are active.
(constructor_recursion_check): New function.
(destructor_recursion_check): New funcion.
From-SVN: r266419
Martin Sebor [Fri, 23 Nov 2018 18:45:45 +0000 (18:45 +0000)]
PR tree-optimization/87756 - missing unterminated argument warning using address of a constant character
gcc/ChangeLog:
PR tree-optimization/87756
* expr.c (string_constant): Synthesize a string literal from
the address of a constant character.
* tree.c (build_string_literal): Add an argument.
* tree.h (build_string_literal): Same.
gcc/testsuite/ChangeLog:
PR tree-optimization/87756
* gcc.dg/builtin-memchr-2.c: New test.
* gcc.dg/builtin-memchr-3.c: Same.
* gcc.dg/warn-sprintf-no-nul-2.c: Same.
From-SVN: r266418
Martin Sebor [Fri, 23 Nov 2018 18:23:31 +0000 (18:23 +0000)]
PR testsuite/88098 - FAIL: gcc.dg/Wbuiltin-declaration-mismatch-4.c
gcc/c/ChangeLog:
PR testsuite/88098
* c-typeck.c (convert_arguments): Call builtin_decl_explicit instead.
(maybe_warn_builtin_no_proto_arg): Handle short enum to int promotion.
gcc/testsuite/ChangeLog:
PR testsuite/88098
* gcc.dg/Wbuiltin-declaration-mismatch-4.c: Adjust.
* gcc.dg/Wbuiltin-declaration-mismatch-5.c: New test.
* gcc.dg/torture/pr67222.c: Adjust.
From-SVN: r266417
Edward Smith-Rowland [Fri, 23 Nov 2018 18:17:04 +0000 (18:17 +0000)]
Implement P0415 More constexpr for std::complex.
2018-11-23 Edward Smith-Rowland <3dw4rd@verizon.net>
Implement P0415 More constexpr for std::complex.
* include/std/complex (conj(complex<Tp>), norm(complex<Tp>)): Constexpr;
(real(Tp), imag(Tp)): Constexpr;
(operator@=(Tp), operator@=(complex<Tp>)): Constexpr;
(operator@(Tp,complex<Tp>), operator@(complex<Tp>,Tp)
operator@(complex<Tp>,complex<Tp>)): Constexpr.
* testsuite/26_numerics/complex/comparison_operators/
more_constexpr.cc: New test.
* testsuite/26_numerics/complex/operators/more_constexpr.cc: New test.
* testsuite/26_numerics/complex/requirements/
more_constexpr.cc: New test.
* testsuite/26_numerics/complex/value_operations/
more_constexpr.cc: New test.
* testsuite/26_numerics/headers/complex/synopsis.cc:
Add _GLIBCXX20_CONSTEXPR to applicable operators; Add missing proj().
* testsuite/26_numerics/headers/complex/synopsis.cc:
Add _GLIBCXX20_CONSTEXPR to relevant decls.
From-SVN: r266416
Christoph Muellner [Fri, 23 Nov 2018 17:52:19 +0000 (17:52 +0000)]
[aarch64] Add CPU support for Ampere Computing's eMAG.
2018-11-23 Christoph Muellner <christoph.muellner@theobroma-system.com>
* config/aarch64/aarch64-cores.def: Define emag.
* config/aarch64/aarch64-tune.md: Regenerated with emag.
* config/aarch64/aarch64.c (emag_tunings): New struct.
* doc/invoke.texi: Document mtune value.
From-SVN: r266415
Christoph Muellner [Fri, 23 Nov 2018 17:49:44 +0000 (17:49 +0000)]
[aarch64] Update xgene1 tuning struct.
2018-11-23 Christoph Muellner <christoph.muellner@theobroma-systems.com>
Philipp Tomsich <philipp.tomsich@theobroma-systems.com>
* config/aarch64/aarch64.c (xgene1_tunings): Optimize Xgene1 tunings
for GCC 9.
Co-Authored-By: Philipp Tomsich <philipp.tomsich@theobroma-systems.com>
From-SVN: r266414
Christoph Muellner [Fri, 23 Nov 2018 17:49:40 +0000 (17:49 +0000)]
[aarch64] Add xgene1 prefetch tunings.
2018-11-23 Christoph Muellner <christoph.muellner@theobroma-systems.com>
Philipp Tomsich <philipp.tomsich@theobroma-systems.com>
* config/aarch64/aarch64.c (xgene1_tunings): Add Xgene1 specific
prefetch tunings.
Co-Authored-By: Philipp Tomsich <philipp.tomsich@theobroma-systems.com>
From-SVN: r266413
Christoph Muellner [Fri, 23 Nov 2018 17:49:26 +0000 (17:49 +0000)]
[aarch64] Update xgene1_addrcost_table.
2018-11-23 Christoph Muellner <christoph.muellner@theobroma-systems.com>
Philipp Tomsich <philipp.tomsich@theobroma-systems.com>
* config/aarch64/aarch64.c (xgene1_addrcost_table): Correct the post modify
costs.
Co-Authored-By: Philipp Tomsich <philipp.tomsich@theobroma-systems.com>
From-SVN: r266412
Christoph Muellner [Fri, 23 Nov 2018 17:49:19 +0000 (17:49 +0000)]
[aarch64/arm] Updating the cost table for xgene1.
2018-11-23 Christoph Muellner <christoph.muellner@theobroma-system.com>
* config/arm/aarch-cost-tables.h (xgene1_extra_costs): Update the cost table
for Xgene1.
From-SVN: r266411
Martin Sebor [Fri, 23 Nov 2018 16:12:03 +0000 (16:12 +0000)]
PR libstdc++/65229 fix pretty printer for std::bitset<0>
2018-11-23 Martin Sebor <msebor@redhat.com>
Jonathan Wakely <jwakely@redhat.com>
PR libstdc++/65229
* python/libstdcxx/v6/printers.py (StdBitsetPrinter): Handle
exception thrown for std::bitset<0>.
* testsuite/libstdc++-prettyprinters/simple.cc: Test std::bitset<0>.
Co-Authored-By: Jonathan Wakely <jwakely@redhat.com>
From-SVN: r266409
Jonathan Wakely [Fri, 23 Nov 2018 15:48:56 +0000 (15:48 +0000)]
PR libstdc++/87308 adjust regex used in std::any pretty printer
The pretty printer for std::any fails when the contained value is a
locally-defined type, because the name in the debuginfo has
cv-qualifiers and ptr-declarators in different positions. The unexpected
format confuses the printer. This makes the printer's regex handle
either format.
This isn't a complete fix because looking up the contained type fails
when there are two types with the same name (defined in different local
scopes). This applies to all closure types defined in a given function,
as they all appear as "func()::lambda" in the debuginfo names.
PR libstdc++/87308 (partial)
* python/libstdcxx/v6/printers.py (StdExpAnyPrinter): Adjust regex to
work around PR 88166.
* testsuite/libstdc++-prettyprinters/cxx17.cc: Test std::any
containing a local type.
From-SVN: r266408
Richard Biener [Fri, 23 Nov 2018 12:53:39 +0000 (12:53 +0000)]
re PR tree-optimization/88149 (ICE in vect_transform_stmt since r265959)
2018-11-23 Richard Biener <rguenther@suse.de>
PR tree-optimization/88149
* tree-vect-slp.c (vect_slp_analyze_node_operations): Detect
the case where there are two different def types for the
same operand at different operand position in the same stmt.
* g++.dg/torture/pr88149.C: New testcase.
From-SVN: r266406
Mihail Ionescu [Fri, 23 Nov 2018 10:48:52 +0000 (10:48 +0000)]
[PATCH, ARM] Clean up arm backend using the @ construct for MD patterns
This patch removes some of the machine mode checks from the arm backend when
emitting instructions by using the '@' construct (Parameterized Names[2]). It
is based on the previous AArch64 patch[1].
[1] https://gcc.gnu.org/ml/gcc-patches/2018-07/msg00673.html
[2] https://gcc.gnu.org/onlinedocs/gccint/Parameterized-Names.html#Parameterized-Names
2018-23-11 Mihail Ionescu <mihail.ionescu@arm.com>
* config/arm/arm.c (arm_expand_compare_and_swap): Simplify and call
gen_atomic_compare_swap_1.
(arm_evpc_neon_vuzp): Likewise gen_neon_vuzp_internal.
(arm_evpc_neon_vtrn): Likewise gen_neon_vtrn_internal.
(arm_evpc_neon_vext): Likewise gen_neon_vext_internal.
(arm_evpc_neon_vzip): Likewise gen_neon_vzip_internal.
(arm_evpc_neon_vrev): Replace the function pointer and simplify the mode
checks.
* config/arm/arm.md (neon_vext<mode>),
(neon_vrev64<mode>, neon_vrev32<mode>),
(neon_vrev16<mode>, neon_vtrn<mode>_internal),
(neon_vzip<mode>_internal, neon_vuzp<mode>_internal): Add an '@'character
before the pattern name.
* config/arm/sync.md:
(atomic_compare_and_swap<CCSI:arch><NARROW:mode>_1),
(atomic_compare_and_swap<CCSI:arch><SIDI:mode>_1): Likewise.
From-SVN: r266404
Jakub Jelinek [Fri, 23 Nov 2018 09:12:16 +0000 (10:12 +0100)]
re PR tree-optimization/86614 (duplicate -Warray-bounds for a strncpy call with out-of-bounds offset)
PR tree-optimization/86614
* gimple-ssa-warn-restrict.c (maybe_diag_offset_bounds): Return early
if TREE_NO_WARNING is set on ref.ref.
* c-c++-common/Warray-bounds-2.c (wrap_strncpy_dstarray_diff_neg,
call_strncpy_dstarray_diff_neg): Don't expect late -Warray-bounds
warnings, just early ones from FE. Remove dg-prune-output.
* c-c++-common/Warray-bounds-6.c: New test.
From-SVN: r266403
Sandra Loosemore [Fri, 23 Nov 2018 05:18:19 +0000 (00:18 -0500)]
re PR c/53608 (Documentation could be clearer about designated initializers of unions)
2018-11-22 Sandra Loosemore <sandra@codesourcery.com>
Alan Coopersmith <alan.coopersmith@oracle.com>
PR c/53608
gcc/
* doc/extend.texi (Designated Inits): Clarify handling of multiple
initializers for unions.
Co-Authored-By: Alan Coopersmith <alan.coopersmith@oracle.com>
From-SVN: r266402
GCC Administrator [Fri, 23 Nov 2018 00:16:37 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r266400
Jakub Jelinek [Fri, 23 Nov 2018 00:11:11 +0000 (01:11 +0100)]
lang.opt (fpad-source): New option.
* lang.opt (fpad-source): New option.
* scanner.c (load_line): Don't pad fixed form lines if
!flag_pad_source.
* invoke.texi (-fno-pad-source): Document.
* gfortran.dg/pad_source_1.f: New test.
* gfortran.dg/pad_source_2.f: New test.
* gfortran.dg/pad_source_3.f: New test.
* gfortran.dg/pad_source_4.f: New test.
* gfortran.dg/pad_source_5.f: New test.
From-SVN: r266397
Jan Hubicka [Thu, 22 Nov 2018 23:10:57 +0000 (00:10 +0100)]
re PR lto/88142 (ICE in lto_warn at ipa-devirt.c:1020 since r265519)
PR lto/88142
* ipa-devirt.c (type_variants_equivalent_p): Drop warn and warned
parameters; do not warn here.
(odr_subtypes_equivalent_p): Likewise.
(warn_odr): Fix typo.
(warn_types_mismatch): Do not output confused warnings on integer types.
(odr_types_equivalent_p): Update.
* g++.dg/lto/odr-5_0.C: New testcase.
* g++.dg/lto/odr-5_1.C: New testcase.
From-SVN: r266396
Jan Hubicka [Thu, 22 Nov 2018 23:00:43 +0000 (00:00 +0100)]
lto.c (cmp_type_location): Remove.
* lto.c (cmp_type_location): Remove.
(lto_read_decls): Do not allocate odr_types.
From-SVN: r266395
Jakub Jelinek [Thu, 22 Nov 2018 21:35:24 +0000 (22:35 +0100)]
i386.c (ix86_option_override_internal, [...]): Formatting fixes.
* config/i386/i386.c (ix86_option_override_internal,
ix86_can_inline_p, classify_argument, construct_container,
ix86_expand_prologue, ix86_expand_split_stack_prologue,
ix86_expand_carry_flag_compare, expand_set_or_movmem_via_loop,
expand_setmem_epilogue_via_loop, promote_duplicated_reg,
ix86_expand_set_or_movmem, ix86_init_builtins_va_builtins_abi):
Formatting fixes.
From-SVN: r266391
Jakub Jelinek [Thu, 22 Nov 2018 21:34:49 +0000 (22:34 +0100)]
i386.c (ix86_option_override_internal): For stack_protector_guard related options...
* config/i386/i386.c (ix86_option_override_internal): For
stack_protector_guard related options, use opts_set->x_ instead
of global_options_set. and prefix options with opts->x_ . Move
defaults for offset and reg into else block.
From-SVN: r266390
Uros Bizjak [Thu, 22 Nov 2018 21:25:37 +0000 (22:25 +0100)]
i386.c (ix86_check_avx_upper_register): Return true for all SSE registers with mode bitsize > 128.
* config/i386/i386.c (ix86_check_avx_upper_register):
Return true for all SSE registers with mode bitsize > 128.
From-SVN: r266389
Jan Hubicka [Thu, 22 Nov 2018 20:26:21 +0000 (21:26 +0100)]
odr-2_0.C: Drop dg-lto-options.
* g++.dg/lto/odr-2_0.C: Drop dg-lto-options.
* g++.dg/lto/odr-3_0.C: Likewise; harden for optimizing compilatoin.
From-SVN: r266388
Jakub Jelinek [Thu, 22 Nov 2018 19:58:50 +0000 (20:58 +0100)]
re PR tree-optimization/85794 ([AArch64] ICE in expand_vector_condition in GIMPLE pass: veclower2)
PR tree-optimization/85794
* gcc.dg/vect/O3-pr85794.c: New test.
From-SVN: r266387
Marc Glisse [Thu, 22 Nov 2018 18:10:05 +0000 (19:10 +0100)]
Improve relocation
2018-11-22 Marc Glisse <marc.glisse@inria.fr>
PR libstdc++/87106
* include/bits/stl_algobase.h: Include <type_traits>.
(__niter_base): Add noexcept specification.
* include/bits/stl_deque.h: Include <bits/stl_uninitialized.h>.
(__is_trivially_relocatable): Specialize for deque.
* include/bits/stl_iterator.h: Include <type_traits>.
(__niter_base): Add noexcept specification.
* include/bits/stl_uninitialized.h (__is_trivially_relocatable):
Add parameter for meta-programming.
(__relocate_a_1, __relocate_a): Add noexcept specification.
* include/bits/stl_vector.h (__use_relocate): Test __relocate_a.
From-SVN: r266386
Vladimir Makarov [Thu, 22 Nov 2018 17:25:57 +0000 (17:25 +0000)]
re PR rtl-optimization/87718 (FAIL: gcc.target/i386/avx512dq-concatv2si-1.c)
2018-11-22 Vladimir Makarov <vmakarov@redhat.com>
PR rtl-optimization/87718
* ira-costs.c: Remove trailing white-spaces.
(record_operand_costs): Add a special treatment for moves
involving a hard register.
2018-11-22 Vladimir Makarov <vmakarov@redhat.com>
PR rtl-optimization/87718
* gcc.target/i386/pr82361-1.c: Check only the first operand of
moves.
From-SVN: r266385
Uros Bizjak [Thu, 22 Nov 2018 15:39:35 +0000 (16:39 +0100)]
i386.c (ix86_avx_emit_vzeroupper): Remove.
* config/i386/i386.c (ix86_avx_emit_vzeroupper): Remove.
(ix86_emit_mode_set) <case AVX_U128>: Emit vzeroupper here.
From-SVN: r266382
Martin Liska [Thu, 22 Nov 2018 15:09:55 +0000 (16:09 +0100)]
Fix option values for -march.
2018-11-22 Martin Liska <mliska@suse.cz>
* common/config/i386/i386-common.c (processor_names): Add
static assert and add missing "znver2".
(ix86_get_valid_option_values): Add checking assert for null
values and add "native" value if feasible.
* config/i386/i386.h: Do not declare size of processor_names.
* common/config/i386/i386-common.c:
* config/i386/i386.c: Add static assert for size
of processor_cost_table.
From-SVN: r266381
Thomas Preud'homme [Thu, 22 Nov 2018 14:46:17 +0000 (14:46 +0000)]
PR85434: Prevent spilling of stack protector guard's address on ARM
In case of high register pressure in PIC mode, address of the stack
protector's guard can be spilled on ARM targets as shown in PR85434,
thus allowing an attacker to control what the canary would be compared
against. ARM does lack stack_protect_set and stack_protect_test insn
patterns, defining them does not help as the address is expanded
regularly and the patterns only deal with the copy and test of the
guard with the canary.
This problem does not occur for x86 targets because the PIC access and
the test can be done in the same instruction. Aarch64 is exempt too
because PIC access insn pattern are mov of UNSPEC which prevents it from
the second access in the epilogue being CSEd in cse_local pass with the
first access in the prologue.
The approach followed here is to create new "combined" set and test
standard pattern names that take the unexpanded guard and do the set or
test. This allows the target to use an opaque pattern (eg. using UNSPEC)
to hide the individual instructions being generated to the compiler and
split the pattern into generic load, compare and branch instruction
after register allocator, therefore avoiding any spilling. This is here
implemented for the ARM targets. For targets not implementing these new
standard pattern names, the existing stack_protect_set and
stack_protect_test pattern names are used.
To be able to split PIC access after register allocation, the functions
had to be augmented to force a new PIC register load and to control
which register it loads into. This is because sharing the PIC register
between prologue and epilogue could lead to spilling due to CSE again
which an attacker could use to control what the canary gets compared
against.
2018-11-22 Thomas Preud'homme <thomas.preudhomme@linaro.org>
gcc/
PR target/85434
* target-insns.def (stack_protect_combined_set): Define new standard
pattern name.
(stack_protect_combined_test): Likewise.
* cfgexpand.c (stack_protect_prologue): Try new
stack_protect_combined_set pattern first.
* function.c (stack_protect_epilogue): Try new
stack_protect_combined_test pattern first.
* config/arm/arm.c (require_pic_register): Add pic_reg and compute_now
parameters to control which register to use as PIC register and force
reloading PIC register respectively. Insert in the stream of insns if
possible.
(legitimize_pic_address): Expose above new parameters in prototype and
adapt recursive calls accordingly. Use pic_reg if non null instead of
cached one.
(arm_load_pic_register): Add pic_reg parameter and use it if non null.
(arm_legitimize_address): Adapt to new legitimize_pic_address
prototype.
(thumb_legitimize_address): Likewise.
(arm_emit_call_insn): Adapt to require_pic_register prototype change.
(arm_expand_prologue): Adapt to arm_load_pic_register prototype change.
(thumb1_expand_prologue): Likewise.
* config/arm/arm-protos.h (legitimize_pic_address): Adapt to prototype
change.
(arm_load_pic_register): Likewise.
* config/arm/predicated.md (guard_addr_operand): New predicate.
(guard_operand): New predicate.
* config/arm/arm.md (movsi expander): Adapt to legitimize_pic_address
prototype change.
(builtin_setjmp_receiver expander): Adapt to thumb1_expand_prologue
prototype change.
(stack_protect_combined_set): New expander..
(stack_protect_combined_set_insn): New insn_and_split pattern.
(stack_protect_set_insn): New insn pattern.
(stack_protect_combined_test): New expander.
(stack_protect_combined_test_insn): New insn_and_split pattern.
(arm_stack_protect_test_insn): New insn pattern.
* config/arm/thumb1.md (thumb1_stack_protect_test_insn): New insn pattern.
* config/arm/unspecs.md (UNSPEC_SP_SET): New unspec.
(UNSPEC_SP_TEST): Likewise.
* doc/md.texi (stack_protect_combined_set): Document new standard
pattern name.
(stack_protect_set): Clarify that the operand for guard's address is
legal.
(stack_protect_combined_test): Document new standard pattern name.
(stack_protect_test): Clarify that the operand for guard's address is
legal.
gcc/testsuite/
PR target/85434
* gcc.target/arm/pr85434.c: New test.
From-SVN: r266379
Richard Biener [Thu, 22 Nov 2018 14:08:44 +0000 (14:08 +0000)]
re PR tree-optimization/88148 (ICE in tree_nop_conversion_p at gcc/tree.c:12550 since r264273)
2018-11-22 Richard Biener <rguenther@suse.de>
PR tree-optimization/88148
* tree-ssa-loop-niter.c (simplify_replace_tree): Get optional
valueization callback parameter and handle it.
* tree-ssa-loop-niter.h (simplify_replace_tree): Export.
* tree-ssa-sccvn.c (process_bb): Eliminate in loop niter trees.
* gfortran.dg/pr88148.f90: New testcase.
From-SVN: r266378
Martin Liska [Thu, 22 Nov 2018 14:05:54 +0000 (15:05 +0100)]
Add new maintainer script for PRs that can be closed.
2018-11-22 Martin Liska <mliska@suse.cz>
* bugzilla-close-candidate.py: New file.
From-SVN: r266377
Jonathan Wakely [Thu, 22 Nov 2018 13:42:39 +0000 (13:42 +0000)]
PR libstdc++/87520 Always pass type-punned type_info reference
The implementations of std::make_shared for -frtti and -fno-rtti are not
compatible, because they pass different arguments to
_Sp_counted_ptr_inplace::_M_get_deleter and so can't interoperate.
Either the argument doesn't match the expected value, and so the
shared_ptr::_M_ptr member is never set, or the type-punned reference is
treated as a real std::type_info object and gets dereferenced.
This patch removes the differences between -frtti and -fno-rtti, so that
typeid is never used, and the type-punned reference is used in both
cases. For backwards compatibility with existing code that passes
typeid(_Sp_make_shared_tag) that still needs to be handled, but only
after checking that the argument is not the type-punned reference (so
it's safe to treat as a real std::type_info object). The reference is
bound to an object of literal type, so that it doesn't need a guard
variable to make its initialization thread-safe.
This patch also fixes 87520 by ensuring that the type-punned reference
is bound to "a region of storage of suitable size and alignment to
contain an object of the reference's type" (as per the proposed
resolution of Core DR 453).
If all objects are built with the fixed version of GCC then -frtti and
-fno-rtti can be mixed freely and std::make_shared will work correctly.
If some objects are built with unfixed GCC versions then problems can
still arise, depending on which template instantiations are kept by the
linker.
PR libstdc++/85930
PR libstdc++/87520
* include/bits/shared_ptr_base.h (_Sp_make_shared_tag::_S_ti)
[__cpp_rtti]: Define even when RTTI is enabled. Use array of
sizeof(type_info) so that type-punned reference binds to an object
of the correct size as well as correct alignment.
(_Sp_counted_ptr_inplace::_M_get_deleter) [__cpp_rtti]: Check for
_S_ti() reference even when RTTI is enabled.
(__shared_ptr(_Sp_make_shared_tag, const _Alloc&, _Args&&...))
[__cpp_rtti]: Pass _S_ti() instead of typeid(_Sp_make_shared_tag).
From-SVN: r266376
Martin Liska [Thu, 22 Nov 2018 10:44:40 +0000 (10:44 +0000)]
Update changelog entry.
From-SVN: r266374
Andreas Schwab [Thu, 22 Nov 2018 10:42:19 +0000 (10:42 +0000)]
* g++.dg/lto/odr-2_0.C: Remove extra brace
From-SVN: r266373
Richard Biener [Thu, 22 Nov 2018 09:54:14 +0000 (09:54 +0000)]
re PR c++/87229 (ICE: tree code 'call_expr' is not supported in LTO streams)
2018-11-22 Richard Biener <rguenther@suse.de>
PR lto/87229
PR lto/88112
* lto-streamer-out.c (lto_is_streamable): Allow CALL_EXPRs
which can appear in size expressions.
* tree-streamer-in.c (unpack_ts_base_value_fields): Stream
CALL_EXPR_BY_DESCRIPTOR.
(streamer_read_tree_bitfields): Stream CALL_EXPR_IFN.
* tree-streamer-out.c (pack_ts_base_value_fields): Stream
CALL_EXPR_BY_DESCRIPTOR.
(streamer_write_tree_bitfields): Stream CALL_EXPR_IFN.
Revert
PR lto/87229
* tree.c (free_lang_data_in_one_sizepos): Free non-gimple-val
sizepos values.
From-SVN: r266372
Richard Biener [Thu, 22 Nov 2018 09:50:58 +0000 (09:50 +0000)]
re PR tree-optimization/88069 (ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.c:709)
2018-11-22 Richard Biener <rguenther@suse.de>
PR tree-optimization/88069
* tree-ssa-sccvn.c (visit_phi): Tweak previous fix to not
apply to default defs.
From-SVN: r266371
Jakub Jelinek [Thu, 22 Nov 2018 09:48:43 +0000 (10:48 +0100)]
re PR target/85644 (-fstack-protector generates invalid read to %fs:0x0 on mac)
PR target/85644
PR target/86832
* config/i386/i386.c (ix86_option_override_internal): Default
ix86_stack_protector_guard to SSP_TLS only if TARGET_THREAD_SSP_OFFSET
is defined.
* config/i386/i386.md (stack_protect_set, stack_protect_set_<mode>,
stack_protect_test, stack_protect_test_<mode>): Use empty condition
instead of TARGET_SSP_TLS_GUARD.
From-SVN: r266370
Jakub Jelinek [Thu, 22 Nov 2018 09:26:29 +0000 (10:26 +0100)]
re PR c++/87386 (Error message for static_assert show wrong range)
PR c++/87386
* parser.c (cp_parser_operator): Use str.get_value () instead of just
str in USERDEF_LITERAL_VALUE and USERDEF_LITERAL_SUFFIX_ID arguments.
From-SVN: r266369
Martin Liska [Thu, 22 Nov 2018 09:13:19 +0000 (10:13 +0100)]
Do not mix -fsanitize=thread and -mabi=ms (PR sanitizer/88017).
2018-11-22 Martin Liska <mliska@suse.cz>
PR sanitizer/88017
* config/i386/i386.c (ix86_option_override_internal):
2018-11-22 Martin Liska <mliska@suse.cz>
PR sanitizer/88017
* gcc.dg/tsan/pr88017.c: New test.
From-SVN: r266368
Janne Blomqvist [Thu, 22 Nov 2018 07:58:29 +0000 (09:58 +0200)]
Replace sync builtins with atomic builtins
The old __sync builtins have been deprecated for a long time now in
favor of the __atomic builtins following the C++11/C11 memory model.
This patch converts libgfortran to use the modern __atomic builtins.
At the same time I weakened the consistency to relaxed for
incrementing and decrementing the counter, and acquire-release when
decrementing to check whether the counter is 0 and the unit can be
freed. This is similar to e.g. std::shared_ptr in C++.
Regtested on x86_64-pc-linux-gnu.
libgfortran/ChangeLog:
2018-11-22 Janne Blomqvist <jb@gcc.gnu.org>
* acinclude.m4 (LIBGFOR_CHECK_ATOMIC_FETCH_ADD): Rename and test
presence of atomic builtins instead of sync builtins.
* configure.ac (LIBGFOR_CHECK_ATOMIC_FETCH_ADD): Call new test.
* io/io.h (inc_waiting_locked): Use __atomic_fetch_add.
(predec_waiting_locked): Use __atomic_add_fetch.
(dec_waiting_unlocked): Use __atomic_fetch_add.
* config.h.in: Regenerated.
* configure: Regenerated.
* Makefile.in: Regenerated.
From-SVN: r266367
Johannes Pfau [Thu, 22 Nov 2018 06:14:47 +0000 (06:14 +0000)]
re PR d/87824 (x86_64-linux multilib issues)
libphobos/ChangeLog:
2018-11-22 Johannes Pfau <johannespfau@gmail.com>
PR d/87824
* testsuite/libphobos.shared/shared.exp: Set proper path to phobos
library for multilib builds.
From-SVN: r266366
GCC Administrator [Thu, 22 Nov 2018 00:16:16 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r266364
Tom de Vries [Thu, 22 Nov 2018 00:06:27 +0000 (00:06 +0000)]
[libbacktrace] Factor out read_initial_length
Factor out new function read_initial_length in dwarf.c.
Bootstrapped and reg-tested on x86_64.
2018-11-22 Tom de Vries <tdevries@suse.de>
* dwarf.c (read_initial_length): Factor out of ...
(build_address_map, read_line_info): ... here.
From-SVN: r266361
Jakub Jelinek [Wed, 21 Nov 2018 22:42:09 +0000 (23:42 +0100)]
re PR c++/88122 (g++ ICE: internal compiler error: Segmentation fault)
PR c++/88122
* method.c (maybe_explain_implicit_delete): If
FUNCTION_FIRST_USER_PARMTYPE (decl) is NULL, set const_p to false
instead of ICEing.
* g++.dg/cpp0x/implicit15.C: New test.
From-SVN: r266360
Jakub Jelinek [Wed, 21 Nov 2018 22:41:07 +0000 (23:41 +0100)]
re PR c++/87386 (Error message for static_assert show wrong range)
PR c++/87386
* parser.c (cp_parser_primary_expression): Use
id_expression.get_location () instead of id_expr_token->location.
Adjust the range from id_expr_token->location to
id_expressio.get_finish ().
(cp_parser_operator_function_id): Pass location of the operator
token down to cp_parser_operator.
(cp_parser_operator): Add start_loc argument, always construct a
location with caret at start_loc and range from start_loc to the
finish of the last token.
gcc/testsuite/
* g++.dg/diagnostic/pr87386.C: New test.
* g++.dg/parse/error17.C: Adjust expected diagnostics.
libstdc++-v3/
* testsuite/20_util/scoped_allocator/69293_neg.cc: Adjust expected
line.
* testsuite/20_util/uses_allocator/cons_neg.cc: Likewise.
* testsuite/20_util/uses_allocator/69293_neg.cc: Likewise.
* testsuite/experimental/propagate_const/requirements2.cc: Likewise.
* testsuite/experimental/propagate_const/requirements3.cc: Likewise.
* testsuite/experimental/propagate_const/requirements4.cc: Likewise.
* testsuite/experimental/propagate_const/requirements5.cc: Likewise.
From-SVN: r266359
Uros Bizjak [Wed, 21 Nov 2018 21:52:06 +0000 (22:52 +0100)]
Revert the revert:
2013-10-26 Vladimir Makarov <vmakarov@redhat.com>
Revert:
2013-10-25 Vladimir Makarov <vmakarov@redhat.com>
* lra-spills.c (lra_final_code_change): Remove useless move insns.
From-SVN: r266358
Jakub Jelinek [Wed, 21 Nov 2018 20:45:59 +0000 (21:45 +0100)]
re PR rtl-optimization/85925 (compilation of masking with 257 goes wrong in combine at -02)
PR rtl-optimization/85925
* gcc.c-torture/execute/
20181120-1.c: Require effective target
int32plus.
(u): New variable.
(main): Compare d against u.f1 rather than 0x101. Use 0x4030201
instead of 0x10101.
From-SVN: r266357
Uros Bizjak [Wed, 21 Nov 2018 20:18:45 +0000 (21:18 +0100)]
re PR middle-end/88129 (Two blockage insns are emited in the function epilogue)
PR middle-end/88129
* function.c (expand_function_end): Do not emit extra blockage insn.
From-SVN: r266356
Lokesh Janghel [Wed, 21 Nov 2018 20:09:56 +0000 (20:09 +0000)]
re PR target/85667 (ms_abi rules aren't followed when returning short structs with float values)
PR target/85667
* config/i386/i386.c (function_value_ms_64): Return AX_REG instead
of FIRST_SSE_REG for 4 or 8 byte modes.
testsuite/ChangeLog:
PR target/85667
* gcc.target/pr85667-1.c: New testcase.
* gcc.target/pr85667-2.c: New testcase.
* gcc.target/pr85667-3.c: New testcase.
* gcc.target/pr85667-4.c: New testcase.
From-SVN: r266355
Jakub Jelinek [Wed, 21 Nov 2018 20:06:20 +0000 (21:06 +0100)]
* invoke.texi (-fdec-include): Document.
From-SVN: r266354
Jonathan Wakely [Wed, 21 Nov 2018 18:40:55 +0000 (18:40 +0000)]
PR libstdc++/88111 Make maximum block size depend on size_t width
PR libstdc++/88111
* include/std/memory_resource (pool_options): Add Doxygen comments.
* src/c++17/memory_resource.cc (pool_sizes): Only use suitable values
on targets with 16-bit or 20-bit size_t type.
(munge_options): Make default values depend on width of size_t type.
From-SVN: r266353
Jonathan Wakely [Wed, 21 Nov 2018 18:40:37 +0000 (18:40 +0000)]
PR libstdc++/88113 use size_type consistently instead of size_t
On 16-bit msp430-elf size_t is either 16 bits or 20 bits, and so can't
represent all values of the uint32_t type used for bitset::size_type.
Using the smaller of size_t and uint32_t for size_type ensures it fits
in size_t.
PR libstdc++/88113
* src/c++17/memory_resource.cc (bitset::size_type): Use the smaller
of uint32_t and size_t.
(bitset::size(), bitset::free(), bitset::update_next_word())
(bitset::max_blocks_per_chunk(), bitset::max_word_index()): Use
size_type consistently instead of size_t.
(chunk): Adjust static_assert checking sizeof(chunk).
From-SVN: r266352
Jan Hubicka [Wed, 21 Nov 2018 17:32:19 +0000 (18:32 +0100)]
re PR ipa/87957 (ICE tree check: expected tree that contains ‘decl minimal’ structure, have ‘identifier_node’ in warn_odr, at ipa-devirt.c:1051 since r265519)
PR lto/87957
* g++.dg/lto/odr-1_0.C: Extend by mismatched enum.
* g++.dg/lto/odr-1_1.C: Extend by mismatched enum.
* g++.dg/lto/odr-2_0.C: New.
* g++.dg/lto/odr-2_0.C: New.
* g++.dg/lto/odr-3_1.C: New.
* g++.dg/lto/odr-3_1.C: New.
From-SVN: r266351
Jan Hubicka [Wed, 21 Nov 2018 17:31:19 +0000 (18:31 +0100)]
re PR ipa/87957 (ICE tree check: expected tree that contains ‘decl minimal’ structure, have ‘identifier_node’ in warn_odr, at ipa-devirt.c:1051 since r265519)
PR lto/87957
* tree.c (fld_decl_context): Break out from ...
(free_lang_data_in_decl): ... here; free TREE_PUBLIC, TREE_PRIVATE
DECL_ARTIFICIAL of TYPE_DECL; do not free TREE_TYPE of TYPE_DECL.
(fld_incomplete_type_of): Build copy of TYP_DECL.
* ipa-devirt.c (free_enum_values): Rename to ...
(free_odr_warning_data): ... this one; free also duplicated TYPE_DECLs
and TREE_TYPEs of TYPE_DECLs.
(get_odr_type): Initialize odr_vtable_hash if needed.
From-SVN: r266350
Alexandre Oliva [Wed, 21 Nov 2018 16:59:59 +0000 (16:59 +0000)]
compute discriminator info for overrides
In some cases of overriding or resetting locations, we might retain
discriminator info from earlier locations, when we should take
discriminator information from the overriding location or reset it.
for gcc/ChangeLog
* final.c (compute_discriminator): Declare. Renamed from...
(maybe_set_discriminator): ... this. Set and return a local.
(override_discriminator): New.
(final_scan_insn_1): Set it.
(notice_source_line): Adjust. Always set discriminator.
From-SVN: r266349
projects / gcc.git / log