https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90264
--- Comment #3 from Roman Zhuykov ---
(In reply to Jeffrey A. Law from comment #1)
> We set *seq = 0.
>
> Assume we do not return -1 from line A.
>
> The for loop's initial test will be false because out = *seq = 0
>
> out - *seq must also be
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90264
Jeffrey A. Law changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90264
--- Comment #1 from Jeffrey A. Law ---
It doesn't look like a false positive to me.
We set *seq = 0.
Assume we do not return -1 from line A.
The for loop's initial test will be false because out = *seq = 0
out - *seq must also be zero and if