Testcase (reduced from 20020107-1.c) char buf[10]; char * a(); int main (void) { int i = (a() - 1) - buf; }
I will attach the patch to catch this to PR 22368. 20020107-1.c: In function 'main': 20020107-1.c:7: error: types mismatch in unary operand intD.0 charD.1 * ~&bufD.1263; 20020107-1.c:7: internal compiler error: verify_stmts failed Please submit a full bug report, with preprocessed source if appropriate. See <URL:http://gcc.gnu.org/bugs.html> for instructions. -- Summary: fold (or the front-ends) produces UNARY (BIT_NOT_EXPR) tree with mismatch types Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P2 Component: middle-end AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: pinskia at gcc dot gnu dot org CC: gcc-bugs at gcc dot gnu dot org OtherBugsDependingO 22368 nThis: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22524