[Bug analyzer/106147] RFE: -fanalyzer could complain about some cases of infinite loops and infinite recursion

dmalcolm at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Thu Jun 30 12:57:35 GMT 2022


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

--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Possible implementation idea: look at state merging when building the exploded
graph: if we're merging an identical state in a loop, with no variants, then
complain.


More information about the Gcc-bugs mailing list