Just about any input to gcc for any target results in the following ICE for "-O2 -fno-tree-salias":
bug7.c: In function foo: bug7.c:1: internal compiler error: in verify_curr_properties, at passes.c:1043 Please submit a full bug report, with preprocessed source if appropriate. See <http://gcc.gnu.org/bugs.html> for instructions. Here's the testcase used here: void foo (void) { return; } This was discussed starting at http://gcc.gnu.org/ml/gcc/2007-09/msg00503.html, with the conclusion that the flag is probably worthwhile and there should be a dummy pass after salias. -- Summary: ICE in verify_curr_properties for -O2 -fno-tree-salias Product: gcc Version: 4.3.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: janis at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33650