https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109015
Bug ID: 109015 Summary: Analyzer doesn't know about atomic builtins Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- Created attachment 54580 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54580&action=edit Work in progress patch Currently the analyzer doesn't recognize atomic builtins, and falls back to the "anything could happen" handler when it sees them. Am attaching a work-in-progress patch which implements most of them