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

- c -

• C : exp2f.c, expf.c
• c_nonset : waypoint.h
• CAPTURE_VARIABLE_TYPE : clang_cpp_convert.h
• CBRTL_SCALE : cbrtl.c
• CC_DIAGNOSTIC_IGNORE_CLASS_MEMACCESS : compiler_defs.h
• CC_DIAGNOSTIC_IGNORE_DEPRECATED_LITERAL_OPERATOR : compiler_defs.h
• CC_DIAGNOSTIC_IGNORE_LLVM_CHECKS : compiler_defs.h
• CC_DIAGNOSTIC_IGNORE_OM_LLVM_CHECKS : OM_compiler_defs.h
• CC_DIAGNOSTIC_POP : OM_compiler_defs.h, compiler_defs.h
• CC_DIAGNOSTIC_PUSH : OM_compiler_defs.h, compiler_defs.h
• ceil_def : ceil.c
• CHAR_BIT : limits.h
• CHAR_MAX : limits.h
• CHAR_MIN : limits.h
• CIMAG : complex.c
• classify_def : fpclassify.c
• classify_return_type : fpclassify.c
• CLEANUP_STACK_CHUNK_SIZE : pthread_lib.c
• CLOCK_BOOTTIME : time.h
• CLOCK_MONOTONIC : time.h
• CLOCK_MONOTONIC_COARSE : time.h
• CLOCK_MONOTONIC_RAW : time.h
• CLOCK_PROCESS_CPUTIME_ID : time.h
• CLOCK_REALTIME : time.h
• CLOCK_REALTIME_COARSE : time.h
• CLOCK_THREAD_CPUTIME_ID : time.h
• CLOCKS_PER_SEC : time.h
• CLR_BOLD : driver.cpp
• CLR_BOLD_CYAN : driver.cpp
• CLR_RESET : driver.cpp
• COMPARISON_OPERATORS : bigint.hh
• COMPLEX_DOUBLE : complex.c
• copysign_def : copysign.c
• CPROVER_PREFIX : cprover_prefix.h
• CREAL : complex.c
• CURAND_2POW32_INV : curand_kernel.h
• CURAND_2POW32_INV_2PI : curand_kernel.h
• CURAND_2POW32_INV_DOUBLE : curand_kernel.h
• CURAND_2POW53_INV_2PI_DOUBLE : curand_kernel.h
• CURAND_2POW53_INV_DOUBLE : curand_kernel.h
• CURAND_SQRT2 : curand_kernel.h
• CURAND_SQRT2_DOUBLE : curand_kernel.h
• CURANDAPI : curand.h