[Bug tree-optimization/44539] New: [4.6 Regression] ICE: verify_ssa failed: type mismatch between an SSA_NAME and its symbol

[zsojka at seznam dot cz]

Command line:
$ gcc -O[12] -ftracer -freorder-blocks testcase.c

It doesn't crash when -fno-ipa-pure-const is supplied.

Compiler output:
$ gcc -O1 -ftracer -freorder-blocks testcase.c
testcase.c: In function 'foo':
testcase.c:21:6: error: type mismatch between an SSA_NAME and its symbol
testcase.c:21:6: error: in statement
# .MEM_5 = VDEF <.MEM_7>
noret1 ();
testcase.c:21:6: 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.

Tested revisions:
r160687 - crash (+rtl,df checking)
r160527 - crash (+rtl,df checking)
r159696 - OK


-- 
           Summary: [4.6 Regression] ICE: verify_ssa failed: type mismatch
                    between an SSA_NAME and its symbol
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: zsojka at seznam dot cz
  GCC host triplet: x86_64-pc-linux-gnu
GCC target triplet: x86_64-pc-linux-gnu


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