https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99044
David Malcolm <dmalcolm at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|0 |1 Last reconfirmed| |2021-02-09 Status|UNCONFIRMED |ASSIGNED Summary|use-after-free false |use-after-free false |positive |positive in loop --- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Thanks for filing this bug report. Confirmed with trunk. Looks like the analyzer gets confused about the repeated frees relating to "e", where it seems to confuse the value of e in the first iteration with that of the second iteration. Similar to PR analyzer/93695 in that respect.