[Bug analyzer/109015] Analyzer doesn't know about atomic builtins

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109015

--- Comment #1 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:ef768035ae8090ecbe5726111a5fae4d5c86dd74

commit r14-1497-gef768035ae8090ecbe5726111a5fae4d5c86dd74
Author: David Malcolm <dmalc...@redhat.com>
Date:   Fri Jun 2 09:28:30 2023 -0400

    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 <dmalc...@redhat.com>