https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101983
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
As noted above, these appear to be true positives. The above patch fixes the
issue with detection of "main"; the remaining issue is the use of <unknown>,
which I'm tracking in PR analyzer/99771.
Marking this as resolved.
