[Bug c++/102870] New: ICE: unexpected expression 'Is' of kind template_parm_index

[Bug c++/102870] New: ICE: unexpected expression 'Is' of kind template_parm_index

[hewillk at gmail dot com]

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

            Bug ID: 102870
           Summary: ICE: unexpected expression 'Is' of kind
                    template_parm_index
           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: ---

#include <utility>

template<class...>
struct Tuple { };

template<int... Is>
using type = Tuple<std::make_index_sequence<Is>...>;

template <int... Is>
constexpr auto f() {
  Tuple<type<Is>>{};
}

int main() {
  f();
}

https://godbolt.org/z/MExMxcWGK

[Bug c++/102870] [9/10/11/12 Regression] ICE: unexpected expression 'Is' of kind template_parm_index

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |7.1.0, 7.5.0
   Target Milestone|---                         |9.5
            Summary|ICE: unexpected expression  |[9/10/11/12 Regression]
                   |'Is' of kind                |ICE: unexpected expression
                   |template_parm_index         |'Is' of kind
                   |                            |template_parm_index
      Known to fail|                            |8.1.0

[Bug c++/102870] [9/10/11/12 Regression] ICE: unexpected expression 'Is' of kind template_parm_index

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=86960
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2021-10-21
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.  Related to PR 86960 (might even be the same underlaying issue).

[Bug c++/102870] [9/10/11/12 Regression] ICE: unexpected expression 'Is' of kind template_parm_index

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug c++/102870] [10/11/12/13 Regression] ICE: unexpected expression 'Is' of kind template_parm_index

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.5                         |10.4

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9 branch is being closed

[Bug c++/102870] [10/11/12/13 Regression] ICE: unexpected expression 'Is' of kind template_parm_index

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.4                        |10.5

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.

[Bug c++/102870] [10/11/12/13 Regression] ICE: unexpected expression 'Is' of kind template_parm_index

[mpolacek at gcc dot gnu.org]

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

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

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

--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Seems to have been fixed by r12-7857.  I think we want the testcase though.

[Bug c++/102870] [10/11/12/13 Regression] ICE: unexpected expression 'Is' of kind template_parm_index

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Marek Polacek <mpolacek@gcc.gnu.org>:

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

commit r13-5608-gb2ec2504af77b35e748067eeb846821d12a6b6b4
Author: Marek Polacek <polacek@redhat.com>
Date:   Tue Jan 31 13:27:21 2023 -0500

    c++: Add fixed test [PR102870]

    This was fixed by r12-7857: now we properly reject instead of
    crashing.

            PR c++/102870

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp0x/variadic184.C: New test.

[Bug c++/102870] [10/11/12/13 Regression] ICE: unexpected expression 'Is' of kind template_parm_index

[mpolacek at gcc dot gnu.org]

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

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

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

--- Comment #6 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Test added.