[Bug c++/99910] New: [11 Regression] g++.dg/modules/xtreme-header-2_b.C ICE

[Bug c++/99910] New: [11 Regression] g++.dg/modules/xtreme-header-2_b.C ICE

[hp at gcc dot gnu.org]

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

            Bug ID: 99910
           Summary: [11 Regression] g++.dg/modules/xtreme-header-2_b.C ICE
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hp at gcc dot gnu.org
                CC: jason at gcc dot gnu.org, nathan at gcc dot gnu.org
  Target Milestone: ---
              Host: x86_64-linux
            Target: cris-elf

With 23be03a0f243a084a0fe03d0b96a3d045e1a2b65 (r11-7965)
the g++.dg/modules/xtreme-header-2_b.C test started to fail with an ICE for
cris-elf, thus:
Running /X/gcc/testsuite/g++.dg/modules/modules.exp ...
...
FAIL: g++.dg/modules/xtreme-header-2_b.C -std=c++2b (internal compiler error)
FAIL: g++.dg/modules/xtreme-header-2_b.C -std=c++2b (test for excess errors)
...
with the following in g++.log (edited for brevity and actual quote from
c3d3bb0f03dbd / r11-7980):

spawn -ignore SIGHUP
/X/gccobj/gcc/testsuite/g++/../../xg++ -B/X/gccobj/gcc/testsuite/g++/../../
/Y/gcc/testsuite/g++.dg/modules/xtreme-header-2_b.C
-fdiagnostics-plain-output -nostdinc++
-I/X/gccobj/cris-elf/libstdc++-v3/include/cris-elf
-I/X/gccobj/cris-elf/libstdc++-v3/include
-I/Y/libstdc++-v3/libsupc++
-I/Y/libstdc++-v3/include/backward
-I/Y/libstdc++-v3/testsuite/util
-fmessage-length=0 -std=c++2b -pedantic-errors -Wno-long-long -fmodules-ts
-fno-module-lazy -S -isystem
/X/gccobj/cris-elf/./newlib/targ-include -isystem
/Y/newlib/libc/include
-o xtreme-header-2_b.s
hash table checking failed: equal operator returns true for
a pair of values with a different hash value
/Y/gcc/testsuite/g++.dg/modules/xtreme-header-2_b.C:4:30:
internal compiler error: in hashtab_chk_error, at hash-table.c:137
0x627fa7 hashtab_chk_error()
        /Y/gcc/hash-table.c:137
0x8bed04 hash_table<spec_hasher, false,
xcallocator>::verify(spec_entry* const&, unsigned int)
        /Y/gcc/hash-table.h:1033
0x8bf2ed hash_table<spec_hasher, false,
xcallocator>::find_slot_with_hash(spec_entry* const&,
unsigned int, insert_option)
        /Y/gcc/hash-table.h:968
0x86415b match_mergeable_specialization(bool, spec_entry*)
        /Y/gcc/cp/pt.c:29908
0x7c6310 trees_in::key_mergeable(int, merge_kind,
tree_node*, tree_node*, tree_node*, tree_node*, bool)
        /Y/gcc/cp/module.cc:10670
0x7bf97e trees_in::decl_value()
        /Y/gcc/cp/module.cc:7903
0x7c1ff4 trees_in::tree_node(bool)
        /Y/gcc/cp/module.cc:9153
0x7caceb module_state::read_cluster(unsigned int)
        /Y/gcc/cp/module.cc:14811
0x7cb0ad module_state::load_section(unsigned int,
binding_slot*)
        /Y/gcc/cp/module.cc:18082
0x7cc3a6 module_state::read_language(bool)
        /Y/gcc/cp/module.cc:18011
0x7cc5c4 direct_import
        /Y/gcc/cp/module.cc:18877
0x842658 cp_parser_translation_unit
        /Y/gcc/cp/parser.c:4907
0x842658 c_parse_file()
        /Y/gcc/cp/parser.c:45268
0x9b6951 c_common_parse_file()
        /Y/gcc/c-family/c-opts.c:1218
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
compiler exited with status 1

I don't see this for other targets on gcc-testresults@. Also, it looks like
-save-temps doesn't help here, so please instruct on how to help me help you
with the equivalent information.

[Bug c++/99910] [11 Regression] g++.dg/modules/xtreme-header-2_b.C ICE

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |11.0

[Bug c++/99910] [11 Regression] g++.dg/modules/xtreme-header-2_b.C ICE

[hp at gcc dot gnu.org]

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

--- Comment #1 from Hans-Peter Nilsson <hp at gcc dot gnu.org> ---
It looks like commit 41019bfae2673a818 / r11-8011 "libstdc++: Clarify
static_assert message" accidentally swept this under the carpet.
If I cut off the last word, " type", i.e. the second changed line changed to be
" substituting _Tp must not be an lvalue reference", the ICE reappears.

I have not ran valgrind or used gcc sanitize-address on this, but that would be
a start.

[Bug c++/99910] [11 Regression] g++.dg/modules/xtreme-header-2_b.C ICE

[hp at gcc dot gnu.org]

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

--- Comment #2 from Hans-Peter Nilsson <hp at gcc dot gnu.org> ---
Appears to be related to (PR 100052 and) PR 100002.

[Bug c++/99910] [11/12 Regression] g++.dg/modules/xtreme-header-2_b.C ICE

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|11.0                        |11.2

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 11.1 has been released, retargeting bugs to GCC 11.2.

[Bug c++/99910] [11/12 Regression] g++.dg/modules/xtreme-header-2_b.C ICE

[clyon at gcc dot gnu.org]

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

Christophe Lyon <clyon at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|cris-elf                    |cris-elf armeb
                 CC|                            |clyon at gcc dot gnu.org

--- Comment #4 from Christophe Lyon <clyon at gcc dot gnu.org> ---
I've noticed
FAIL: g++.dg/modules/xtreme-header-3_b.C -std=c++2a (internal compiler error)
on armeb (looks OK on arm)
on gcc-11 branch. It appeared between r11-8552 and r11-8563.

[Bug c++/99910] [11/12 Regression] g++.dg/modules/xtreme-header-2_b.C ICE

[hp at gcc dot gnu.org]

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

--- Comment #5 from Hans-Peter Nilsson <hp at gcc dot gnu.org> ---
This and several other FAILs have re-appeared on master for cris-elf.
I think my autotester log entry is to the point:

... 2021-06-15-15:17:36 1de31913d20a (f: 88, p: 46598)
*** regress-11 (f: 99, p: 46599), gcc 71790f398e11, cris-elf at
2021-06-15-21:07:02 on pchp3, log at
/x/checkout/gcc_latest/logfile.71790f398e11.2021-06-15-21:07:02
--- regress.prev        2021-06-15 23:04:22.000000000 +0200
+++ regress     2021-06-16 05:26:34.662416022 +0200
@@ -0,0 +1,11 @@
+g++.sum g++.dg/modules/hello-1_b.C
+g++.sum g++.dg/modules/pr99425-2_b.X
+g++.sum g++.dg/modules/string-1_b.C
+g++.sum g++.dg/modules/xtreme-header-1_b.C
+g++.sum g++.dg/modules/xtreme-header-2_b.C
+g++.sum g++.dg/modules/xtreme-header-3_b.C
+g++.sum g++.dg/modules/xtreme-header-4_b.C
+g++.sum g++.dg/modules/xtreme-header-5_b.C
+g++.sum g++.dg/modules/xtreme-header-6_b.C
+g++.sum g++.dg/modules/xtreme-header_b.C
+g++.sum g++.dg/modules/xtreme-tr1_b.C

(No regressions at 1de31913d20a aka. r12-1482
11 regressions as per above at r12-1490)
I haven't looked further into the failures.

[Bug c++/99910] [11/12 Regression] g++.dg/modules/xtreme-header-2_b.C ICE

[msebor at gcc dot gnu.org]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2021-06-16
                 CC|                            |msebor at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #6 from Martin Sebor <msebor at gcc dot gnu.org> ---
Confirmed with native x86_64-linux compiler as well.  Also reported on power
(besides x86_64) so it's likely target-independent:

Running target unix
FAIL: g++.dg/modules/xtreme-header-2_b.C -std=c++2a (test for excess errors)
FAIL: g++.dg/modules/xtreme-header-2_b.C -std=c++2b (test for excess errors)
FAIL: g++.dg/modules/xtreme-header-5_b.C -std=c++2b (internal compiler error)
FAIL: g++.dg/modules/xtreme-header-5_b.C -std=c++2b (test for excess errors)
FAIL: g++.dg/modules/xtreme-tr1_b.C -std=c++2a (test for excess errors)
FAIL: g++.dg/modules/xtreme-tr1_b.C -std=c++2b (test for excess errors)

https://gcc.gnu.org/pipermail/gcc-testresults/2021-June/700795.html

[Bug c++/99910] [11/12 Regression] g++.dg/modules/xtreme-header-2_b.C ICE

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|11.2                        |11.3

--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 11.2 is being released, retargeting bugs to GCC 11.3

[Bug c++/99910] [11/12 Regression] g++.dg/modules/xtreme-header-2_b.C ICE

[hp at gcc dot gnu.org]

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

Hans-Peter Nilsson <hp at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #8 from Hans-Peter Nilsson <hp at gcc dot gnu.org> ---
This report no longer matches the current behavior.  I see errors for some of
the listed tests at 2eff2a3cb521 for cris-elf, but there has also been periods
of zero regressions since the report, last known at 13586172d0b7.  Closing this
one, opening a new one.

[Bug c++/99910] [11/12 Regression] g++.dg/modules/xtreme-header-2_b.C ICE

[pinskia at gcc dot gnu.org]

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

--- Comment #9 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I am reducing a similar bug via PR 100129, I think this is all GC related which
is why header changes and other non-looking changes in the front-end make it
come and go.

[Bug c++/99910] [11/12 Regression] g++.dg/modules/xtreme-header-2_b.C ICE

[guojiufu at gcc dot gnu.org]

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

Jiu Fu Guo <guojiufu at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |guojiufu at gcc dot gnu.org

--- Comment #10 from Jiu Fu Guo <guojiufu at gcc dot gnu.org> ---
./gcc/testsuite/g++/g++.sum:PASS: g++.dg/modules/xtreme-header-2_b.C -std=c++17
(test for excess errors)
./gcc/testsuite/g++/g++.sum:PASS: g++.dg/modules/xtreme-header-2_b.C -std=c++2a
(test for excess errors)
./gcc/testsuite/g++/g++.sum:PASS: g++.dg/modules/xtreme-header-2_b.C -std=c++2b
(test for excess errors)
./gcc/testsuite/g++/g++.log:PASS: g++.dg/modules/xtreme-header-2_b.C -std=c++17
(test for excess errors)
./gcc/testsuite/g++/g++.log:PASS: g++.dg/modules/xtreme-header-2_b.C -std=c++2a
(test for excess errors)
./gcc/testsuite/g++/g++.log:PASS: g++.dg/modules/xtreme-header-2_b.C -std=c++2b
(test for excess errors)
.
./gcc/testsuite/g++/g++.sum:PASS: g++.dg/modules/xtreme-tr1_b.C -std=c++17
(test for excess errors)
./gcc/testsuite/g++/g++.sum:PASS: g++.dg/modules/xtreme-tr1_b.C -std=c++2a
(test for excess errors)
./gcc/testsuite/g++/g++.sum:PASS: g++.dg/modules/xtreme-tr1_b.C -std=c++2b
(test for excess errors)
./gcc/testsuite/g++/g++.log:PASS: g++.dg/modules/xtreme-tr1_b.C -std=c++17
(test for excess errors)
./gcc/testsuite/g++/g++.log:PASS: g++.dg/modules/xtreme-tr1_b.C -std=c++2a
(test for excess errors)
./gcc/testsuite/g++/g++.log:PASS: g++.dg/modules/xtreme-tr1_b.C -std=c++2b
(test for excess errors)

It would pass with the latest trunk. (I tested on ppc64le)