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
