[Bug middle-end/35534] Problem compiling gdb/symtab.c in GDB 6.7.1 using GCC 4.3.0 on Solaris 10

[pinskia at gcc dot gnu dot org]

------- 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