http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49309
Summary: [4.6/4.7 Regression] ICE with -fmudflap: verify_stmts failed: type mismatch in pointer plus expression Product: gcc Version: 4.7.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization AssignedTo: unassig...@gcc.gnu.org ReportedBy: reich...@gcc.gnu.org The following testcase compiled with "-fmudflap -O" triggers an ICE ========================================= struct A { int i; A(); A(const A&); }; inline void foo(A a) { a = A(); } void bar() { foo(A()); } ========================================= bug.cc: In function 'void bar()': bug.cc:11:6: error: type mismatch in pointer plus expression struct A & restrict struct A * long unsigned int D.1282_15 = &D.1260 + 0; bug.cc:11:6: internal compiler error: verify_gimple failed Please submit a full bug report, [etc.]