http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50363
--- Comment #1 from Zdenek Sojka <zsojka at seznam dot cz> 2011-09-12 20:56:58 UTC --- Created attachment 25252 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25252 reduced testcase This testcase needs more flags to reproduce though: $ gcc -O2 -fno-tree-ch -fno-tree-fre testcase.c testcase.c: In function 'foo': testcase.c:2:1: error: type mismatch in pointer plus expression int * restrict int * long unsigned int pretmp.2_13 = p_3 + pretmp.1_12; testcase.c:2: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.