------- Comment #5 from ebotcazou at gcc dot gnu dot org 2007-02-22 17:33 ------- Do not work too hard on this, there is code in the AdaCore tree to disable VRP in more cases, lest language-mandated checks are erroneously removed.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30911