[Bug debug/42395] New: "error: definition in block 12 does not dominate use in block 19" with -O3 -g

[zsojka at seznam dot cz]

Command line:
gcc -O3 -g testcase.c

Tested revisions:
trunk r155256 - crash
trunk r154886 - crash (OK without checking)
trunk r154830 - crash
trunk r153685 - OK
4.4 r154975 - OK (with checking)

Output:
$ /mnt/svn/gcc-trunk/binary-155256-lto/bin/gcc -O3 -g testcase.c
testcase.c: In function ‘foo’:
testcase.c:1:6: error: definition in block 12 does not dominate use in block 19
for SSA_NAME: i_9 in statement:
# DEBUG i => i_9
testcase.c:1: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.


-- 
           Summary: "error: definition in block 12 does not dominate use in
                    block 19" with -O3 -g
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: debug
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: zsojka at seznam dot cz
  GCC host triplet: x86_64-pc-linux-gnu


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