------- 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