[Bug c++/105067] New: ICE: in operator[], at vec.h:889

[Bug c++/105067] New: ICE: in operator[], at vec.h:889

[hewillk at gmail dot com]

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

            Bug ID: 105067
           Summary: ICE: in operator[], at vec.h:889
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hewillk at gmail dot com
  Target Milestone: ---

12 Regression

template<class> 
template<class T>
concept C = requires { typename T::type; };

template <C> class S {};

S<void> s;

https://godbolt.org/z/YjazY4ajv

[Bug c++/105067] ICE: in operator[], at vec.h:889

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
> ./cc1plus -quiet t.ii -std=c++20  
t.ii: In substitution of 'template<class>  requires  C<
<template-parameter-1-1> > class S [with <template-parameter-1-1> = void]':
t.ii:7:7:   required from here
t.ii:7:7: internal compiler error: in operator[], at vec.h:889
    7 | S<void> s;
      |       ^
0xc063b2 vec<vec<tree_node*, va_heap, vl_ptr>, va_heap,
vl_embed>::operator[](unsigned int)
        /home/rguenther/src/gcc3/gcc/vec.h:889
0xc0546a vec<vec<tree_node*, va_heap, vl_ptr>, va_heap,
vl_ptr>::operator[](unsigned int)
        /home/rguenther/src/gcc3/gcc/vec.h:1495
0xc00841 get_mapped_args
        /home/rguenther/src/gcc3/gcc/cp/constraint.cc:2876
0xc00ffe satisfy_atom
        /home/rguenther/src/gcc3/gcc/cp/constraint.cc:2958
0xc014c1 satisfy_constraint_r
        /home/rguenther/src/gcc3/gcc/cp/constraint.cc:3028

[Bug c++/105067] [12 Regression] ICE: in operator[], at vec.h:889

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.0
           Priority|P3                          |P1
      Known to work|                            |11.2.1
            Summary|ICE: in operator[], at      |[12 Regression] ICE: in
                   |vec.h:889                   |operator[], at vec.h:889

[Bug c++/105067] [12 Regression] ICE: in operator[], at vec.h:889 since r12-7631-g9413bb55185b9e88

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |ppalka at gcc dot gnu.org
            Summary|[12 Regression] ICE: in     |[12 Regression] ICE: in
                   |operator[], at vec.h:889    |operator[], at vec.h:889
                   |                            |since
                   |                            |r12-7631-g9413bb55185b9e88

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r12-7631-g9413bb55185b9e88.

[Bug c++/105067] [12 Regression] ICE: in operator[], at vec.h:889 since r12-7631-g9413bb55185b9e88

[ppalka at gcc dot gnu.org]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |ppalka at gcc dot gnu.org

[Bug c++/105067] [12 Regression] ICE: in operator[], at vec.h:889 since r12-7631-g9413bb55185b9e88

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:23e57329c6516a81a8d3eb21b365ca8a0ec0c41b

commit r12-7861-g23e57329c6516a81a8d3eb21b365ca8a0ec0c41b
Author: Patrick Palka <ppalka@redhat.com>
Date:   Mon Mar 28 14:15:39 2022 -0400

    c++: reject concept w/ multiple tparm lists [PR105067]

    We weren't rejecting a concept declared with multiple template
    parameter lists.

            PR c++/105067

    gcc/cp/ChangeLog:

            * pt.cc (finish_concept_definition): Check that a concept is
            declared with exactly one template parameter list.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/concepts-err4.C: New test.

[Bug c++/105067] [12 Regression] ICE: in operator[], at vec.h:889 since r12-7631-g9413bb55185b9e88

[ppalka at gcc dot gnu.org]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

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

--- Comment #4 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Fixed.

[Bug c++/105067] [12 Regression] ICE: in operator[], at vec.h:889 since r12-7631-g9413bb55185b9e88

[hewillk at gmail dot com]

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

--- Comment #5 from 康桓瑋 <hewillk at gmail dot com> ---
It still seems to be ICE.
https://godbolt.org/z/YjazY4ajv

[Bug c++/105067] [12 Regression] ICE: in operator[], at vec.h:889 since r12-7631-g9413bb55185b9e88

[ppalka at gcc dot gnu.org]

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

--- Comment #6 from Patrick Palka <ppalka at gcc dot gnu.org> ---
(In reply to 康桓瑋 from comment #5)
> It still seems to be ICE.
> https://godbolt.org/z/YjazY4ajv

I only see ordinary errors, no ICEs:

<source>:3:9: error: concept 'C' has multiple template parameter lists
    3 | concept C = requires { typename T::type; };
      |         ^
<source>:5:11: error: 'C' has not been declared
    5 | template <C> class S {};
      |           ^
<source>:7:7: error: type/value mismatch at argument 1 in template parameter
list for 'template<<typeprefixerror><anonymous> > class S'
    7 | S<void> s;
      |       ^
<source>:7:7: note:   expected a constant of type '<type error>', got 'void'