http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46404
--- Comment #3 from Zdenek Sojka <zsojka at seznam dot cz> 2010-12-15 17:52:09 UTC --- I can't reproduce it neither with the reduced testcase, but the original one still fails (I am sorry for not mentioning it was reduced from gcc.dg/graphite/pr42284.c): $ gcc -O -fgraphite-identity -fno-tree-scev-cprop pr42284.i /mnt/svn/gcc-trunk/gcc/testsuite/gcc.dg/graphite/pr42284.c: In function 'inflate_fixed': /mnt/svn/gcc-trunk/gcc/testsuite/gcc.dg/graphite/pr42284.c:11:1: error: definition in block 5 does not dominate use in block 59 for SSA_NAME: i_34 in statement: D.2738_52 = 256 - i_34; /mnt/svn/gcc-trunk/gcc/testsuite/gcc.dg/graphite/pr42284.c:11:1: 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.