------- Additional Comments From pinskia at gcc dot gnu dot org 2005-08-26 13:02 ------- The warning is done without flow control.
The optmization needs a "full" VRP which keeps of track of discontinuous ranges which is too expensive really. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23577
