[Bug c++/66743] New: ICE on formerly working code

[Bug c++/66743] New: ICE on formerly working code

[webrown.cpp at gmail dot com]

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

            Bug ID: 66743
           Summary: ICE on formerly working code
           Product: gcc
           Version: c++-concepts
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: webrown.cpp at gmail dot com
  Target Milestone: ---

This appears to be a recently introduced regression.  Although I'm using the
concepts branch, no concepts features are used to reproduce the problem.


Reduced test case:

template< class T >
struct
  type_is { using type = T; };

template< class T >
  using underlying_type = type_is<__underlying_type(T)>;

int
  main( )
{
  return 0;
}


Compiler version:
concepts-g++ (GCC) 6.0.0 20150702 (experimental)


Command line (numerous -W options elided):
concepts-g++ -Og -std=c++1z ... <filename>


Diagnostic:

internal compiler error: tree check: expected record_type or union_type or
qual_union_type, have underlying_type in for_each_template_parm_r, at
cp/pt.c:8726

[Bug c++/66743] ICE on formerly working code

[webrown.cpp at gmail dot com]

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

--- Comment #1 from W E Brown <webrown.cpp at gmail dot com> ---
Further reduced test case:

template< class T >
  using u_t = __underlying_type(T);

int  main( )  { }

[Bug c++/66743] [5/6 regression] ICE: tree check: expected record_type or union_type or qual_union_type, have underlying_type in for_each_template_parm_r, at cp/pt.c:8234

[trippels at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-07-02
                 CC|                            |jason at gcc dot gnu.org,
                   |                            |trippels at gcc dot gnu.org
      Known to work|                            |4.9.3
            Version|c++-concepts                |6.0
            Summary|ICE on formerly working     |[5/6 regression] ICE: tree
                   |code                        |check: expected record_type
                   |                            |or union_type or
                   |                            |qual_union_type, have
                   |                            |underlying_type in
                   |                            |for_each_template_parm_r,
                   |                            |at cp/pt.c:8234
     Ever confirmed|0                           |1
      Known to fail|                            |5.0, 6.0

--- Comment #2 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Started with r224331.

[Bug c++/66743] [5/6 regression] ICE: tree check: expected record_type or union_type or qual_union_type, have underlying_type in for_each_template_parm_r, at cp/pt.c:8234

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Fri Jul  3 00:45:43 2015
New Revision: 225366

URL: https://gcc.gnu.org/viewcvs?rev=225366&root=gcc&view=rev
Log:
        PR c++/66743
        * pt.c (for_each_template_parm_r) [UNDERLYING_TYPE]: Use
        TYPE_VALUES_RAW rather than TYPE_FIELDS.

Added:
    branches/gcc-5-branch/gcc/testsuite/g++.dg/cpp0x/alias-decl-51.C
Modified:
    branches/gcc-5-branch/gcc/cp/ChangeLog
    branches/gcc-5-branch/gcc/cp/pt.c

[Bug c++/66743] [5/6 regression] ICE: tree check: expected record_type or union_type or qual_union_type, have underlying_type in for_each_template_parm_r, at cp/pt.c:8234

[trippels at gcc dot gnu.org]

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

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

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

--- Comment #5 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
fixed