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

- s -

• SC_CTOR : sc_module.h
• sc_main : systemc.h
• SC_MODULE : sc_module.h
• sc_out : sc_signal_ports.h
• SCHAR_MAX : limits.h
• SCHAR_MIN : limits.h
• SEEK_CUR : stdio.h, definitions.h
• SEEK_END : stdio.h, definitions.h
• SEEK_SET : stdio.h, definitions.h
• set_error_and_return : toml.hpp
• set_error_and_return_default : toml.hpp
• set_error_and_return_if_eof : toml.hpp
• SET_FLOAT_WORD : cprover_libc_sources.cpp, libm.h
• SET_HIGH_WORD : cprover_libc_sources.cpp, libm.h
• SET_LOW_WORD : cprover_libc_sources.cpp, libm.h
• SHARING : irep.h
• SHIFT : exp2f.c, expf.c
• SHRT_MAX : limits.h
• SHRT_MIN : limits.h
• SHUT_RD : socket.h
• SHUT_RDWR : socket.h
• SHUT_WR : socket.h
• SIGINT : definitions.h
• SKIPAHEAD_BLOCKSIZE : curand_kernel.h
• SKIPAHEAD_MASK : curand_kernel.h
• SO_KEEPALIVE : socket.h
• SO_RCVBUF : socket.h
• SO_REUSEADDR : socket.h
• SO_SNDBUF : socket.h
• SOCK_DGRAM : socket.h
• SOCK_RAW : socket.h
• SOCK_STREAM : socket.h
• SOL_ENUM_TO_STR : solidity_grammar.cpp
• SOL_SOCKET : socket.h
• SPIN_LIMIT : spinlock.h
• spin_limit : kernel.c
• STRTOF_DEF : stdlib.c
• STRTOL_DEF : stdlib.c
• STRTOUL_DEF : stdlib.c
• SVE_VEC : clang_c_convert.cpp
• SYM_SWAP1 : symbol.cpp
• SYM_SWAP2 : symbol.cpp
• SYMEX_INVARIANT : symex_invariant.h