[Bug tree-optimization/25148] compare_values assumes that CST in a + CST (and a - CST) is always postive

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2005-11-29 17:36 -------
I should also note that compare_values is does not respect -fwrapv either as
shown by the testcase in PR 25145 in comment #1 and comment #6.


-- 


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