https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119005
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
The warning is not fully context sensitive.
Plus this is not a false positive. Since we get `tmp = i + 1, i++, tmp >= 3`
and the increment will always happen.
>thus in the third call to this function the conditional will change its value.
But i could get to INT_MAX if called with INT_MAX times and then you will get
an overflow.
