[Bug c++/50363] internal compiler error: verify_gimple failed

[zsojka at seznam dot cz]

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.