I saw the -fipa-pta option in the GCC manual, and decided to try it on mainline. But... I can't get it to work with any C code (or Fortran):
$ cat a.c void foo() { ; } $ gcc -c -O1 -fipa-pta a.c a.c: In function foo: a.c:5: error: stmt (0x2a983e4140) marked modified after optimization pass: return; a.c:5: internal compiler error: verify_ssa failed bonzini suggested I asked Daniel if it was expected or not, so... here it is. -- Summary: ICE at -O1 -fipa-pta Product: gcc Version: 4.3.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: middle-end AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: fxcoudert at gcc dot gnu dot org GCC build triplet: x86_64-unknown-linux-gnu GCC host triplet: x86_64-unknown-linux-gnu GCC target triplet: x86_64-unknown-linux-gnu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31068