------- Additional Comments From kazu at cs dot umass dot edu 2005-04-01 16:23 ------- Let me replace the testcase as follows so that I can remove dependence on PR 20701.
extern void bar (int); int foo (int *p, int b) { int a; if (b) bar (123); else bar (321); a = *p; if (p == 0) return 0; return a; } Note that "p == 0" in the second "if" statement is always false, but VRP does not fold it. -- What |Removed |Added ---------------------------------------------------------------------------- BugsThisDependsOn|20701 | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20702