[Bug c++/105003] New: ICE in new test case from r12-7710-gc7a6a32739d62d

[Bug c++/105003] New: ICE in new test case from r12-7710-gc7a6a32739d62d

[seurer at gcc dot gnu.org]

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

            Bug ID: 105003
           Summary: ICE in new test case from r12-7710-gc7a6a32739d62d
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seurer at gcc dot gnu.org
  Target Milestone: ---

g:c7a6a32739d62deab03266e2b5449fce261b1ecb, r12-7710-gc7a6a32739d62d
make  -k check-gcc
RUNTESTFLAGS="dg.exp=gcc/testsuite/g++.dg/cpp0x/variadic-alias3.C"

FAIL: g++.dg/cpp0x/variadic-alias3.C  -std=c++14 (internal compiler error: in
hashtab_chk_error, at hash-table.cc:137)
FAIL: g++.dg/cpp0x/variadic-alias3.C  -std=c++14 (test for excess errors)


spawn -ignore SIGHUP
/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++/../../xg++
-B/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++/../../
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp0x/variadic-alias3.C
-fdiagnostics-plain-output -nostdinc++
-I/home/seurer/gcc/git/build/gcc-test/powerpc64le-unknown-linux-gnu/libstdc++-v3/include/powerpc64le-unknown-linux-gnu
-I/home/seurer/gcc/git/build/gcc-test/powerpc64le-unknown-linux-gnu/libstdc++-v3/include
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/libsupc++
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/include/backward
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/testsuite/util -fmessage-length=0
-std=c++14 -pedantic-errors -Wno-long-long -S -o variadic-alias3.s^M
hash table checking failed: equal operator returns true for a pair of values
with a different hash value^M
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp0x/variadic-alias3.C: In
instantiation of 'struct any_badge<>':^M
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp0x/variadic-alias3.C:40:33:
  required from here^M
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp0x/variadic-alias3.C:33:3:
internal compiler error: in hashtab_chk_error, at hash-table.cc:137^M
0x1025e003 hashtab_chk_error()^M
        /home/seurer/gcc/git/gcc-test/gcc/hash-table.cc:137^M
0x1064e207 hash_table<spec_hasher, false, xcallocator>::verify(spec_entry*
const&, unsigned int)^M
        /home/seurer/gcc/git/gcc-test/gcc/hash-table.h:1036^M
0x1064e3f3 hash_table<spec_hasher, false,
xcallocator>::find_with_hash(spec_entry* const&, unsigned int)^M
        /home/seurer/gcc/git/gcc-test/gcc/hash-table.h:921^M
0x105f601f lookup_template_class_1^M
        /home/seurer/gcc/git/gcc-test/gcc/cp/pt.cc:9954^M
0x105f601f lookup_template_class(tree_node*, tree_node*, tree_node*,
tree_node*, int, int)^M
        /home/seurer/gcc/git/gcc-test/gcc/cp/pt.cc:10309^M
0x105fa2b3 tsubst_aggr_type^M
        /home/seurer/gcc/git/gcc-test/gcc/cp/pt.cc:13697^M
0x105fa2b3 tsubst_aggr_type^M
        /home/seurer/gcc/git/gcc-test/gcc/cp/pt.cc:13623^M
0x105dcf8b tsubst(tree_node*, tree_node*, int, tree_node*)^M
        /home/seurer/gcc/git/gcc-test/gcc/cp/pt.cc:15607^M
0x105cc963 tsubst_qualified_id^M
        /home/seurer/gcc/git/gcc-test/gcc/cp/pt.cc:16585^M
0x105d035b tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool,
bool)^M
        /home/seurer/gcc/git/gcc-test/gcc/cp/pt.cc:20289^M
0x1060684b tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)^M
        /home/seurer/gcc/git/gcc-test/gcc/cp/pt.cc:19419^M
0x1061bee7 tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)^M
        /home/seurer/gcc/git/gcc-test/gcc/cp/pt.cc:18390^M
0x1061bee7 tsubst_template_arg(tree_node*, tree_node*, int, tree_node*)^M
        /home/seurer/gcc/git/gcc-test/gcc/cp/pt.cc:12373^M
0x1061bee7 tsubst_template_arg(tree_node*, tree_node*, int, tree_node*)^M
        /home/seurer/gcc/git/gcc-test/gcc/cp/pt.cc:12361^M
0x10620713 tsubst_template_args(tree_node*, tree_node*, int, tree_node*)^M
        /home/seurer/gcc/git/gcc-test/gcc/cp/pt.cc:13467^M
0x105fa263 tsubst_aggr_type^M
        /home/seurer/gcc/git/gcc-test/gcc/cp/pt.cc:13679^M
0x105fa263 tsubst_aggr_type^M
        /home/seurer/gcc/git/gcc-test/gcc/cp/pt.cc:13623^M
0x105dc733 tsubst(tree_node*, tree_node*, int, tree_node*)^M
        /home/seurer/gcc/git/gcc-test/gcc/cp/pt.cc:16148^M
0x105dd7af tsubst(tree_node*, tree_node*, int, tree_node*)^M
        /home/seurer/gcc/git/gcc-test/gcc/cp/pt.cc:15904^M
0x105ce333 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool,
bool)^M
        /home/seurer/gcc/git/gcc-test/gcc/cp/pt.cc:21327^M


commit c7a6a32739d62deab03266e2b5449fce261b1ecb (HEAD, refs/bisect/bad)
Author: Marek Polacek <polacek@redhat.com>
Date:   Wed Mar 16 09:34:34 2022 -0400

    c++: alias template and empty parameter packs [PR104008]

[Bug c++/105003] ICE in new test case from r12-7710-gc7a6a32739d62d

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=103769

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
This may be PR103769.

[Bug c++/105003] ICE in new test case from r12-7710-gc7a6a32739d62d

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2022-03-21
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Reproduced.

[Bug c++/105003] [12 regression] ICE in new test case from r12-7710-gc7a6a32739d62d

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
             Status|NEW                         |ASSIGNED
            Summary|ICE in new test case from   |[12 regression] ICE in new
                   |r12-7710-gc7a6a32739d62d    |test case from
                   |                            |r12-7710-gc7a6a32739d62d
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org
                 CC|                            |jason at gcc dot gnu.org
   Target Milestone|---                         |12.0

[Bug c++/105003] [12 regression] ICE in new test case from r12-7710-gc7a6a32739d62d

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jason Merrill <jason@gcc.gnu.org>:

https://gcc.gnu.org/g:fc50d9a252c89c1bac78192bd0884ff23f2bf48b

commit r12-7857-gfc50d9a252c89c1bac78192bd0884ff23f2bf48b
Author: Jason Merrill <jason@redhat.com>
Date:   Fri Mar 25 13:13:35 2022 -0400

    c++: hash table ICE with variadic alias [PR105003]

    For PR104008 we thought it might be enough to keep strip_typedefs from
    removing this alias template specialization, but this PR demonstrates that
    other parts of the compiler also need to know to consider it dependent.

    So, this patch changes complex_alias_template_p to no longer consider
    template parameters used when their only use appears in a pack expansion,
    unless they are the parameter packs being expanded.

    To do that I also needed to change it to use cp_walk_tree instead of
    for_each_template_parm.  It occurs to me that find_template_parameters
    should probably also use cp_walk_tree, but I'm not messing with that now.

            PR c++/105003
            PR c++/104008
            PR c++/102869

    gcc/cp/ChangeLog:

            * pt.cc (complex_alias_template_r): walk_tree callback, replacing
            uses_all_template_parms_r, complex_pack_expansion_r.
            (complex_alias_template_p): Adjust.
            * tree.cc (strip_typedefs): Revert r12-7710 change.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp0x/variadic-alias6.C: New test.
            * g++.dg/cpp0x/variadic-alias7.C: New test.

[Bug c++/105003] [12 regression] ICE in new test case from r12-7710-gc7a6a32739d62d

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed.

[Bug c++/105003] [12 regression] ICE in new test case from r12-7710-gc7a6a32739d62d

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Jason Merrill
<jason@gcc.gnu.org>:

https://gcc.gnu.org/g:00e7d6e66638b8d2d93ff6659a140f8b3cf37aeb

commit r11-9827-g00e7d6e66638b8d2d93ff6659a140f8b3cf37aeb
Author: Jason Merrill <jason@redhat.com>
Date:   Fri Mar 25 13:13:35 2022 -0400

    c++: hash table ICE with variadic alias [PR105003]

    For PR104008 we thought it might be enough to keep strip_typedefs from
    removing this alias template specialization, but this PR demonstrates that
    other parts of the compiler also need to know to consider it dependent.

    So, this patch changes complex_alias_template_p to no longer consider
    template parameters used when their only use appears in a pack expansion,
    unless they are the parameter packs being expanded.

    To do that I also needed to change it to use cp_walk_tree instead of
    for_each_template_parm.  It occurs to me that find_template_parameters
    should probably also use cp_walk_tree, but I'm not messing with that now.

            PR c++/105003
            PR c++/104008
            PR c++/102869

    gcc/cp/ChangeLog:

            * pt.c (complex_alias_template_r): walk_tree callback,  replacing
            uses_all_template_parms_r, complex_pack_expansion_r.
            (complex_alias_template_p): Adjust.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp0x/variadic-alias6.C: New test.
            * g++.dg/cpp0x/variadic-alias7.C: New test.

[Bug c++/105003] [12 regression] ICE in new test case from r12-7710-gc7a6a32739d62d

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105003
Bug 105003 depends on bug 104008, which changed state.

Bug 104008 Summary: [11 Regression] New g++ folly compile error since r11-7931-ga2531859bf5bf6cf
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104008

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