http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51988
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-01-25 00:24:41 UTC --- Here is a better testcase: int g(int,int); int f(int t, int c) { int d = 0; int e = 0; if (t) { d = 1; e = t; } else d = 0, e = 0; return g(d,e); } --- CUT --- I have a simple patch now.