[Bug tree-optimization/23821] [4.0/4.1/4.2/4.3 Regression] DOM and VRP creating harder to optimize code

[rguenth at gcc dot gnu dot org]

------- Comment #17 from rguenth at gcc dot gnu dot org  2008-01-12 12:29 -------
Can you point me to those?

I still think we should separate VRP of constant and symbolic ranges.  For
symbolic stuff we eventually want to utilize a theorem prover.


-- 


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