------- Comment #4 from pinskia at gcc dot gnu dot org 2008-03-11 04:00 ------- So looking at the code, I see that we have a loop that might return the loop variant. Now we should be able to prove this loop variant is greater than or equal 0 but we don't. Really this is just a false positive warning though hard to prove without going through the code checking out all code paths.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35534
