[Bug c++/96314] New: ICE in verify_ctor_sanity, at cp/constexpr.c:3870

[Bug c++/96314] New: ICE in verify_ctor_sanity, at cp/constexpr.c:3870

[reedjosh2626 at gmail dot com]

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.

[Bug c++/96314] ICE in verify_ctor_sanity, at cp/constexpr.c:3870

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96314

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |DUPLICATE
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |mpolacek at gcc dot gnu.org

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
A dup of 96241, also started with r10-6437.

*** This bug has been marked as a duplicate of bug 96241 ***