gcc.git
3 years agotest: add new Go tests from source repo
Ian Lance Taylor [Wed, 16 Dec 2020 22:52:57 +0000 (14:52 -0800)]
test: add new Go tests from source repo

3 years agoC: Drop qualifiers of assignment expressions. [PR98047]
Martin Uecker [Wed, 16 Dec 2020 22:47:52 +0000 (23:47 +0100)]
C: Drop qualifiers of assignment expressions. [PR98047]

ISO C17 6.5.15.1 specifies that the result is the
type the LHS would have after lvalue conversion.

2020-12-16  Martin Uecker  <muecker@gwdg.de>

gcc/c/
PR c/98047
* c-typeck.c (build_modify_expr): Drop qualifiers.

gcc/testsuite/
PR c/98047
* gcc.dg/qual-assign-7.c: New test.

3 years agoC: Avoid incorrect warning for volatile in compound expressions [PR98260]
Martin Uecker [Wed, 16 Dec 2020 22:43:42 +0000 (23:43 +0100)]
C: Avoid incorrect warning for volatile in compound expressions [PR98260]

2020-12-16  Martin Uecker  <muecker@gwdg.de>

gcc/c/
PR c/98260
* c-parser.c (c_parser_expression): Look into
nop expression when marking expressions as read.

gcc/testsuite/
PR c/98260
* gcc.dg/unused-9.c: New test.

3 years agogcc: xtensa: rearrange DI mode constant loading
Takayuki 'January June' Suwa [Wed, 16 Dec 2020 20:53:56 +0000 (12:53 -0800)]
gcc: xtensa: rearrange DI mode constant loading

2020-12-16  Takayuki 'January June' Suwa  <jjsuwa_sys3175@yahoo.co.jp>
gcc/
* config/xtensa/xtensa.c (xtensa_emit_move_sequence): Try to
replace 'l32r' with 'movi' + 'slli' when optimizing for size.
* config/xtensa/xtensa.md (movdi): Split loading DI mode constant
into register pair into two loads of SI mode constants.

3 years agoArm: MVE: Split refactoring of remaining complex instrinsics
Tamar Christina [Wed, 16 Dec 2020 20:45:52 +0000 (20:45 +0000)]
Arm: MVE: Split refactoring of remaining complex instrinsics

This refactors the complex numbers bits of MVE to go through the same unspecs
as the NEON variant.

This is pre-work to allow code to be shared between NEON and MVE for the complex
vectorization patches.

gcc/ChangeLog:

* config/arm/arm_mve.h (__arm_vcmulq_rot90_f16):
(__arm_vcmulq_rot270_f16, _arm_vcmulq_rot180_f16, __arm_vcmulq_f16,
__arm_vcmulq_rot90_f32, __arm_vcmulq_rot270_f32,
__arm_vcmulq_rot180_f32, __arm_vcmulq_f32, __arm_vcmlaq_f16,
__arm_vcmlaq_rot180_f16, __arm_vcmlaq_rot270_f16,
__arm_vcmlaq_rot90_f16, __arm_vcmlaq_f32, __arm_vcmlaq_rot180_f32,
__arm_vcmlaq_rot270_f32, __arm_vcmlaq_rot90_f32): Update builtin calls.
* config/arm/arm_mve_builtins.def (vcmulq_f, vcmulq_rot90_f,
vcmulq_rot180_f, vcmulq_rot270_f, vcmlaq_f, vcmlaq_rot90_f,
vcmlaq_rot180_f, vcmlaq_rot270_f): Removed.
(vcmulq, vcmulq_rot90, vcmulq_rot180, vcmulq_rot270, vcmlaq,
vcmlaq_rot90, vcmlaq_rot180, vcmlaq_rot270): New.
* config/arm/iterators.md (mve_rot): Add UNSPEC_VCMLA, UNSPEC_VCMLA90,
UNSPEC_VCMLA180, UNSPEC_VCMLA270, UNSPEC_VCMUL, UNSPEC_VCMUL90,
UNSPEC_VCMUL180, UNSPEC_VCMUL270.
(VCMUL): New.
* config/arm/mve.md (mve_vcmulq_f<mode, mve_vcmulq_rot180_f<mode>,
mve_vcmulq_rot270_f<mode>, mve_vcmulq_rot90_f<mode>, mve_vcmlaq_f<mode>,
mve_vcmlaq_rot180_f<mode>, mve_vcmlaq_rot270_f<mode>,
mve_vcmlaq_rot90_f<mode>): Removed.
(mve_vcmlaq<mve_rot><mode>, mve_vcmulq<mve_rot><mode>,
mve_vcaddq<mve_rot><mode>, cadd<rot><mode>3, mve_vcaddq<mve_rot><mode>):
New.
* config/arm/unspecs.md (UNSPEC_VCMUL90, UNSPEC_VCMUL270, UNSPEC_VCMUL,
UNSPEC_VCMUL180): New.
(VCMULQ_F, VCMULQ_ROT180_F, VCMULQ_ROT270_F, VCMULQ_ROT90_F,
VCMLAQ_F, VCMLAQ_ROT180_F, VCMLAQ_ROT90_F, VCMLAQ_ROT270_F): Removed.

3 years agoArm: Add NEON and MVE RTL patterns for Complex Addition.
Tamar Christina [Wed, 16 Dec 2020 20:44:57 +0000 (20:44 +0000)]
Arm: Add NEON and MVE RTL patterns for Complex Addition.

This adds implementation for the optabs for complex additions.  With this the
following C code:

  void f90 (float complex a[restrict N], float complex b[restrict N],
    float complex c[restrict N])
  {
    for (int i=0; i < N; i++)
      c[i] = a[i] + (b[i] * I);
  }

generates

  f90:
  add     r3, r2, #1600
  .L2:
  vld1.32 {q8}, [r0]!
  vld1.32 {q9}, [r1]!
  vcadd.f32       q8, q8, q9, #90
  vst1.32 {q8}, [r2]!
  cmp     r3, r2
  bne     .L2
  bx      lr

instead of

  f90:
  add     r3, r2, #1600
  .L2:
  vld2.32 {d24-d27}, [r0]!
  vld2.32 {d20-d23}, [r1]!
  vsub.f32 q8, q12, q11
  vadd.f32 q9, q13, q10
  vst2.32 {d16-d19}, [r2]!
  cmp     r3, r2
  bne     .L2
  bx      lr

gcc/ChangeLog:

* config/arm/arm_mve.h (__arm_vcaddq_rot90_u8, __arm_vcaddq_rot270_u8,
__arm_vcaddq_rot90_s8, __arm_vcaddq_rot270_s8,
__arm_vcaddq_rot90_u16, __arm_vcaddq_rot270_u16,
__arm_vcaddq_rot90_s16, __arm_vcaddq_rot270_s16,
__arm_vcaddq_rot90_u32, __arm_vcaddq_rot270_u32,
__arm_vcaddq_rot90_s32, __arm_vcaddq_rot270_s32,
__arm_vcaddq_rot90_f16, __arm_vcaddq_rot270_f16,
__arm_vcaddq_rot90_f32, __arm_vcaddq_rot270_f32):  Update builtin calls.
* config/arm/arm_mve_builtins.def (vcaddq_rot90_u, vcaddq_rot270_u,
vcaddq_rot90_s, vcaddq_rot270_s, vcaddq_rot90_f, vcaddq_rot270_f):
Removed.
(vcaddq_rot90, vcaddq_rot270): New.
* config/arm/constraints.md (Dz): Include MVE.
* config/arm/iterators.md (mve_rot): New.
(supf): Remove VCADDQ_ROT270_S, VCADDQ_ROT270_U, VCADDQ_ROT90_S,
VCADDQ_ROT90_U.
(VCADDQ_ROT270, VCADDQ_ROT90): Removed.
* config/arm/mve.md (mve_vcaddq_rot270_<supf><mode,
mve_vcaddq_rot90_<supf><mode>, mve_vcaddq_rot270_f<mode>,
mve_vcaddq_rot90_f<mode>): Removed.
(mve_vcaddq<mve_rot><mode>, mve_vcaddq<mve_rot><mode>): New.
* config/arm/unspecs.md (VCADDQ_ROT270_S, VCADDQ_ROT90_S,
VCADDQ_ROT270_U, VCADDQ_ROT90_U, VCADDQ_ROT270_F,
VCADDQ_ROT90_F): Removed.
* config/arm/vec-common.md (cadd<rot><mode>3): New.

3 years agoAArch64: Add NEON, SVE and SVE2 RTL patterns for Complex Addition.
Tamar Christina [Wed, 16 Dec 2020 20:43:47 +0000 (20:43 +0000)]
AArch64: Add NEON, SVE and SVE2 RTL patterns for Complex Addition.

This adds implementation for the optabs for add complex operations.  With this
the following C code:

  void f90 (float complex a[restrict N], float complex b[restrict N],
    float complex c[restrict N])
  {
    for (int i=0; i < N; i++)
      c[i] = a[i] + (b[i] * I);
  }

generates

  f90:
  mov     x3, 0
  .p2align 3,,7
  .L2:
  ldr     q0, [x0, x3]
  ldr     q1, [x1, x3]
  fcadd   v0.4s, v0.4s, v1.4s, #90
  str     q0, [x2, x3]
  add     x3, x3, 16
  cmp     x3, 1600
  bne     .L2
  ret

instead of

  f90:
  add     x3, x1, 1600
  .p2align 3,,7
  .L2:
  ld2     {v4.4s - v5.4s}, [x0], 32
  ld2     {v2.4s - v3.4s}, [x1], 32
  fsub    v0.4s, v4.4s, v3.4s
  fadd    v1.4s, v5.4s, v2.4s
  st2     {v0.4s - v1.4s}, [x2], 32
  cmp     x3, x1
  bne     .L2
  ret

gcc/ChangeLog:

* config/aarch64/aarch64-simd.md (cadd<rot><mode>3): New.
* config/aarch64/iterators.md (SVE2_INT_CADD_OP): New.
* config/aarch64/aarch64-sve.md (cadd<rot><mode>3): New.
* config/aarch64/aarch64-sve2.md (cadd<rot><mode>3): New.

3 years agotestsuite: Adjust expected instruction count for PPC fold testcases.
David Edelsohn [Wed, 16 Dec 2020 20:16:06 +0000 (15:16 -0500)]
testsuite: Adjust expected instruction count for PPC fold testcases.

commit r11-5958 changed the code generation for the vector logical fold
tests.  This patch updates the expected instruction counts for different
instructions.

gcc/testsuite/ChangeLog:

2020-12-16  David Edelsohn  <dje.gcc@gmail.com>

PR target/98280
* gcc.target/powerpc/fold-vec-logical-ors-char.c: Adjust count.
* gcc.target/powerpc/fold-vec-logical-ors-int.c: Adjust count.
* gcc.target/powerpc/fold-vec-logical-ors-longlong.c: Adjust count.
* gcc.target/powerpc/fold-vec-logical-ors-short.c: Adjust count.
* gcc.target/powerpc/fold-vec-logical-other-char.c: Adjust count.
* gcc.target/powerpc/fold-vec-logical-other-int.c: Adjust count.
* gcc.target/powerpc/fold-vec-logical-other-longlong.c: Adjust count.
* gcc.target/powerpc/fold-vec-logical-other-short.c: Adjust count.

3 years agoc++: Another solaris header use [PR 98315]
Nathan Sidwell [Wed, 16 Dec 2020 19:53:27 +0000 (11:53 -0800)]
c++: Another solaris header use [PR 98315]

Rather than early-include sys/socket.h, let's allow the includer to
tell cody no networking.

libcody/
* cody.hh: Allow user to set CODY_NETWORKING.
gcc/cp/
* mapper-resolver.cc: Remove early include of
sys/socket.h.  Specify no CODY_NETWORKING instead.
* module.cc: Specify no CODY_NETWORKING.

3 years agoc++: Fix template parm ICE [PR 98297]
Nathan Sidwell [Wed, 16 Dec 2020 19:49:41 +0000 (11:49 -0800)]
c++: Fix template parm ICE [PR 98297]

I think this is nonsense code, we seem to be naming an instantiation
of a template template parm.  But this fixes the ICE.  Perhaps we
should diagnose the issue earlier?

gcc/cp/
* parser.c (cp_parser_elaborated_type_specifier): Test
BOUND_TEMPLATE_TEMPLATE_PARM before checking for instantiation.
gcc/testsuite/
* g++.dg/template/pr98297.C: New.

3 years agoc++tools: fix install-strip [PR 98328]
Nathan Sidwell [Wed, 16 Dec 2020 19:44:42 +0000 (11:44 -0800)]
c++tools: fix install-strip [PR 98328]

I'd missed an install-strip rule in c++tools.  Here it is, cribbed
from gcc/ subdir.

c++tools/
* Makefile.in (INSTALL): Replace with ...
(INSTALL_PROGRAM): ... this.
(INSTALL_STRIP_PROGRAM): New.
(install-strip): New target.
(install): Use INSTALL_PROGRAM.
* configure.ac: Add INSTALL_PROGRAM.
* configure: Regenerated.

3 years agolibstdc++: Simplify built-in detection in <utility>
Jonathan Wakely [Wed, 16 Dec 2020 17:18:10 +0000 (17:18 +0000)]
libstdc++: Simplify built-in detection in <utility>

Now that GCC supports __has_builtin there is no need to test whether
it's defined, we can just use it unconditionally.

libstdc++-v3/ChangeLog:

* include/std/utility: Use __has_builtin without checking if
it's defined.

3 years agolibstdc++: Warn if __STRICT_ANSI has been undefined
Jonathan Wakely [Wed, 16 Dec 2020 15:54:50 +0000 (15:54 +0000)]
libstdc++: Warn if __STRICT_ANSI has been undefined

Recent changes to use __int128 as an integer-like type in <ranges> and
to optimize std::uniform_int_distribution mean that the library relies
on __int128 more heavily than in the past.

The library expects that if __int128 is supported then either
__GLIBCXX_TYPE_INT_N_0 is defined (and we treat is like the standard
integer types), or __STRICT_ANSI__ is defined (and we need to add
special handling for __int128 as a non-standard integer type).

If users compile with -std=c++NN -U__STRICT_ANSI__ then it puts the
library into a broken and inconsistent state, where the compiler doesn't
define the __GLIBCXX_TYPE_INT_N_0 macro, but the library thinks it
doesn't need special handling for __int128. What the user should do is
compile with -std=gnu++NN instead.

This adds a warning if it appears that __int128 is supported but neither
__GLIBCXX_TYPE_INT_N_0 nor __STRICT_ANSI__ is defined.

libstdc++-v3/ChangeLog:

* include/bits/c++config: Warn if __STRICT_ANSI__ state is
inconsistent with __GLIBCXX_TYPE_INT_N_0.

3 years agoFix instruction length for MMA insns.
Pat Haugen [Wed, 16 Dec 2020 18:33:44 +0000 (12:33 -0600)]
Fix instruction length for MMA insns.

Prefixed instructions should not have their length explicitly set to '8'. The function get_attr_length() will adjust the length appropriately based on the value of the "prefixed" attribute.

2020-12-16  Pat Haugen  <pthaugen@linux.ibm.com>

gcc/
* config/rs6000/mma.md (*movxo, mma_<vvi4i4i8>, mma_<avvi4i4i8>,
mma_<vvi4i4i2>, mma_<avvi4i4i2>, mma_<vvi4i4>, mma_<avvi4i4>,
mma_<pvi4i2>, mma_<apvi4i2>, mma_<vvi4i4i4>, mma_<avvi4i4i4>):
Remove explicit setting of length attribute.

3 years agoc++: Fix offsetof use [PR 98232]
Nathan Sidwell [Wed, 16 Dec 2020 17:44:38 +0000 (09:44 -0800)]
c++: Fix offsetof use [PR 98232]

offsetof is underspecified.  GCC happened to accept an unneeded
explicit scoping, clang does not.

gcc/cp/
* module.cc (dumper::push): Clangify offsetof use.

3 years agoC++: Fix solaris header use (mk 2)
Nathan Sidwell [Wed, 16 Dec 2020 17:38:53 +0000 (09:38 -0800)]
C++: Fix solaris header use (mk 2)

There is another path to get to a poisoned bcopy.  Fixed thusly.

gcc/cp/
* mapper-resolver.cc: #include sys/socket before system.h
due to poisoned bcopy use.

3 years agolibcody: fix --enable-checking=... follow-up [PR98311]
Jakub Jelinek [Wed, 16 Dec 2020 17:21:32 +0000 (18:21 +0100)]
libcody: fix --enable-checking=... follow-up [PR98311]

> The -enable-checking configure code in libcody didn't play well with
> us.  This just uses libcpp's configurey for that piece.

This doesn't set is_release anywhere, which means when --enable-checking*
or --disable-checking isn't specified, it always treats it as
--enable-checking=yes, while the normal gcc behavior is treat only trunk
as --enable-checking=yes and treat release branches as
--enable-checking=release by default.

On the other side, nothing uses those ac_assert_checking and
ac_valgrind_checking variables, so it is a waste to compute those.

2020-12-16  Jakub Jelinek  <jakub@redhat.com>

* configure.ac: Compute is_release.
(NMS_ENABLE_CHECKING): Simplify but not computing ac_assert_checking
and ac_valgrind_checking the code doesn't use.
* configure: Regenerated.

3 years agoPR fortran/98284 - ICE in get_array_index
Harald Anlauf [Wed, 16 Dec 2020 16:25:06 +0000 (17:25 +0100)]
PR fortran/98284 - ICE in get_array_index

Reject DATA elements with the ALLOCATABLE attribute also when they are
components of a derived type.

gcc/fortran/ChangeLog:

PR fortran/98284
* resolve.c (check_data_variable): Reject DATA elements with the
ALLOCATABLE attribute.

gcc/testsuite/ChangeLog:

PR fortran/98284
* gfortran.dg/pr98284.f90: New test.

3 years agovarasm: Fix up __patchable_function_entries handling
Jakub Jelinek [Wed, 16 Dec 2020 15:15:35 +0000 (16:15 +0100)]
varasm: Fix up __patchable_function_entries handling

The SECTION_LINK_ORDER changes don't seem to work properly.

If I compile:
static inline __attribute__((__gnu_inline__)) __attribute__((__unused__)) __attribute__((patchable_function_entry(0, 0))) int foo (int x)
{
  return x + 1;
}

static inline __attribute__((__gnu_inline__)) __attribute__((__unused__)) __attribute__((patchable_function_entry(0, 0))) int bar (int x)
{
  return x + 2;
}

int
baz (int x)
{
  return foo (x) + 1;
}

int
qux (int x)
{
  return bar (x) + 2;
}
(distilled from aarch64 Linux kernel) with
-O2 -fpatchable-function-entry=2 on aarch64 compiler configured against
latest binutils, I get:
...
.section __patchable_function_entries,"awo",@progbits,baz
...
.section __patchable_function_entries
...
in the assembly, but when it is assembled, one gets:
  [ 4] __patchable_function_entries PROGBITS        0000000000000000 000060 000008 00 WAL  1   0  8
  [ 5] .rela__patchable_function_entries RELA            0000000000000000 000280 000018 18   I 12   4  8
  [ 6] __patchable_function_entries PROGBITS        0000000000000000 000068 000008 00      0   0  8
  [ 7] .rela__patchable_function_entries RELA            0000000000000000 000298 000018 18   I 12   6  8
i.e. one writable allocated section with SHF_LINK_ORDER and another
non-allocated non-writable without link order.  In the kernel case there is
always one entry in the WAL section and then dozens or more in the
non-allocated one.
The kernel then fails to link:
WARNING: modpost: vmlinux.o (__patchable_function_entries): unexpected non-allocatable section.
Did you forget to use "ax"/"aw" in a .S file?
Note that for example <linux/init.h> contains
section definitions for use in .S files.
ld: .init.data has both ordered [`__patchable_function_entries' in init/main.o] and unordered [`.init.data' in
+./drivers/firmware/efi/libstub/vsprintf.stub.o] sections
ld: final link failed: bad value
make: *** [Makefile:1175: vmlinux] Error 1

The following patch fixes it by always forcing full section flags for
SECTION_LINK_ORDER sections.

2020-12-16  Jakub Jelinek  <jakub@redhat.com>

* varasm.c (default_elf_asm_named_section): Always force
section flags even for sections with SECTION_LINK_ORDER flag.

3 years agolibcody: Fix build for older GCC versions
Jonathan Wakely [Wed, 16 Dec 2020 13:37:17 +0000 (13:37 +0000)]
libcody: Fix build for older GCC versions

Before CWG DR 1955 the controlling expression for an #elif must be
syntactically correct, meaning this won't compile with C++11 compilers
such as gcc 4.8:

The solution is to define __has_include(X) as 0 for compilers that don't
support it.

The second problem is that when <source_location> is found, it is used
without the std:: qualification.

libcody/ChangeLog:

* internal.hh: Define fallback macros for __has_builtin and
__has_include. Use __has_builtin for __builtin_FILE and
__builtin_LINE. Define alias for std::source_location.

3 years agolibstdc++: Only use __builtin_sprintf if supported [PR 96083]
Jonathan Wakely [Wed, 16 Dec 2020 13:50:34 +0000 (13:50 +0000)]
libstdc++: Only use __builtin_sprintf if supported [PR 96083]

Clang doesn't support __builtin_sprintf, so use std::sprintf instead.

libstdc++-v3/ChangeLog:

PR libstdc++/96083
* include/ext/throw_allocator.h: Use __has_builtin to check for
__builtin_sprintf support, and use std::sprtinf if necessary.

3 years agolibcody: fix --enable-checking=... [PR 98311]
Nathan Sidwell [Wed, 16 Dec 2020 14:20:20 +0000 (06:20 -0800)]
libcody: fix --enable-checking=... [PR 98311]

The -enable-checking configure code in libcody didn't play well with
us.  This just uses libcpp's configurey for that piece.

libcody/
* configure.ac: Use libcpp's enable-checking code.
* configure: Rebuilt.

3 years agolibcody: More dashism
Nathan Sidwell [Wed, 16 Dec 2020 14:03:38 +0000 (06:03 -0800)]
libcody: More dashism

There were still some dash-killing uses of +=.  Fixed thusly.

* config.m4: Replace V+="..." with V="$V..."
* configure: Rebuilt.

3 years agoc++: Fix detailed-mem-stat breakage
Nathan Sidwell [Wed, 16 Dec 2020 13:51:42 +0000 (05:51 -0800)]
c++: Fix detailed-mem-stat breakage

module.cc has a static initializer that ends up in a circular
dependency when detailed mem stats are enabled.  This removes the need
for that initializer to be dynamic, and we punt to the lazy
initializing we already had inside the object in question anyway.  At
the cost of an additional indirection.

gcc/cp/
* module.cc (loc_spans): Make spans a pointer, not inline.
Adjust all accesses.

3 years agoRequire .init_array/.fini_array support for SHF_GNU_RETAIN
H.J. Lu [Tue, 15 Dec 2020 04:10:13 +0000 (20:10 -0800)]
Require .init_array/.fini_array support for SHF_GNU_RETAIN

Since SHF_GNU_RETAIN support doesn't work for crtstuff.c which switches
the output section directly with asm statement:

---
static void __attribute__((used))
__do_global_dtors_aux (void)
{
  static _Bool completed;

  if (__builtin_expect (completed, 0))
    return;
  completed = 1;
}

static void __attribute__((__used__))
call___do_global_dtors_aux (void)
{
  asm ("\t.section\t.fini");
  __do_global_dtors_aux ();
  asm ("\t.section\t.text");
}
---

use SHF_GNU_RETAIN only if .init_array/.fini_array section is supported.

gcc/

PR target/98146
* defaults.h (SUPPORTS_SHF_GNU_RETAIN): New.
* varasm.c (get_section): Replace HAVE_GAS_SHF_GNU_RETAIN with
SUPPORTS_SHF_GNU_RETAIN.
(resolve_unique_section): Likewise.
(get_variable_section): Likewise.
(switch_to_section): Likewise.

gcc/testsuite/

PR target/98146
* lib/target-supports.exp
(check_effective_target_R_flag_in_section): Also check
HAVE_INITFINI_ARRAY_SUPPORT != 0.

3 years agoWarn used and not used symbols in section with the same name
H.J. Lu [Thu, 3 Dec 2020 23:39:59 +0000 (15:39 -0800)]
Warn used and not used symbols in section with the same name

When SECTION_RETAIN is used, issue a warning when a symbol without used
attribute and a symbol with used attribute are placed in the section with
the same name, like

int __attribute__((used,section(".data.foo"))) foo2 = 2;
int __attribute__((section(".data.foo"))) foo1 = 1;

since assembler will put them in different sections with the same section
name.

gcc/

PR target/98146
* varasm.c (switch_to_section): Warn when a symbol without used
attribute and a symbol with used attribute are placed in the
section with the same name.

gcc/testsuite/

PR target/98146
* c-c++-common/attr-used-5.c: Updated.
* c-c++-common/attr-used-6.c: Likewise.
* c-c++-common/attr-used-7.c: Likewise.
* c-c++-common/attr-used-8.c: Likewise.

3 years agoSwitch to a new section if the SECTION_RETAIN bit doesn't match
H.J. Lu [Thu, 3 Dec 2020 19:01:06 +0000 (11:01 -0800)]
Switch to a new section if the SECTION_RETAIN bit doesn't match

When definitions marked with used attribute and unmarked definitions are
placed in the section with the same name, switch to a new section if the
SECTION_RETAIN bit doesn't match.

gcc/

PR target/98146
* output.h (switch_to_section): Add a tree argument, default to
nullptr.
* varasm.c (get_section): If the SECTION_RETAIN bit doesn't match,
return and switch to a new section later.
(assemble_start_function): Pass decl to switch_to_section.
(assemble_variable): Likewise.
(switch_to_section): If the SECTION_RETAIN bit doesn't match,
switch to a new section.

gcc/testsuite/

PR target/98146
* c-c++-common/attr-used-5.c: New test.
* c-c++-common/attr-used-6.c: Likewise.
* c-c++-common/attr-used-7.c: Likewise.
* c-c++-common/attr-used-8.c: Likewise.
* c-c++-common/attr-used-9.c: Likewise.

3 years agolibstdc++: Fix errors from Library Fundamentals TS headers in C++11 [PR 98319]
Jonathan Wakely [Wed, 16 Dec 2020 13:37:17 +0000 (13:37 +0000)]
libstdc++: Fix errors from Library Fundamentals TS headers in C++11 [PR 98319]

Currently the <experimental/random>, <experimental/source_location> and
<experimental/utility> headers can be included in C++98 and C++11 modes,
but gives errors. With this change they can be included, but define
nothing.

libstdc++-v3/ChangeLog:

PR libstdc++/98319
* include/experimental/random: Only define contents for C++14
and later.
* include/experimental/source_location: Likewise.
* include/experimental/utility: Likewise.
* testsuite/experimental/feat-lib-fund.cc: Include all LFTS
headers that are present. Allow test to run for all modes.

3 years agolibstdc++: Add performance test for atomic_flag [PR 46447]
Jonathan Wakely [Wed, 16 Dec 2020 11:51:42 +0000 (11:51 +0000)]
libstdc++: Add performance test for atomic_flag [PR 46447]

This adds a test to compare the performance of std::atomic_flag with
similar operations on std::atomic_uchar and std::atomic_int.

libstdc++-v3/ChangeLog:

PR libstdc++/46447
* testsuite/performance/29_atomics/atomic_flag.cc: New test.

3 years agolibstdc++: Test errno macros directly, not via autoconf [PR 93151]
Jonathan Wakely [Tue, 15 Dec 2020 20:28:11 +0000 (20:28 +0000)]
libstdc++: Test errno macros directly, not via autoconf [PR 93151]

This fixes a bug caused by a mismatch between the macros defined by
<errno.h> when GCC is built and the macros defined by <errno.h> when
users include <system_error>. If the user code is compiled with
_XOPEN_SOURCE defined to 500 or 600, Darwin suppresses the
ENOTRECOVERABLE and EOWNERDEAD macros, which are not defined by SUSv3
(aka POSIX.1-2001).

Since POSIX requires the errno macros to be macros (and not variables or
enumerators) we can just test for them directly using the preprocessor.
That means that <system_error> will match what is actuallydefined when
it's included, not what was defined when GCC was built. With that change
there is no need for the GLIBCXX_CHECK_SYSTEM_ERROR configure checks and
they can be removed.

libstdc++-v3/ChangeLog:

PR libstdc++/93151
* acinclude.m4 (GLIBCXX_CHECK_SYSTEM_ERROR): Remove.
* configure.ac: Regenerate.
* config/os/generic/error_constants.h: Test POSIX errno macros
directly, instead of corresponding _GLIBCXX_HAVE_EXXX macros.
* testsuite/19_diagnostics/headers/system_error/errc_std_c++0x.cc:
Likewise.
* testsuite/19_diagnostics/headers/system_error/93151.cc: New
test.

3 years agoc++tools: Fix (an) install issue
Nathan Sidwell [Wed, 16 Dec 2020 13:14:57 +0000 (05:14 -0800)]
c++tools:  Fix (an) install issue

This fixes installers that don't understand -p.

c++tools/
* Makefile.in (install): Do not use -p, use mkinstalldirs.
(clean): Fix typo.

3 years agoc++: Fix (some) solaris breakage
Nathan Sidwell [Wed, 16 Dec 2020 13:10:16 +0000 (05:10 -0800)]
c++: Fix (some) solaris breakage

Solaris' sys/socket uses the poisoned bcopy identifier, so we must
preemptively copy a bit of cody's inclusion logic to get it earlier.

gcc/cp/
* mapper-client.cc: Include sys/socket.h before system.h.

3 years ago[Ada] Code cleanup: rename ALI.Scope
Arnaud Charlet [Tue, 1 Dec 2020 14:53:35 +0000 (09:53 -0500)]
[Ada] Code cleanup: rename ALI.Scope

gcc/ada/

* ali.ads, ali.adb, bindo-writers.adb, lib-writ.adb (Scope):
Renamed to IS_Scope.

3 years ago[Ada] Add contracts to Ada.Strings.Fixed
Joffrey Huguet [Thu, 12 Nov 2020 09:40:16 +0000 (10:40 +0100)]
[Ada] Add contracts to Ada.Strings.Fixed

gcc/ada/

* libgnat/a-strfix.ads: Add postconditions and contract cases to
subprograms.

3 years ago[Ada] Handle iterator filters on loop specifications over containers
Ed Schonberg [Sat, 28 Nov 2020 15:19:47 +0000 (10:19 -0500)]
[Ada] Handle iterator filters on loop specifications over containers

gcc/ada/

* sem_ch5.adb (Analyze_Iterator_Specification): If iterator
filter is present, preanalyze filter without expansion.
(Analyze_Loop_Parameter_Specification): When
loop_Parameter_Specification is rewritten as
Iterator_Specification, transfer Iterator_Filter if present.

3 years ago[Ada] armhf-linux: symbolic tracebacks
Doug Rupp [Mon, 30 Nov 2020 19:09:58 +0000 (11:09 -0800)]
[Ada] armhf-linux: symbolic tracebacks

gcc/ada/

* libgnat/s-objrea.ads (Object_Arch): Add ARM enum
* libgnat/s-objrea.adb (Initialize): Add EM_ARM case.
(Read_Address): Add ARM case to 32bit read.
* Makefile.rtl: Add trasym units to the runtime for armhf-linux.

3 years ago[Ada] Fix memory leak in GNAT.Expect.Non_Blocking_Spawn on Windows
Dmitriy Anisimkov [Sun, 29 Nov 2020 17:21:58 +0000 (23:21 +0600)]
[Ada] Fix memory leak in GNAT.Expect.Non_Blocking_Spawn on Windows

gcc/ada/

* libgnat/g-expect.adb (Non_Blocking_Spawn): Deallocate elements
on Arg_List after calling Set_Up_Child_Communications.

3 years ago[Ada] Remove inconsistent colons in messages for Ada 83 violations
Piotr Trojanek [Mon, 30 Nov 2020 11:09:12 +0000 (12:09 +0100)]
[Ada] Remove inconsistent colons in messages for Ada 83 violations

gcc/ada/

* par-ch3.adb (P_Modular_Type_Definition): Remove colon from
error message.
* sem_ch11.adb (Check_Duplication): Likewise.
* sem_ch3.adb (Derived_Type_Declaration): Likewise.

3 years ago[Ada] Refine types of variables for parsing formal object declarations
Piotr Trojanek [Mon, 30 Nov 2020 11:04:05 +0000 (12:04 +0100)]
[Ada] Refine types of variables for parsing formal object declarations

gcc/ada/

* par-ch12.adb (P_Formal_Object_Declarations): Refine types to
Pos.

3 years ago[Ada] Fix typo in checks for implementation defined units
Piotr Trojanek [Sun, 29 Nov 2020 21:54:21 +0000 (22:54 +0100)]
[Ada] Fix typo in checks for implementation defined units

gcc/ada/

* impunit.adb (Not_Impl_Defined_Unit): Fix typo in iteration
over Non_Imp_File_Names_12 array.

3 years ago[Ada] Simplify membership tests with N_Delay_Statement subtype
Piotr Trojanek [Sun, 29 Nov 2020 21:30:17 +0000 (22:30 +0100)]
[Ada] Simplify membership tests with N_Delay_Statement subtype

gcc/ada/

* exp_ch9.adb, sem_warn.adb: Simplify membership test.

3 years ago[Ada] Simplify membership tests with N_Subprogram_Call subtype
Piotr Trojanek [Sun, 29 Nov 2020 21:20:09 +0000 (22:20 +0100)]
[Ada] Simplify membership tests with N_Subprogram_Call subtype

gcc/ada/

* exp_ch6.adb, exp_util.adb, sem_ch4.adb, sem_disp.adb,
sem_elab.adb: Simplify membership test.

3 years ago[Ada] Fix glitch in comment of System.Powten_Table
Eric Botcazou [Sat, 28 Nov 2020 13:05:53 +0000 (14:05 +0100)]
[Ada] Fix glitch in comment of System.Powten_Table

gcc/ada/

* libgnat/s-powtab.ads (Maxpow): Use explicit formula in comment.

3 years ago[Ada] Fix possible uninitialized ATCB component use
Philippe Gil [Fri, 27 Nov 2020 10:14:15 +0000 (11:14 +0100)]
[Ada] Fix possible uninitialized ATCB component use

gcc/ada/

* libgnarl/s-tporft.adb (Register_Foreign_Thread): Set
Global_Task_Lock_Nesting before using allocator.

3 years ago[Ada] Avoid artificial underflow in System.Val_Real
Eric Botcazou [Fri, 27 Nov 2020 18:52:35 +0000 (19:52 +0100)]
[Ada] Avoid artificial underflow in System.Val_Real

gcc/ada/

* libgnat/s-valrea.adb (Maxexp32): New constant array.
(Maxexp64): Likewise.
(Maxexp80): Likewise.
(Integer_to_Real): New local constants Maxexp and B.
When the exponent is too negative, do the divison in two steps.

3 years ago[Ada] Fix integer-vs-float errors in example for Test_Case pragma
Piotr Trojanek [Fri, 27 Nov 2020 14:01:27 +0000 (15:01 +0100)]
[Ada] Fix integer-vs-float errors in example for Test_Case pragma

gcc/ada/

* doc/gnat_rm/implementation_defined_pragmas.rst
(Test_Case): Change integer to float literals.
* gnat_rm.texi: Regenerate.

3 years ago[Ada] Reject junk syntax for Contract_Cases/Test_Case/Subprogram_Variant
Piotr Trojanek [Fri, 27 Nov 2020 13:55:17 +0000 (14:55 +0100)]
[Ada] Reject junk syntax for Contract_Cases/Test_Case/Subprogram_Variant

gcc/ada/

* sem_ch13.adb (Analyze_Aspect_Specifications): Add a codefix
for extra parentheses around aspect Annotate expression; reject
"(null record)" aggregate and extra parentheses around aspect
Test_Case expression.
* sem_prag.adb (Analyze_Pragma): Reject "null", "(null record)"
and extra parentheses around pragma Contract_Cases; likewise for
pragma Subprogram_Variant.

3 years ago[Ada] Fix gmem.out corruption by GNAT.Expect
Dmitriy Anisimkov [Fri, 27 Nov 2020 05:18:46 +0000 (11:18 +0600)]
[Ada] Fix gmem.out corruption by GNAT.Expect

gcc/ada/

* adaint.h (__gnat_in_child_after_fork): New flag to express
child process side after fork call.
* adaint.c (__gnat_portable_spawn): Set flag
__gnat_in_child_after_fork.
* expect.c (__gnat_expect_fork): Set __gnat_in_child_after_fork
to one on child side.
* libgnat/memtrack.adb
(In_Child_After_Fork): Flag to disable memory tracking.
(Allow_Trace): New routine defining if memory should be tracked.
(Alloc, Realloc, Free): Use Allow_Trace in "if" condition
instead of First_Call.

3 years ago[Ada] Mark generic body outside of SPARK
Yannick Moy [Fri, 27 Nov 2020 09:13:23 +0000 (10:13 +0100)]
[Ada] Mark generic body outside of SPARK

gcc/ada/

* libgnat/a-tifiio.adb: Mark body not in SPARK.
* libgnat/a-tifiio.ads: Mark spec in SPARK.
* libgnat/a-tifiio__128.adb: Mark body not in SPARK.

3 years ago[Ada] Another small adjustment to System.Value_R
Eric Botcazou [Fri, 27 Nov 2020 08:21:17 +0000 (09:21 +0100)]
[Ada] Another small adjustment to System.Value_R

gcc/ada/

* libgnat/s-valuer.adb (Scan_Decimal_Digits): Tweak overflow test.
(Scan_Integral_Digits): Likewise.

3 years ago[Ada] Add some OS constants to control serial port
Pascal Obry [Sat, 7 Nov 2020 09:31:43 +0000 (10:31 +0100)]
[Ada] Add some OS constants to control serial port

gcc/ada/

* s-oscons-tmplt.c: Add some OS constants.

3 years agobswap: Handle vector CONSTRUCTORs [PR96239]
Jakub Jelinek [Wed, 16 Dec 2020 12:08:07 +0000 (13:08 +0100)]
bswap: Handle vector CONSTRUCTORs [PR96239]

The following patch teaches the bswap pass to handle for small (2/4/8 byte
long) vectors a CONSTRUCTOR by determining if the bytes of the constructor
come from non-vector sources and are either nop or bswap and changing the
CONSTRUCTOR in that case to VIEW_CONVERT_EXPR from scalar integer to
the vector type.

Unfortunately, as I found after the patch was written, due to pass ordering
this doesn't really fix the original testcase, just the one I wrote,
because both loop and slp vectorization is done only after the bswap pass.
A possible way out of that would be to perform just this particular bswap
optimization (i.e. for CONSTRUCTOR assignments with integral vector types
call find_bswap_or_nop and bswap_replace if successful) also during the
store merging pass, it isn't really a store, but the store merging pass
already performs bswapping when handling store, so it wouldn't be that big
hack.  What do you think?

2020-12-16  Jakub Jelinek  <jakub@redhat.com>

PR tree-optimization/96239
* gimple-ssa-store-merging.c (find_bswap_or_nop): Handle a vector
CONSTRUCTOR.
(bswap_replace): Likewise.

* gcc.dg/pr96239.c: New test.

3 years agoopts: Remove all usages of Report keyword.
Martin Liska [Fri, 11 Dec 2020 16:25:43 +0000 (17:25 +0100)]
opts: Remove all usages of Report keyword.

gcc/brig/ChangeLog:

* lang.opt: Remove usage of Report.

gcc/c-family/ChangeLog:

* c.opt: Remove usage of Report.

gcc/ChangeLog:

* common.opt: Remove usage of Report.
* config/aarch64/aarch64.opt: Ditto.
* config/alpha/alpha.opt: Ditto.
* config/arc/arc.opt: Ditto.
* config/arm/arm.opt: Ditto.
* config/avr/avr.opt: Ditto.
* config/bfin/bfin.opt: Ditto.
* config/bpf/bpf.opt: Ditto.
* config/c6x/c6x.opt: Ditto.
* config/cr16/cr16.opt: Ditto.
* config/cris/cris.opt: Ditto.
* config/cris/elf.opt: Ditto.
* config/csky/csky.opt: Ditto.
* config/darwin.opt: Ditto.
* config/fr30/fr30.opt: Ditto.
* config/frv/frv.opt: Ditto.
* config/ft32/ft32.opt: Ditto.
* config/gcn/gcn.opt: Ditto.
* config/i386/cygming.opt: Ditto.
* config/i386/i386.opt: Ditto.
* config/ia64/ia64.opt: Ditto.
* config/ia64/ilp32.opt: Ditto.
* config/linux-android.opt: Ditto.
* config/linux.opt: Ditto.
* config/lm32/lm32.opt: Ditto.
* config/m32r/m32r.opt: Ditto.
* config/m68k/m68k.opt: Ditto.
* config/mcore/mcore.opt: Ditto.
* config/microblaze/microblaze.opt: Ditto.
* config/mips/mips.opt: Ditto.
* config/mmix/mmix.opt: Ditto.
* config/mn10300/mn10300.opt: Ditto.
* config/moxie/moxie.opt: Ditto.
* config/msp430/msp430.opt: Ditto.
* config/nds32/nds32.opt: Ditto.
* config/nios2/elf.opt: Ditto.
* config/nios2/nios2.opt: Ditto.
* config/nvptx/nvptx.opt: Ditto.
* config/pa/pa.opt: Ditto.
* config/pdp11/pdp11.opt: Ditto.
* config/pru/pru.opt: Ditto.
* config/riscv/riscv.opt: Ditto.
* config/rl78/rl78.opt: Ditto.
* config/rs6000/aix64.opt: Ditto.
* config/rs6000/linux64.opt: Ditto.
* config/rs6000/rs6000.opt: Ditto.
* config/rs6000/sysv4.opt: Ditto.
* config/rx/elf.opt: Ditto.
* config/rx/rx.opt: Ditto.
* config/s390/s390.opt: Ditto.
* config/s390/tpf.opt: Ditto.
* config/sh/sh.opt: Ditto.
* config/sol2.opt: Ditto.
* config/sparc/long-double-switch.opt: Ditto.
* config/sparc/sparc.opt: Ditto.
* config/tilegx/tilegx.opt: Ditto.
* config/tilepro/tilepro.opt: Ditto.
* config/v850/v850.opt: Ditto.
* config/visium/visium.opt: Ditto.
* config/vms/vms.opt: Ditto.
* config/vxworks.opt: Ditto.
* config/xtensa/xtensa.opt: Ditto.

gcc/lto/ChangeLog:

* lang.opt: Remove usage of Report.

3 years agoRemove Report keyword for options
Martin Liska [Fri, 11 Dec 2020 16:06:49 +0000 (17:06 +0100)]
Remove Report keyword for options

Since g:7caa49706316e650fb67719e1a1bf3a35054b685 the option is ignored
as we print used command line for -fverbose-asm output.

gcc/ChangeLog:

* doc/options.texi: Remove Report keyword.
* opt-functions.awk: Print error when Report keyword
is used.
* optc-gen.awk: Do not handle Report keyword.
* opts.h (struct cl_option): Remove cl_report bitfield flag.

3 years agoAdd -Wtsan.
Martin Liska [Mon, 7 Dec 2020 14:55:59 +0000 (15:55 +0100)]
Add -Wtsan.

gcc/ChangeLog:

PR sanitizer/97868
* common.opt: Add new warning -Wtsan.
* doc/invoke.texi: Likewise.
* tsan.c (instrument_builtin_call): Warn users about unsupported
std::atomic_thread_fence.

gcc/testsuite/ChangeLog:

PR sanitizer/97868
* gcc.dg/tsan/atomic-fence.c: New test.

3 years agooptions: fix integer overflow
Martin Liska [Tue, 15 Dec 2020 08:57:19 +0000 (09:57 +0100)]
options: fix integer overflow

gcc/ChangeLog:

PR rtl-optimization/98271
PR rtl-optimization/98276
PR tree-optimization/98279
* opts-common.c (set_option): Do not allow overflow for integer
arguments.

gcc/testsuite/ChangeLog:

PR rtl-optimization/98271
PR rtl-optimization/98276
PR tree-optimization/98279
* gcc.dg/pr98271.c: New test.

3 years agoFix PR tree-optimization/98272
Eric Botcazou [Wed, 16 Dec 2020 08:39:07 +0000 (09:39 +0100)]
Fix PR tree-optimization/98272

This fixes the precision mismatch introduced by the previous change.

gcc/ChangeLog:
PR tree-optimization/98272
* tree-switch-conversion.c (bit_test_cluster::emit): When finding
out whether the entry test can be merged in the bit test, do the
computation using the type of the index expression.

gcc/testsuite/ChangeLog:
* gcc.dg/pr98272.c: New test.

3 years agors6000: Use subreg for QI/HI vector init
Kewen Lin [Wed, 16 Dec 2020 06:28:44 +0000 (00:28 -0600)]
rs6000: Use subreg for QI/HI vector init

This patch is to use paradoxical subreg instead of
zero_extend for promoting QI/HI to SI/DI when we
want to construct one vector with these modes.
Since we do the gpr->vsx movement and vector merge
or pack later, the high part is useless and safe to
use paradoxical subreg.  It can avoid useless rlwinms
generated for signed cases.

Bootstrapped/regtested on powerpc64le-linux-gnu P9.

gcc/ChangeLog:

* config/rs6000/rs6000.c (rs6000_expand_vector_init): Use
paradoxical subreg instead of zero_extend for QI/HI promotion.

gcc/testsuite/ChangeLog:

* gcc.target/powerpc/pr96933-1.c: Adjusted to check no rlwinm.
* gcc.target/powerpc/pr96933-2.c: Likewise.

3 years agoarm: Replace calls to __builtin_vcgt* by <,> in arm_neon.h [PR66791]
Prathamesh Kulkarni [Wed, 16 Dec 2020 07:46:25 +0000 (13:16 +0530)]
arm: Replace calls to __builtin_vcgt* by <,> in arm_neon.h [PR66791]

gcc/
2020-12-16  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>

PR target/66791
* config/arm/arm_neon.h: Replace calls to __builtin_vcgt* by
<, > operators in vclt and vcgt intrinsics respectively.
* config/arm/arm_neon_builtins.def: Remove entry for
vcgt and vcgtu.

3 years agoarm: Replace calls to __builtin_vneg* by - in arm_neon.h [PR66791]
Prathamesh Kulkarni [Wed, 16 Dec 2020 06:24:37 +0000 (11:54 +0530)]
arm: Replace calls to __builtin_vneg* by - in arm_neon.h [PR66791]

gcc/
2020-12-16  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>

PR target/66791
* config/arm/arm_neon.h: Replace calls to __builtin_vneg* by - operator
in vneg intrinsics.
* config/arm/arm_neon_builtins.def: Remove entry for vneg.

3 years agoarm: Replace calls to __builtin_vcreate* in arm_neon.h [PR66791]
Prathamesh Kulkarni [Wed, 16 Dec 2020 06:02:25 +0000 (11:32 +0530)]
arm: Replace calls to __builtin_vcreate* in arm_neon.h [PR66791]

gcc/
2020-12-16  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>

PR target/66791
* config/arm/arm_neon.h: Replace calls to __builtin_vcreate*
in vcreate intrinsics.
* config/arm/arm_neon_builtins.def: Remove entry for vcreate.

3 years agoDaily bump.
GCC Administrator [Wed, 16 Dec 2020 00:16:31 +0000 (00:16 +0000)]
Daily bump.

3 years agoc++: Remove dg-ice in constexpr-52830.C [PR52830]
Marek Polacek [Tue, 15 Dec 2020 22:54:45 +0000 (17:54 -0500)]
c++: Remove dg-ice in constexpr-52830.C [PR52830]

It turned out that r11-5942 fixed this old PR, and it was detected
by one of the few dg-ice tests -- exactly the point of them!  Now
the PR won't be opened until someone notices that it'd been fixed.
The patch failed to remove the dg-ice though, so now it XPASSes.  Fixing
this now.

gcc/testsuite/ChangeLog:

* g++.dg/cpp0x/constexpr-52830.C: Remove dg-ice.

3 years agocody: Remove unused variable.
Marek Polacek [Tue, 15 Dec 2020 22:03:49 +0000 (17:03 -0500)]
cody: Remove unused variable.

libcody/ChangeLog:

* buffer.cc (MessageBuffer::Lex): Remove unused variable.

3 years agolibcody: Work with older gccs
Nathan Sidwell [Tue, 15 Dec 2020 21:34:26 +0000 (13:34 -0800)]
libcody:  Work with older gccs

Older GCCs don't have all the exciting options we have now.  let's just
turn them off.

libcody/
* Makefile.in: Disable some flags.

3 years agogcc_update update
Nathan Sidwell [Tue, 15 Dec 2020 21:42:23 +0000 (13:42 -0800)]
gcc_update update

I missed adding these two configure files.

contrib/
* gcc_update: Add c++tools & libcody.

3 years agomatch.pd: Optimize X / bool_range_Y to X [PR96094]
Jakub Jelinek [Tue, 15 Dec 2020 21:43:46 +0000 (22:43 +0100)]
match.pd: Optimize X / bool_range_Y to X [PR96094]

When the divisor is bool or has [0, 1] range, as division by
0 is UB, the only remaining option in valid programs is division by 1,
so we can optimize X / bool_range_Y into X.

2020-12-15  Jakub Jelinek  <jakub@redhat.com>

PR tree-optimization/96094
* match.pd (X / bool_range_Y -> X): New simplification.

* gcc.dg/tree-ssa/pr96094.c: New test.

3 years agod: Fix ICE in gimplify_expr, at gimplify.c (PR98277)
Iain Buclaw [Tue, 15 Dec 2020 09:36:00 +0000 (10:36 +0100)]
d: Fix ICE in gimplify_expr, at gimplify.c (PR98277)

The DMD front-end shouldn't, but can sometimes leak manifest constants
in the AST passed to the code generator.  To prevent this being an
issue, the setting of DECL_INITIAL has been moved to the point where the
CONST_DECL is used, rather than in the declaration handler.

gcc/d/ChangeLog:

PR d/98277
* decl.cc (DeclVisitor::visit (VarDeclaration *)): Move setting of
DECL_INITIAL for manifest constants to ...
(get_symbol_decl): ... here.

gcc/testsuite/ChangeLog:

PR d/98277
* gdc.dg/pr98277.d: New test.

3 years agoGo testsuite: update bugs for recent change
Ian Lance Taylor [Tue, 15 Dec 2020 21:12:17 +0000 (13:12 -0800)]
Go testsuite: update bugs for recent change

This matches changes in 788d204885c187d5604e3960d7c78e1523f04861.

3 years agocompiler: correct grammar in error message
Ian Lance Taylor [Tue, 15 Dec 2020 20:36:19 +0000 (12:36 -0800)]
compiler: correct grammar in error message

For golang/go#43200

Reviewed-on: https://go-review.googlesource.com/c/gofrontend/+/278452

3 years agocompiler: avoid knock-on errors from invalid interfaces
Ian Lance Taylor [Tue, 15 Dec 2020 06:50:18 +0000 (22:50 -0800)]
compiler: avoid knock-on errors from invalid interfaces

The test case for this is issue11614.go.

Reviewed-on: https://go-review.googlesource.com/c/gofrontend/+/278192

3 years agocompiler: discard global sink variables with static initializers
Ian Lance Taylor [Tue, 15 Dec 2020 04:41:30 +0000 (20:41 -0800)]
compiler: discard global sink variables with static initializers

This is specifically for the test fixedbugs/issue23781.go, which
builds a large static array.  The code does compile and work without
this change, but it takes a long time and generates a large object
file.  Discarding the unnecessary static initializer makes this test
much faster.

Reviewed-on: https://go-review.googlesource.com/c/gofrontend/+/278172

3 years agocompiler: better error for unexpected digit
Ian Lance Taylor [Tue, 15 Dec 2020 05:26:33 +0000 (21:26 -0800)]
compiler: better error for unexpected digit

A digit character is not invalid in general, but it's not permitted
at the start of an identifier.  Report a better error message.
The test case is issue11359.go in the source repo.

Reviewed-on: https://go-review.googlesource.com/c/gofrontend/+/278174

3 years agoFix dashism
Nathan Sidwell [Tue, 15 Dec 2020 19:37:52 +0000 (11:37 -0800)]
Fix dashism

I missed some other places that used +=

* config.m4: Avoid var+=...
* configure: Rebuilt

3 years agolibcody: Fix for dash
Nathan Sidwell [Tue, 15 Dec 2020 19:29:44 +0000 (11:29 -0800)]
libcody: Fix for dash

Apparently 'var+=...' is not a dash thing.  Fixed thusly.

* config.m4: Avoid non-dash idiom
* configure: Rebuilt.

3 years agolibstdc++: Remove init_priority attribute for Init object [PR 98108]
Jonathan Wakely [Tue, 15 Dec 2020 18:40:28 +0000 (18:40 +0000)]
libstdc++: Remove init_priority attribute for Init object [PR 98108]

This reverts commit cf4ed3b41594b6935a337fe0aaf8149eadf88751.

libstdc++-v3/ChangeLog:

    PR libstdc++/98108
    * include/std/iostream (__ioinit): Remove init_priority attribute.

3 years agolibstdc++: Support libc with stdio-only I/O in libstdc++
Keith Packard [Tue, 15 Dec 2020 17:39:24 +0000 (17:39 +0000)]
libstdc++: Support libc with stdio-only I/O in libstdc++

The current libstdc++ basic_file_stdio.cc code assumes a POSIX API
underneath the stdio implementation provided by the host libc. This
means that the host must provide a fairly broad POSIX file API,
including read, write, open, close, lseek and ioctl.

This patch changes basic_file_stdio.cc to only use basic ANSI-C stdio
functions, allowing it to be used with libc implementations like
picolibc which may not have a POSIX operating system underneath.

This is enabled by a new --enable-cstdio=stdio_pure configure option.

Aided-by: Jonathan Wakely <jwakely@redhat.com>
Signed-off-by: Keith Packard <keithp@keithp.com>
libstdc++-v3/ChangeLog:

* acinclude.m4 (GLIBCXX_ENABLE_CSTDIO): Allow "stdio_pure"
option and define _GLIBCXX_USE_PURE_STDIO when it is used. Also
add "stdio_posix" option as an alias for "stdio".
* config/io/basic_file_stdio.cc [_GLIBCXX_USE_PURE_STDIO]: Only
use defined stdio entry points for all I/O operations, without
direct calls to underlying POSIX functions.
* config.h.in: Regenerate.
* configure: Regenerate.

3 years agoc++: Fix return type deduction during satisfaction
Patrick Palka [Tue, 15 Dec 2020 17:10:26 +0000 (12:10 -0500)]
c++: Fix return type deduction during satisfaction

During satisfaction that's entered through the three-parameter version
of satisfy_declaration_constraints, current_function_decl gets set to
the dependent DECL_TEMPLATE_RESULT for sake of access checking.  This
makes the predicate in_template_function return true during satisfaction
from this entrypoint, which in turn makes calls to mark_used exit early
before it does its full processing.  This leads to us accepting the
invalid testcase below due to mark_used never attempting to deduce the
return type of A::foo() and detecting failure thereof.

It seems wrong for in_template_function to be true during instantiation
or during satisfaction, so this patch makes in_template_function inspect
the less volatile cfun->decl instead of current_function_decl.

gcc/cp/ChangeLog:

* pt.c (in_template_function): Inspect cfun->decl instead of
current_function_decl.

gcc/testsuite/ChangeLog:

* g++.dg/cpp2a/concepts-requires23.C: New test.

3 years agoc++: Add changelog files in c++tools/ and libcody/ directories
Jakub Jelinek [Tue, 15 Dec 2020 16:39:12 +0000 (17:39 +0100)]
c++: Add changelog files in c++tools/ and libcody/ directories

Add ChangeLog files, so that update_version_git can then fill those in.

3 years agoAdd the -fdebug-aux-vars flag to debug variables generated by Fortran.
Thomas Koenig [Tue, 15 Dec 2020 16:10:37 +0000 (17:10 +0100)]
Add the -fdebug-aux-vars flag to debug variables generated by Fortran.

gcc/fortran/ChangeLog:

PR fortran/90207
* invoke.texi: Document -fdebug-aux-vars.
* lang.opt: Add -fdebug-aux-vars.
* trans.c (MAX_PREFIX_LEN): New macro.
(create_var_debug_raw): New function.
(gfc_create_var_np): Call create_var_debug_raw if
flag_debug_aux_vars is set.

3 years agolibstdc++: Fix the test for rvalue stream extraction
Ville Voutilainen [Tue, 15 Dec 2020 10:05:51 +0000 (12:05 +0200)]
libstdc++: Fix the test for rvalue stream extraction

libstdc++-v3/ChangeLog:

* testsuite/27_io/rvalue_streams.cc: Run the extraction to a char*
for C++17 and lower only.

3 years agodoc: Document C++ 20 modules
Nathan Sidwell [Mon, 14 Dec 2020 21:15:17 +0000 (13:15 -0800)]
doc: Document C++ 20 modules

And here is the user-facing documentation.

gcc/
* doc/cppopts.texi: Document new cpp opt.
* doc/invoke.texi: Add C++20 module option & documentation.

3 years agoc++: Modules Is Landing
Nathan Sidwell [Mon, 14 Dec 2020 19:40:44 +0000 (11:40 -0800)]
c++: Modules Is Landing

This is the C++ modules implementation.  Dropping in the real
module.cc file into the module-shaped hole I carved out.  I include
some sanity tests for now.  I'll commit the remaining tests when the
initial round of failures seems abated.

gcc/cp/
* module.cc: Replace stubs with implementation.
gcc/testsuite/
* g++.dg/modules/mod-decl-0-2a.C: New.
* g++.dg/modules/mod-decl-0.C: New.
* g++.dg/modules/mod-decl-1.C: New.
* g++.dg/modules/mod-decl-2_a.C: New.
* g++.dg/modules/mod-decl-2_b.C: New.
* g++.dg/modules/mod-decl-2_c.C: New.
* g++.dg/modules/mod-decl-3.C: New.
* g++.dg/modules/mod-decl-5_a.C: New.
* g++.dg/modules/mod-decl-5_b.C: New.

3 years agoc++: module mapper
Nathan Sidwell [Mon, 14 Dec 2020 18:22:21 +0000 (10:22 -0800)]
c++: module mapper

To avoid always requiring an active mapper to connect to, we provide a
default in-process mapper with similar functionality to the sample
server.  This is that code.  Also included is the client-side
connection mechanism, which determines what server to use and how to
connect to it.

gcc/cp/
* Make-lang.in (CXX_AND_OBJCXX_OBJS): Add mapper-client &
mapper-resolver.
* mapper-client.h: New.
* mapper-client.cc: New.
* mapper-resolver.cc: New.

3 years agoAdd C++tools
Nathan Sidwell [Tue, 15 Dec 2020 15:39:29 +0000 (07:39 -0800)]
Add C++tools

These are the toplevel directory changes to add c++tools

ChangeLog:

* Makefile.def
* Makefile.in
* Makefile.tpl
* configure
* configure.ac

3 years agoAdd c++tools
Nathan Sidwell [Mon, 14 Dec 2020 17:30:00 +0000 (09:30 -0800)]
Add c++tools

Part of our module implementation adds a sample mapper server, the
guts of which are used by the default in-process mapping of cc1plus.
Rather than add another executable to gcc/cp/, this creates a new
c++tools directory where this and any other c++ tools might live.
The toplevel changes are a subsequent commit, because ... git.

c++tools/ChangeLog:

* Makefile.in: New.
* config.h.in: New.
* configure: New.
* configure.ac: New.
* resolver.cc: New.
* resolver.h: New.
* server.cc: New.

3 years agolibstdc++: Increase timeout for tests in debug mode
Jonathan Wakely [Tue, 15 Dec 2020 15:39:58 +0000 (15:39 +0000)]
libstdc++: Increase timeout for tests in debug mode

These tests FAIL when testing debug mode with a small tool_timeout
value. Give them a longer relative timeout.

libstdc++-v3/ChangeLog:

* testsuite/25_algorithms/lexicographical_compare/deque_iterators/1.cc:
Add dg-timeout-factor directive.
* testsuite/ext/pb_ds/regression/tree_map_rand_debug.cc:
Increase timeout factor from 2.0 to 3.0.
* testsuite/ext/pb_ds/regression/tree_set_rand_debug.cc:
Likewise.
* testsuite/lib/libstdc++.exp (check_effective_target_debug-mode):
Define "debug-mode" as an effective-target keyword.

3 years agolibstdc++: Do not define constexpr assertions for C++11
Jonathan Wakely [Tue, 15 Dec 2020 15:39:58 +0000 (15:39 +0000)]
libstdc++: Do not define constexpr assertions for C++11

There's no point even checking is_constant_evaluated() in C++11 mode,
because the 'if' statement used for the assertion wouldn't be valid in a
C++11 constexpr function anyway.

libstdc++-v3/ChangeLog:

* include/bits/c++config (__glibcxx_assert_1): Define as empty
for C++11.

3 years agoAdd libcody
Nathan Sidwell [Mon, 14 Dec 2020 16:10:27 +0000 (08:10 -0800)]
Add libcody

In order to separate compiler from build system, C++ Modules, as
implemented in GCC introduces a communication channel between those
two entities.  This is implemented by libcody.  It is anticipated that
other implementations will also implement this protocol, or use
libcody to provide it.

* Makefile.def: Add libcody.
* configure.ac: Add libcody.
* Makefile.in: Regenerated.
* configure: Regenerated.
gcc/
* Makefile.in (CODYINC, CODYLIB, CODYLIB_H): New. Use them.
libcody/
* configure.ac: New.
* CMakeLists.txt: New.
* CODING.md: New.
* CONTRIB.md: New.
* LICENSE: New.
* LICENSE.gcc: New.
* Makefile.in: New.
* Makesub.in: New.
* README.md: New.
* buffer.cc: New.
* build-aux/config.guess: New.
* build-aux/config.sub: New.
* build-aux/install-sh: New.
* client.cc: New.
* cmake/libcody-config-ix.cmake
* cody.hh: New.
* config.h.in: New.
* config.m4: New.
* configure: New.
* configure.ac: New.
* dox.cfg.in: New.
* fatal.cc: New.
* gdbinit.in: New.
* internal.hh: New.
* netclient.cc: New.
* netserver.cc: New.
* packet.cc: New.
* resolver.cc: New.
* server.cc: New.
* tests/01-serialize/connect.cc: New.
* tests/01-serialize/decoder.cc: New.
* tests/01-serialize/encoder.cc: New.
* tests/02-comms/client-1.cc: New.
* tests/02-comms/pivot-1.cc: New.
* tests/02-comms/server-1.cc: New.
* tests/Makesub.in: New.
* tests/jouster: New.

3 years agoAdd toplevel dirs
Nathan Sidwell [Tue, 15 Dec 2020 14:49:06 +0000 (09:49 -0500)]
Add toplevel dirs

contrib/
* gcc-changelog/git_commit.py (changelog_locations): Add
libcody, c++tools.

3 years agoc++: module-related tweak
Nathan Sidwell [Mon, 14 Dec 2020 19:44:12 +0000 (11:44 -0800)]
c++: module-related tweak

In manually applying a name-lookup patch, I managed to transpose two
calls.  That caused a test failure.  Fixed thusly.

gcc/cp/
* name-lookup.c (do_namespace_alias): Set originating module
before pushing.

3 years agolibstdc++: Fix required locales of a testcase
Marius Hillenbrand [Tue, 15 Dec 2020 11:40:07 +0000 (11:40 +0000)]
libstdc++: Fix required locales of a testcase

The testsuite for libstdc++ aims to skips test cases for which not all
required locales are installed. This patch adds missing directives about
required locales to one test case to avoid false positive test failures
on systems that have a partial set of locales installed.

Verified by test suite runs that this patch changes the test case from
FAIL to UNSUPPORTED when not all required locales are available and that
the test case will run and PASS when the necessary locales have been
added.

libstdc++-v3/ChangeLog:

* testsuite/22_locale/locale/cons/5.cc: Add missing directives
for required locales.

3 years agolibstdc++: Remove workaround for PR c++/78173
Jonathan Wakely [Tue, 15 Dec 2020 11:40:07 +0000 (11:40 +0000)]
libstdc++: Remove workaround for PR c++/78173

Now that the G++ bug is fixed we no longer need to protect this partial
specialization from complaining about subtracting void pointers.

libstdc++-v3/ChangeLog:

* include/bits/iterator_concepts.h (incrementable_traits<Tp>):
Remove workaround for PR c++/78173.

3 years agolibstdc++: Disabling AC_LIBTOOL_DLOPEN check if building with avr-libc
Vladimir Vishnevsky [Tue, 15 Dec 2020 11:40:07 +0000 (11:40 +0000)]
libstdc++: Disabling AC_LIBTOOL_DLOPEN check if building with avr-libc

The AC_LIBTOOL_DLOPEN checks were previously disabled for newlib targets.
The patch applies similar logic to avr-libc based builds.

libstdc++-v3/ChangeLog:

* configure.ac: Skip AC_LIBTOOL_DLOPEN check if avr-libc is used.
* configure: Regenerate.

3 years agolibstdc++: Use init_priority attribute for Init object [PR 98108]
Jonathan Wakely [Tue, 15 Dec 2020 11:40:06 +0000 (11:40 +0000)]
libstdc++: Use init_priority attribute for Init object [PR 98108]

This causes the global objects that run the <iostream> initialization
code to be constructed earlier, which avoids some bugs in user code due
to incorrectly relying on static initialization order.

libstdc++-v3/ChangeLog:

PR libstdc++/98108
* include/std/iostream (__ioinit): Add init_priority attribute.

3 years ago[Ada] Fix serial port baud rate setting on GNU/Linux
Pascal Obry [Sat, 7 Nov 2020 09:31:43 +0000 (10:31 +0100)]
[Ada] Fix serial port baud rate setting on GNU/Linux

gcc/ada/

* libgnat/g-sercom__linux.adb (Set): Use cfsetospeed and
cfsetispeed to set the baud rate. Clear non-blocking serial port
status when blocking is requested.

3 years ago[Ada] Small adjustment to System.Val_Real
Eric Botcazou [Thu, 26 Nov 2020 14:58:24 +0000 (15:58 +0100)]
[Ada] Small adjustment to System.Val_Real

gcc/ada/

* libgnat/s-valrea.adb (Integer_to_Real): Always use Extra.

3 years ago[Ada] Simplify check for extra parens
Piotr Trojanek [Thu, 26 Nov 2020 17:37:09 +0000 (18:37 +0100)]
[Ada] Simplify check for extra parens

gcc/ada/

* par-ch5.adb (P_Condition): Simplify condition for warning
about extra parens and make it easier to understand.

3 years ago[Ada] Refactor repeated complains about missing -gnat2005 switch
Piotr Trojanek [Wed, 25 Nov 2020 21:02:29 +0000 (22:02 +0100)]
[Ada] Refactor repeated complains about missing -gnat2005 switch

gcc/ada/

* errout.ads (Error_Msg_Ada_2005_Extension): New routine (spec).
* errout.adb (Error_Msg_Ada_2005_Extension): New routine (body).
* par-ch10.adb: Reuse new routine; correct casing for "LIMITED
WITH".
* par-ch11.adb: Likewise.
* par-ch12.adb: Likewise.
* par-ch3.adb: Likewise.
* par-ch4.adb: Likewise; replace "box" with "<>".
* par-ch6.adb: Likewise.
* par-ch9.adb: Likewise; correct casing for "THEN ABORT".

3 years ago[Ada] Small adjustment to parameterization of System.Value_R
Eric Botcazou [Wed, 25 Nov 2020 18:32:15 +0000 (19:32 +0100)]
[Ada] Small adjustment to parameterization of System.Value_R

gcc/ada/

* doc/gnat_ugn/gnat_and_program_execution.rst: Minor fix.
* gnat_ugn.texi: Regenerate.
* libgnat/s-valuer.ads (Precision_Limit): New formal parameter.
* libgnat/s-valuer.adb (Precision_Limit): Remove.
(Scan_Decimal_Digits): Robustify overflow check.
(Scan_Integral_Digits): Likewise.
* libgnat/s-valrea.adb: Add assertion on the size of the unsigned
type and instantiate System.Value_R with the mantissa limit.
(Integer_to_Real): Add Extra parameter and take it into account.
(Scan_Real): Pass Extra to Integer_to_Real.
(Value_Real): Likewise.
* libgnat/s-valued.adb: Add assertion on the size of the unsigned
type and instantiate System.Value_R with the mantissa limit.
* libgnat/s-valuef.adb: Likewise.