[Bug c++/68763] [6 Regression] ICE: in verify_unstripped_args, at cp/pt.c:1132

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |NEW
         Resolution|WORKSFORME                  |---

--- Comment #7 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Yeah, that ICEs.

1123 static void
 1124 verify_unstripped_args (tree args)
 1125 {
 1126   ++processing_template_decl;
 1127   if (!any_dependent_template_arguments_p (args))
 1128     {
 1129       tree inner = INNERMOST_TEMPLATE_ARGS (args);
 1130       for (int i = 0; i < TREE_VEC_LENGTH (inner); ++i)
 1131         {
 1132           tree arg = TREE_VEC_ELT (inner, i);
 1133           if (TREE_CODE (arg) == TEMPLATE_DECL)
 1134             /* OK */;
 1135           else if (TYPE_P (arg))
 1136             gcc_assert (strip_typedefs (arg, NULL) == arg);

strip_typedefs (arg, NULL) is:
struct 
{
  const struct details_t & account_t::<T7c38c> (const struct account_t *, bool)
* __pfn;
  long int __delta;
}
and arg is:
struct 
{
  const struct details_t & account_t::<T7c388> (const struct account_t *, bool)
* __pfn;
  long int __delta;
}