[Bug c++/29318] [4.0/4.1/4.2 Regression] ICE: type_info of pointer to VLA

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

------- Comment #2 from rguenth at gcc dot gnu dot org  2006-10-12 12:39 -------
EDG chooses to reject the code with

t.C(7): error: a variable-length array type is not allowed
    const std::type_info& info(typeid(&va));
                                      ^

though I cannot find anything in the standard that justifies this behavior.  Of
course C++ VLA are a gcc extension... (but we still ICE even with -pedantic)

We're ICEing in mangling the VLA type

  intD.2[0:(long unsigned intD.7) (SAVE_EXPR <(<unnamed type>) iD.2580 - 1>)]

if we "fix" that by patching write_array_type to strip NOPs and SAVE_EXPRs
in the VLA case like so:

          /* Strip NOP and SAVE_EXPR  */
          while (TREE_CODE (max) == NOP_EXPR
                 || TREE_CODE (max) == SAVE_EXPR)
            max = TREE_OPERAND (max, 0);
          max = TREE_OPERAND (max, 0);
          if (!abi_version_at_least (2))
            {

that case goes fine, but then we ICE mangling

  intD.2[0:D.2586]

which doesn't tell us the number of elements in a symbolical way?  (and
so we ICE on the TREE_OPERAND (max, 0))

The gimplifier produces that out of the first variant and we get to the
mangler again through

#2  0x00000000005d22b1 in write_array_type (type=0x2b0b2b686b00)
    at /space/rguenther/src/svn/trunk/gcc/cp/mangle.c:2396
#3  0x00000000005cd546 in write_type (type=0x2b0b2b686b00)
    at /space/rguenther/src/svn/trunk/gcc/cp/mangle.c:1557
#4  0x00000000005cd9f0 in write_type (type=0x2b0b2b686d10)
    at /space/rguenther/src/svn/trunk/gcc/cp/mangle.c:1620
#5  0x00000000005d323f in mangle_type_string (type=0x2b0b2b686d10)
    at /space/rguenther/src/svn/trunk/gcc/cp/mangle.c:2617
#6  0x000000000053a437 in tinfo_name (type=0x2b0b2b686d10)
    at /space/rguenther/src/svn/trunk/gcc/cp/rtti.c:330
#7  0x000000000053c720 in tinfo_base_init (ti=0x2b0b2b4d6598, 
    target=0x2b0b2b686d10) at /space/rguenther/src/svn/trunk/gcc/cp/rtti.c:813
#8  0x000000000053cebd in ptr_initializer (ti=0x2b0b2b4d6598, 
    target=0x2b0b2b686d10) at /space/rguenther/src/svn/trunk/gcc/cp/rtti.c:908
#9  0x000000000053d59d in get_pseudo_ti_init (type=0x2b0b2b686d10, tk_index=6)
    at /space/rguenther/src/svn/trunk/gcc/cp/rtti.c:1018
#10 0x000000000053fce3 in emit_tinfo_decl (decl=0x2b0b2b686dc0)
    at /space/rguenther/src/svn/trunk/gcc/cp/rtti.c:1491
#11 0x000000000050498c in cp_finish_file ()
    at /space/rguenther/src/svn/trunk/gcc/cp/decl2.c:3127
#12 0x0000000000402945 in finish_file ()
    at /space/rguenther/src/svn/trunk/gcc/cp/cp-lang.c:144
#13 0x00000000006451ee in c_common_parse_file (set_yydebug=0)
    at /space/rguenther/src/svn/trunk/gcc/c-opts.c:1176
#14 0x0000000000b860fc in compile_file ()
    at /space/rguenther/src/svn/trunk/gcc/toplev.c:1033
#15 0x0000000000b87c72 in do_compile ()
    at /space/rguenther/src/svn/trunk/gcc/toplev.c:2006
#16 0x0000000000b87cd6 in toplev_main (argc=3, argv=0x7fff7f92b998)
    at /space/rguenther/src/svn/trunk/gcc/toplev.c:2038
#17 0x000000000065bc1b in main (argc=3, argv=0x7fff7f92b998)
    at /space/rguenther/src/svn/trunk/gcc/main.c:35


-- 


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