[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


--- 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

More information about the Gcc-bugs mailing list