[Bug c++/54090] internal compiler error: in unify, at cp/pt.c:15731

[ubizjak at gmail dot com]

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

Uros Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-07-25
     Ever Confirmed|0                           |1

--- Comment #2 from Uros Bizjak <ubizjak at gmail dot com> 2012-07-25 18:56:57 UTC ---
Confirmed on x86_64-unknown-linux-gnu, with:

gcc version 4.8.0 20120725 (experimental) [trunk revision 189856] (GCC)

(gdb) bt
#0  internal_error (gmsgid=gmsgid@entry=0x121e5ba "in %s, at %s:%d") at
../../gcc-svn/trunk/gcc/diagnostic.c:951
#1  0x0000000000ef24b4 in fancy_abort (file=<optimized out>, line=16640,
function=0xf4b6e1 "unify")
    at ../../gcc-svn/trunk/gcc/diagnostic.c:1011
#2  0x0000000000584614 in unify (tparms=tparms@entry=0x7ffff1b08f78,
targs=targs@entry=0x7ffff1b26480, parm=0x7ffff19ad140, 
    arg=0x7ffff19ae9f0, strict=strict@entry=0, explain_p=explain_p@entry=false)
at ../../gcc-svn/trunk/gcc/cp/pt.c:16640
#3  0x00000000005869d4 in unify (tparms=tparms@entry=0x7ffff1b08f78,
targs=targs@entry=0x7ffff1b26480, parm=0x7ffff1b21118, 
    arg=0x7ffff1b210a8, strict=<optimized out>, strict@entry=0,
explain_p=explain_p@entry=false)
    at ../../gcc-svn/trunk/gcc/cp/pt.c:16474
#4  0x0000000000593126 in get_class_bindings (tparms=0x7ffff1b08f78,
spec_args=0x7ffff19aec30, args=0x7ffff19aeab0)
    at ../../gcc-svn/trunk/gcc/cp/pt.c:17209
#5  0x0000000000593540 in more_specialized_class
(pat1=pat1@entry=0x7ffff1b24938, pat2=pat2@entry=0x7ffff1b24898)
    at ../../gcc-svn/trunk/gcc/cp/pt.c:17070
#6  0x0000000000593eb3 in most_specialized_class
(type=type@entry=0x7ffff1b20c78, tmpl=tmpl@entry=0x7ffff1b0ccf0, 
    complain=complain@entry=3) at ../../gcc-svn/trunk/gcc/cp/pt.c:17474
#7  0x000000000059df3d in instantiate_class_template_1 (type=0x7ffff1b20c78) at
../../gcc-svn/trunk/gcc/cp/pt.c:8401
#8  instantiate_class_template (type=<optimized out>) at
../../gcc-svn/trunk/gcc/cp/pt.c:8905

(gdb) f 2
#2  0x0000000000584614 in unify (tparms=tparms@entry=0x7ffff1b08f78,
targs=targs@entry=0x7ffff1b26480, parm=0x7ffff19ad140, 
    arg=0x7ffff19ae9f0, strict=strict@entry=0, explain_p=explain_p@entry=false)
at ../../gcc-svn/trunk/gcc/cp/pt.c:16640
16640         gcc_unreachable ();

(gdb) li
16635       case VAR_DECL:
16636         /* A non-type template parameter that is a variable should be a
16637            an integral constant, in which case, it whould have been
16638            folded into its (constant) value. So we should not be getting
16639            a variable here.  */
16640         gcc_unreachable ();
16641
16642       case TYPE_ARGUMENT_PACK:
16643       case NONTYPE_ARGUMENT_PACK:
16644         return unify (tparms, targs, ARGUMENT_PACK_ARGS (parm),