analyzer: implement various atomic builtins [PR109015]

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>