[Bug tree-optimization/43379] New: [4.5 Regression] ICE: error: SSA_NAME_OCCURS_IN_ABNORMAL_PHI should be set with -O2 -ftracer

[zsojka at seznam dot cz]

Command line:
gcc -O2 -ftracer testcase.c
or
gcc -O1 -freorder-blocks -ftracer -c testcase.c

Tested revisions:
r157460 - crash
r157386 - OK
r157326 - OK
r153685 - OK
4.4 r157395 - OK (with checking)

Compiler output:
$ /mnt/svn/gcc-trunk/binary-157460-lto/bin/gcc -O2 -ftracer -c testcase.c
testcase.c: In function 'foo':
testcase.c:6:3: warning: function returns address of local variable
testcase.c:1:7: error: SSA_NAME_OCCURS_IN_ABNORMAL_PHI should be set
for SSA_NAME: .MEM_7 in statement:
.MEM_4(ab) = PHI <.MEM_6(D)(0), .MEM_5(ab)(4), .MEM_7(3)>
PHI argument
.MEM_7
for PHI node
.MEM_4(ab) = PHI <.MEM_6(D)(0), .MEM_5(ab)(4), .MEM_7(3)>
testcase.c:1:7: 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.

Valgrind:
no errors reported


-- 
           Summary: [4.5 Regression] ICE: error:
                    SSA_NAME_OCCURS_IN_ABNORMAL_PHI should be set with -O2 -
                    ftracer
           Product: gcc
           Version: 4.5.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=43379