------- Comment #10 from rguenth at gcc dot gnu dot org 2008-03-18 15:31 ------- Similar case that SCCVN could also handle (store_ccp and DOM handle this):
int G; void __attribute__((noinline)) foo (int i) { if (i > 0) G = 3; else G = 3; if (G != 3) link_error (); } int main () { foo (0); return 0; } (I have a patch for this as well, the above testcase is the same as gcc.dg/tree-ssa/20040721-1.c) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23094