[Bug c++/56238] New: [4.8 regression] ICE in tree check: expected record_type or union_type or qual_union_type, have template_type_parm in lookup_conversions, at cp/search.c:2515

[Bug c++/56238] New: [4.8 regression] ICE in tree check: expected record_type or union_type or qual_union_type, have template_type_parm in lookup_conversions, at cp/search.c:2515

[ppluzhnikov at google dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56238

             Bug #: 56238
           Summary: [4.8 regression] ICE in tree check: expected
                    record_type or union_type or qual_union_type, have
                    template_type_parm in lookup_conversions, at
                    cp/search.c:2515
    Classification: Unclassified
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: ppluzhnikov@google.com


Test case:

class A
{
    template < typename T > T& get ();
    template < typename T > class B
    {
        void RemovePoint (A& value)
        {
            static_cast < double >(value.get < T > ());
        }
    };
};

Compiles fine with 4.7.x, with 4.8 without -std=c++11.
ICE's with -std=c++11 using
g++ (GCC) 4.8.0 20130205 (experimental)

g++ -c t.ii -std=c++11 
t.ii: In member function ‘void A::B<T>::RemovePoint(A&)’:
t.ii:8:55: internal compiler error: tree check: expected record_type or
union_type or qual_union_type, have template_type_parm in lookup_conversions,
at cp/search.c:2515
             static_cast < double >(value.get < T > ());
                                                       ^
0xc6159a tree_check_failed(tree_node const*, char const*, int, char const*,
...)
    ../../gcc/tree.c:8946
0x66c962 tree_check3
    ../../gcc/tree.h:3709
...

Google ref: b/8153313

[Bug c++/56238] [4.7/4.8 regression] ICE in tree check: expected record_type or union_type or qual_union_type, have template_type_parm in lookup_conversions, at cp/search.c:2515

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56238

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-checking
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-02-07
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |jason at gcc dot gnu.org
   Target Milestone|---                         |4.8.0
            Summary|[4.8 regression] ICE in     |[4.7/4.8 regression] ICE in
                   |tree check: expected        |tree check: expected
                   |record_type or union_type   |record_type or union_type
                   |or qual_union_type, have    |or qual_union_type, have
                   |template_type_parm in       |template_type_parm in
                   |lookup_conversions, at      |lookup_conversions, at
                   |cp/search.c:2515            |cp/search.c:2515
     Ever Confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-02-07 09:07:19 UTC ---
Started with http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=173679

[Bug c++/56238] [4.7/4.8 regression] ICE in tree check: expected record_type or union_type or qual_union_type, have template_type_parm in lookup_conversions, at cp/search.c:2515

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56238

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.6.3
   Target Milestone|4.8.0                       |4.7.3

[Bug c++/56238] [4.7/4.8 regression] ICE in tree check: expected record_type or union_type or qual_union_type, have template_type_parm in lookup_conversions, at cp/search.c:2515

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56238

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |

[Bug c++/56238] [4.7/4.8 regression] ICE in tree check: expected record_type or union_type or qual_union_type, have template_type_parm in lookup_conversions, at cp/search.c:2515

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56238

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
            Version|unknown                     |4.7.3

[Bug c++/56238] [4.7/4.8 regression] ICE in tree check: expected record_type or union_type or qual_union_type, have template_type_parm in lookup_conversions, at cp/search.c:2515

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56238

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> 2013-02-09 20:38:44 UTC ---
Author: jason
Date: Sat Feb  9 20:38:33 2013
New Revision: 195920

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=195920
Log:
    PR c++/56238
    * pt.c (build_non_dependent_expr): Don't try to fold
    instantiation-dependent expressions.
    (instantiation_dependent_r) [TRAIT_EXPR]: Split out.
    [BIND_EXPR]: Treat as dependent.

Added:
    trunk/gcc/testsuite/g++.dg/template/cast2.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c

[Bug c++/56238] [4.7 regression] ICE in tree check: expected record_type or union_type or qual_union_type, have template_type_parm in lookup_conversions, at cp/search.c:2515

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56238

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.7/4.8 regression] ICE in |[4.7 regression] ICE in
                   |tree check: expected        |tree check: expected
                   |record_type or union_type   |record_type or union_type
                   |or qual_union_type, have    |or qual_union_type, have
                   |template_type_parm in       |template_type_parm in
                   |lookup_conversions, at      |lookup_conversions, at
                   |cp/search.c:2515            |cp/search.c:2515

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-02-11 08:47:52 UTC ---
Fixed on the trunk.

[Bug c++/56238] [4.7 regression] ICE in tree check: expected record_type or union_type or qual_union_type, have template_type_parm in lookup_conversions, at cp/search.c:2515

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56238

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P3
             Status|ASSIGNED                    |RESOLVED
            Version|4.7.3                       |unknown
         Resolution|                            |FIXED
   Target Milestone|4.7.3                       |4.8.0

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2013-02-11 15:33:40 UTC ---
Bug only affects ENABLE_CHECKING builds, so no need to fix in 4.7.

[Bug c++/56238] [4.7 regression] ICE in tree check: expected record_type or union_type or qual_union_type, have template_type_parm in lookup_conversions, at cp/search.c:2515

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56238

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2013-03-17 02:34:17 UTC ---
Author: jason
Date: Sun Mar 17 02:34:03 2013
New Revision: 196724

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=196724
Log:
    PR c++/56238
    * pt.c (fold_non_dependent_expr_sfinae): Check
    instantiation_dependent_expression_p.

Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c