diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2023-06-02 09:28:30 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2023-06-02 09:28:30 -0400 |
| commit | ef768035ae8090ecbe5726111a5fae4d5c86dd74 (patch) | |
| tree | cefea913c55ad78cde9a7431907cc06319bfa938 /gcc/rtl.h | |
| parent | b8a916726e7f4b8871ac9dd75b66d26d1adf4798 (diff) | |
| download | gcc-ef768035ae8090ecbe5726111a5fae4d5c86dd74.zip gcc-ef768035ae8090ecbe5726111a5fae4d5c86dd74.tar.gz gcc-ef768035ae8090ecbe5726111a5fae4d5c86dd74.tar.bz2 | |
analyzer: implement various atomic builtins [PR109015]
This patch implements many of the __atomic_* builtins from
sync-builtins.def as known_function subclasses within the analyzer.
gcc/analyzer/ChangeLog:
PR analyzer/109015
* kf.cc (class kf_atomic_exchange): New.
(class kf_atomic_exchange_n): New.
(class kf_atomic_fetch_op): New.
(class kf_atomic_op_fetch): New.
(class kf_atomic_load): New.
(class kf_atomic_load_n): New.
(class kf_atomic_store_n): New.
(register_atomic_builtins): New function.
(register_known_functions): Call register_atomic_builtins.
gcc/testsuite/ChangeLog:
PR analyzer/109015
* gcc.dg/analyzer/atomic-builtins-1.c: New test.
* gcc.dg/analyzer/atomic-builtins-haproxy-proxy.c: New test.
* gcc.dg/analyzer/atomic-builtins-qemu-sockets.c: New test.
* gcc.dg/analyzer/atomic-types-1.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/rtl.h')
0 files changed, 0 insertions, 0 deletions