[Bug tree-optimization/48193] New: [4.7 Regression] ICE: verify_ssa failed: type mismatch between an SSA_NAME and its symbol with -flto --param partial-inlining-entry-probability=101

[Bug tree-optimization/48193] New: [4.7 Regression] ICE: verify_ssa failed: type mismatch between an SSA_NAME and its symbol with -flto --param partial-inlining-entry-probability=101

[zsojka at seznam dot cz]

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

           Summary: [4.7 Regression] ICE: verify_ssa failed: type mismatch
                    between an SSA_NAME and its symbol with -flto --param
                    partial-inlining-entry-probability=101
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 23712
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23712
reduced testcase

Compiler output:
$ gcc -O2 -flto --param partial-inlining-entry-probability=101 testcase.c
testcase.c: In function 'foo':
testcase.c:6:5: error: type mismatch between an SSA_NAME and its symbol
testcase.c:6:5: error: in statement
# VUSE <.MEM_10>
return x_12;
testcase.c:6:5: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

(gdb) bt
#0  error (gmsgid=0x119c068 "type mismatch between an SSA_NAME and its symbol")
at /mnt/svn/gcc-trunk/gcc/diagnostic.c:747
#1  0x0000000000a0f5f5 in verify_ssa_name (ssa_name=0x7ffff5bee528,
is_virtual=Unhandled dwarf expression opcode 0xf3
) at /mnt/svn/gcc-trunk/gcc/tree-ssa.c:590
#2  0x0000000000a1273e in verify_ssa (check_modified_stmt=1 '\001') at
/mnt/svn/gcc-trunk/gcc/tree-ssa.c:1009
#3  0x00000000007f8429 in execute_function_todo (data=Unhandled dwarf
expression opcode 0xf3
) at /mnt/svn/gcc-trunk/gcc/passes.c:1240
#4  0x00000000007f8b1d in execute_todo (flags=2132516) at
/mnt/svn/gcc-trunk/gcc/passes.c:1271
#5  0x00000000007faeb3 in execute_one_ipa_transform_pass () at
/mnt/svn/gcc-trunk/gcc/passes.c:1463
#6  execute_all_ipa_transforms () at /mnt/svn/gcc-trunk/gcc/passes.c:1487
#7  0x000000000093f8bd in tree_rest_of_compilation (fndecl=0x7ffff5bcef00) at
/mnt/svn/gcc-trunk/gcc/tree-optimize.c:415
#8  0x0000000000b0fc42 in cgraph_expand_function (node=0x7ffff5bef000) at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1576
#9  0x0000000000b1239a in cgraph_expand_all_functions () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1635
#10 cgraph_optimize () at /mnt/svn/gcc-trunk/gcc/cgraphunit.c:1899
#11 0x0000000000b1291a in cgraph_finalize_compilation_unit () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1096
#12 0x0000000000509124 in c_write_global_declarations () at
/mnt/svn/gcc-trunk/gcc/c-decl.c:9872
#13 0x00000000008e7ca8 in compile_file (argc=18, argv=0x7fffffffdc18) at
/mnt/svn/gcc-trunk/gcc/toplev.c:591

Tested revisions:
r171152 - crash
r171088 - crash
4.6 r170955 - OK

[Bug tree-optimization/48193] [4.7 Regression] ICE: verify_ssa failed: type mismatch between an SSA_NAME and its symbol with -flto --param partial-inlining-entry-probability=101

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011.03.21 12:50:00
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |
   Target Milestone|---                         |4.7.0
     Ever Confirmed|0                           |1

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-03-21 12:50:00 UTC ---
Confirmed.

(gdb) call debug_tree (ssa_name)
 <ssa_name 0x7ffff5b3c528 nothrow var <var_decl 0x7ffff5b3a3c0 .MEM>def_stmt 

    version 10 in-free-list>

vops.  Happens during inline transform.  Probably fallout of the
returns-have-vops.  Mine.

[Bug tree-optimization/48193] [4.7 Regression] ICE: verify_ssa failed: type mismatch between an SSA_NAME and its symbol with -flto --param partial-inlining-entry-probability=101

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-03-22 13:45:33 UTC ---
*** Bug 48198 has been marked as a duplicate of this bug. ***

[Bug tree-optimization/48193] [4.7 Regression] ICE: verify_ssa failed: type mismatch between an SSA_NAME and its symbol with -flto --param partial-inlining-entry-probability=101

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug tree-optimization/48193] [4.7 Regression] ICE: verify_ssa failed: type mismatch between an SSA_NAME and its symbol with -flto --param partial-inlining-entry-probability=101

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-12-06 10:14:29 UTC ---
Fixed.