http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50171
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
CC| |jakub at gcc dot gnu.org
Resolution| |INVALID
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-08-24
06:46:44 UTC ---
Yeah, this is definitely not a false positive, but completely correct warning,
the code is buggy. Your pseudo-inlined version isn't correct, after that t1 =
-1 you need ; goto out; and out:; after t1 = 0;.
