------- Comment #3 from rguenth at gcc dot gnu dot org 2008-01-03 15:17 ------- forwprop with the help of fold now simplifies the second comparison to
if (b_2(D) == c_3(D)) and VRP gets rid of the function body and optimizes it to return zero. We have a similar testcase excercising the forwprop transformation in gcc.dg/tree-ssa/forwprop-3.c. This was fixed by http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129256 -- rguenth at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26400
