https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110285
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|-Wanalyzer-infinite-recursi |-Wanalyzer-infinite-recursi
|on false positive |on false positive involving
| |floating-point values
--- Comment #4 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this.
-fanalyzer currently doesn't attempt to track conditions involving floating
point, so it incorrectly treats both A and !A as potentially being true along
an execution path, leading to the false positive. Sorry about this.
