http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763
--- Comment #1 from Zdenek Sojka <zsojka at seznam dot cz> 2011-10-17 19:24:38 UTC --- Created attachment 25530 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25530 simpler testcase Might be the same problem: $ gcc -O2 -fno-tree-dominator-opts testcase2.c testcase2.c: In function 'foo': testcase2.c:4:1: error: missing PHI def .MEM_4 = PHI <.MEM_6(7), .MEM_7(3), (8)> testcase2.c:4:1: internal compiler error: verify_gimple failed Please submit a full bug report, with preprocessed source if appropriate. See <http://gcc.gnu.org/bugs.html> for instructions. -fno-tree-tail-merge helps in this case as well