------- Comment #6 from jonathan dot leffler at gmail dot com 2008-03-11 04:23
-------
(In reply to comment #4)
> 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.
Thank you for the prompt feedback.
I can see that it is most probably very difficult to prove that the false
positive is false. However, from the GDB team's point of view, their code was
working previously and the new compiler is causing working code to be rejected
- which is irksome, especially as it is a false positive.
I'm not sure what to recommend. As I said, I've worked around it by modifying
the GDB source code, but that isn't ideal. Also, I'd appreciate advice on
what, if anything, to tell the GDB team.
--
jonathan dot leffler at gmail dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jonathan dot leffler at
| |gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35534
