--- 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 forw
--
pinskia at gcc dot gnu dot org changed:
What|Removed |Added
Severity|normal |enhancement
Last reconfirmed|2006-02-22 09:55:47 |2006-09-1
--- Comment #2 from rguenth at gcc dot gnu dot org 2006-02-22 09:55 ---
Confirmed.
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
CC|
--- Comment #1 from pinskia at gcc dot gnu dot org 2006-02-21 18:06 ---
This comes from std::vector<_Tp, _Alloc>::_M_insert_aux.
Another example from the same function:
:;
if (__position$_M_current != &__x_copy) goto ; else goto ;
:;
if (&__position$_M_current->engine_m != &__x_copy
