Benchmark 176.gcc from SPEC CPU2000 fails with an ICE in verify_flow_info and a message about a missing barrier when compiled on powerpc-linux with "-Os -fno-forward-propagate -fno-guess-branch-probability -fno-move-loop-invariants -fno-tree-dominator-opts -fno-tree-loop-optimize". It's an odd set of options but the failure probably demonstrates some sort of dependency between the optimizations. All of the options are documented, none as experimental.
A minimized test case (I'll attach it) fails with these options for a cross cc1 for any of power*-*-*, s390*-linux, cris-elf, frv-elf, or m32c-elf with the output: bug11.c: In function find_reg: bug11.c:32: error: missing barrier after block 4 bug11.c:32: internal compiler error: verify_flow_info failed Please submit a full bug report, with preprocessed source if appropriate. See <http://gcc.gnu.org/bugs.html> for instructions. The failure starts with this patch: http://gcc.gnu.org/viewcvs?view=rev&rev=124786 r124786 | rakdver | 2007-05-17 08:10:24 +0000 (Thu, 17 May 2007) -- Summary: ICE in verify_flow_info, missing barrier, when multiple tree opts disabled 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=33673
