[Bug c++/104837] New: tree check fail: in tree_operand_check, at tree.h:3948

[Bug c++/104837] New: tree check fail: in tree_operand_check, at tree.h:3948

[dcb314 at hotmail dot com]

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

            Bug ID: 104837
           Summary: tree check fail: in tree_operand_check, at tree.h:3948
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

Created attachment 52581
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52581&action=edit
C++ source code

The attached C++ code does this on recent gcc trunk:

bug797.cc: In substitution of ‘template<class ... T> int Nested::f1(X<T, T
...>.
..) [with T = <missing>]’:
bug797.cc:11:14:   required from here
bug797.cc:11:14: internal compiler error: tree check: expected class
‘expression
’, have ‘type’ (integer_type) in tree_operand_check, at tree.h:3948
   11 |   int a1 = f1(X<int, int, double>(), X<double, int, double>());
      |            ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
0x13a35ba tree_class_check_failed(tree_node const*, tree_code_class, char
const*
, int, char const*)
        ../../trunk.git/gcc/tree.cc:8737
0x94257d unify_pack_expansion(tree_node*, tree_node*, tree_node*, tree_node*,
un
ification_kind_t, bool, bool)

The code is a copy from clang test suite, file
./SemaTemplate/pack-deduction.cpp

[Bug c++/104837] tree check fail: in tree_operand_check, at tree.h:3948

[pinskia at gcc dot gnu.org]

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

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
It didn't ICE in 4.6.4 but I don't know if that is because 4.6.x didn't
implement all of the C++11 features.

[Bug c++/104837] tree check fail: in tree_operand_check, at tree.h:3948

[ppalka at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ppalka at gcc dot gnu.org
         Resolution|---                         |DUPLICATE
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #2 from Patrick Palka <ppalka at gcc dot gnu.org> ---
dup of PR86426 I think

*** This bug has been marked as a duplicate of bug 86426 ***