http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50115
--- Comment #5 from Balint Szente <balint at szentedwg dot ro> 2011-08-18 11:13:08 UTC --- Yes. Is G++'s VRP considering that "value" will be always positive, and for this reason will never be equal to ::min()?
