------- Comment #11 from rguenth at gcc dot gnu dot org 2009-04-24 09:21 ------- The folded a >= C1 && a <= C2 case is correctly handled by VRP btw (I added that long time ago).
-- rguenth at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |rguenth at gcc dot gnu dot | |org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39870