https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96314
Bug ID: 96314
Summary: ICE in verify_ctor_sanity, at cp/constexpr.c:3870
Product: gcc
Version: 10.1.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: reedjosh2626 at gmail dot com
Target Milestone: ---
Created attachment 48924
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48924&action=edit
sample input
See https://godbolt.org/z/aGTP8j
With the attached input, the following output is returned:
<source>:50:31: in 'constexpr' expansion of 'attributes_valid()'
<source>:50:34: internal compiler error: in verify_ctor_sanity, at
cp/constexpr.c:3870
50 | static_assert(attributes_valid());
| ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://gcc.gnu.org/bugs/> for instructions.
Compiler returned: 1
Using GCC 10.1.0 with the following details:
Using built-in specs.
COLLECT_GCC=/opt/compiler-explorer/gcc-10.1.0/bin/g++
Target: x86_64-linux-gnu
Configured with: ../gcc-10.1.0/configure
--prefix=/opt/compiler-explorer/gcc-build/staging --build=x86_64-linux-gnu
--host=x86_64-linux-gnu --target=x86_64-linux-gnu --disable-bootstrap
--enable-multiarch --with-abi=m64 --with-multilib-list=m32,m64,mx32
--enable-multilib --enable-clocale=gnu --enable-languages=c,c++,fortran,ada,d
--enable-ld=yes --enable-gold=yes --enable-libstdcxx-debug
--enable-libstdcxx-time=yes --enable-linker-build-id --enable-lto
--enable-plugins --enable-threads=posix
--with-pkgversion=Compiler-Explorer-Build
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 10.1.0 (Compiler-Explorer-Build)
COLLECT_GCC_OPTIONS='-fdiagnostics-color=always' '-g' '-o' './output.s'
'-masm=intel' '-S' '-std=c++17' '-v' '-shared-libgcc' '-mtune=generic'
'-march=x86-64'
/opt/compiler-explorer/gcc-10.1.0/bin/../libexec/gcc/x86_64-linux-gnu/10.1.0/cc1plus
-quiet -v -imultiarch x86_64-linux-gnu -iprefix
/opt/compiler-explorer/gcc-10.1.0/bin/../lib/gcc/x86_64-linux-gnu/10.1.0/
-D_GNU_SOURCE <source> -quiet -dumpbase example.cpp -masm=intel -mtune=generic
-march=x86-64 -auxbase-strip ./output.s -g -std=c++17 -version
-fdiagnostics-color=always -o ./output.s
GNU C++17 (Compiler-Explorer-Build) version 10.1.0 (x86_64-linux-gnu)
compiled by GNU C version 7.5.0, GMP version 6.1.0, MPFR version 3.1.4,
MPC version 1.0.3, isl version isl-0.18-GMP
Command line options: -g -o
/tmp/compiler-explorer-compiler2020624-1599-1g54q5f.7bak/output.s -masm=intel
-S -fdiagnostics-color=always -std=c++17
/tmp/compiler-explorer-compiler2020624-1599-1g54q5f.7bak/example.cpp
If the length of the std::array on line 30 is modified to be "1" or a second
element is added to the array, then the compilation succeeds.
