[Bug tree-optimization/20580] Using ASSERT_EXPR to improve constant propagation of conditional constants

[kazu at cs dot umass dot edu]

------- Additional Comments From kazu at cs dot umass dot edu  2005-03-22 20:50 
-------
We probably need something like substitute_and_fold for VRP as well.
Otherwise, we can't fold a + b into 0.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20580