Here is a list of all macros with links to the files they belong to:

- a -

• A : logf.c
• advance_and_return_if_error : toml.hpp
• advance_and_return_if_error_or_eof : toml.hpp
• AF_INET : socket.h
• AF_INET6 : socket.h
• AF_LOCAL : socket.h
• AF_UNIX : socket.h
• AF_UNSPEC : socket.h
• ARM : clang_c_adjust_irep2.cpp, clang_cpp_adjust_irep2.cpp
• asdouble : cprover_libc_sources.cpp, libm.h
• asfloat : cprover_libc_sources.cpp, libm.h
• assert_not_eof : toml.hpp
• assert_not_error : toml.hpp
• asuint : cprover_libc_sources.cpp, libm.h
• asuint64 : cprover_libc_sources.cpp, libm.h
• ATOI_DEF : stdlib.c
• ATTRIBUTE_NOINLINE : compiler_defs.h
• ATTRIBUTE_USED : compiler_defs.h