From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 675843858403; Fri,  4 Nov 2022 04:33:46 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 675843858403
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1667536426;
	bh=tJzwrn7Wo6+WBIgVXfXbPxhYUTu7SJDwBvH7/py+pdE=;
	h=From:To:Subject:Date:From;
	b=KVqVc5WKlLJrt4o/kIEooHwJdJYUbk/Ucl79PF89xbQxs1asW2L8y5aUUHZb0oE/p
	 CNMUGi6+gRmQMjnb57kYuI0Hh7pKo6n09hEXCZuA8sGl3wtwL2TbQ5DRK6Q3obn2CL
	 apFN8hmc+a6JPBsYm4J7dex3xGzr6e/PFbICVflE=
From: "gwangi.kali at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/107522] New: ICE in parameter_mapping_equivalent_p on trunk
Date: Fri, 04 Nov 2022 04:33:45 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: gwangi.kali at gmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status
 bug_severity priority component assigned_to reporter target_milestone
Message-ID: <bug-107522-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

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

            Bug ID: 107522
           Summary: ICE in parameter_mapping_equivalent_p on trunk
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gwangi.kali at gmail dot com
  Target Milestone: ---

Live Example: https://godbolt.org/z/sqTaMnYva
Command Line Args: -std=3Dc++20
Version: Trunk

```cpp
enum class Enum { A, B };

template<Enum E>
class Class
{
public:
    template<enum Enum E2 =3D E>
    Class() requires (E2 =3D=3D Enum::A);
};

template<>
template<enum Enum E2>
Class<Enum::A>::Class() requires (E2 =3D=3D Enum::A)
{}

int main()
{
    Class<Enum::A>{};
    return 0;
}
```

```bash
Could not execute the program
Compiler returned: 1
Compiler stderr
<source>: In instantiation of 'Class<E>::Class() requires  E2 =3D=3D Enum::=
A [with
Enum E2 =3D Enum::A; Enum E =3D Enum::A]':
<source>:18:20:   required from here
<source>:18:20: internal compiler error: in parameter_mapping_equivalent_p,=
 at
cp/constraint.cc:615
   18 |     Class<Enum::A>{};
      |                    ^
0x236fd8e internal_error(char const*, ...)
        ???:0
0xaa5338 fancy_abort(char const*, int, char const*)
        ???:0
0xb21e30 sat_hasher::equal(sat_entry*, sat_entry*)
        ???:0
0xb22b7c hash_table<sat_hasher, false,
xcallocator>::find_slot_with_hash(sat_entry* const&, unsigned int,
insert_option)
        ???:0
0xb1c8b3 satisfaction_cache::satisfaction_cache(tree_node*, tree_node*,
sat_info)
        ???:0
0xb21202 constraints_satisfied_p(tree_node*, tree_node*)
        ???:0
0xad1f2a build_new_method_call(tree_node*, tree_node*, vec<tree_node*, va_g=
c,
vl_embed>**, tree_node*, int, tree_node**, int)
        ???:0
0xad23d7 build_special_member_call(tree_node*, tree_node*, vec<tree_node*,
va_gc, vl_embed>**, tree_node*, int, int)
        ???:0
0xad9d70 perform_direct_initialization_if_possible(tree_node*, tree_node*,
bool, int)
        ???:0
0xd4c672 cp_build_c_cast(unsigned int, tree_node*, tree_node*, int)
        ???:0
0xd554b6 build_functional_cast(unsigned int, tree_node*, tree_node*, int)
        ???:0
0xcf72ef finish_compound_literal(tree_node*, tree_node*, int, fcl_t)
        ???:0
0xc80597 c_parse_file()
        ???:0
0xdbdde9 c_common_parse_file()
        ???:0
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
```=