[Bug analyzer/113314] [14 Regression] -Wanalyzer-infinite-loop false positive seen on haproxy's fd.c

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113314

--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
(In reply to David Malcolm from comment #1)

[...]

>     70        redo_next:
>     71          next = fdtab[fd].update.next;
>     72          if (next > -2)
>     73            goto done;
>     74          if (next == -2)
>     75            goto redo_next;
> 
> does look like an infinite loop when next == 2.

Presumably I meant -2 here.