http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51988
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-01-25 00:45:37 UTC --- Here is another testcase which also fails: int g(int,int); int f(int t, int c) { int d = 0; int e = 0; if (t) { d = c+1; e = t; } else d = 0, e = 0; return g(d,e); }