[Bug c++/67164] ICE: tree check: expected class âexpressionâ, have âexceptionalâ (argument_pack_select) in tree_operand_check, at tree.h:3356

["trippels at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[6 Regression] ICE: tree    |ICE: tree check: expected
                   |check: expected class       |class âexpressionâ, have
                   |âexpressionâ, have          |âexceptionalâ
                   |âexceptionalâ               |(argument_pack_select) in
                   |(argument_pack_select) in   |tree_operand_check, at
                   |tree_operand_check, at      |tree.h:3356
                   |tree.h:3356                 |
      Known to fail|                            |5.1.0, 6.0

--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
With --enable-checking gcc-5 also ICEs.

gcc-4.9 rejects the testcase:

github_113.ii:70:47: error: template declaration of
âboost::hana::make_t<Datatype> boost::hana::makeâ
 template <typename Datatype> make_t<Datatype> make;
                                               ^
github_113.ii:72:18: error: âmakeâ was not declared in this scope
 auto make_pair = make<Pair>;
                  ^
github_113.ii:72:27: error: expected primary-expression before â>â token
 auto make_pair = make<Pair>;
                           ^
github_113.ii:72:28: error: expected primary-expression before â;â token
 auto make_pair = make<Pair>;
                            ^
github_113.ii:74:19: error: âmakeâ was not declared in this scope
 auto make_tuple = make<Tuple>;
                   ^
github_113.ii:74:29: error: expected primary-expression before â>â token
 auto make_tuple = make<Tuple>;
                             ^
github_113.ii:74:30: error: expected primary-expression before â;â token
 auto make_tuple = make<Tuple>;
                              ^