------- Comment #6 from pinskia at gcc dot gnu dot org 2005-10-12 00:37 ------- Here is a simple testcase:
int g(int); int f(int i, int j) { i +=1; if (j) i+=100; i+=1; g(i); return i; } Notice how there are two branch in !j case while there should be only one. -- pinskia at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Known to fail| |4.1.0 Known to work| |4.0.0 3.4.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23181