ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
compiler_defs.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define CC_DIAGNOSTIC_PUSH()
 Header to define some properties that are OS or Compiler specific.
#define CC_DIAGNOSTIC_POP()
#define DO_PRAGMA(x)
#define CC_DIAGNOSTIC_IGNORE_LLVM_CHECKS()
#define CC_DIAGNOSTIC_IGNORE_CLASS_MEMACCESS()
#define CC_DIAGNOSTIC_IGNORE_DEPRECATED_LITERAL_OPERATOR()
#define GNUC_PREREQ(maj, min, patch)
#define ATTRIBUTE_NOINLINE
#define ATTRIBUTE_USED
#define DUMP_METHOD   ATTRIBUTE_NOINLINE ATTRIBUTE_USED

Macro Definition Documentation

◆ ATTRIBUTE_NOINLINE

#define ATTRIBUTE_NOINLINE

◆ ATTRIBUTE_USED

#define ATTRIBUTE_USED

◆ CC_DIAGNOSTIC_IGNORE_CLASS_MEMACCESS

#define CC_DIAGNOSTIC_IGNORE_CLASS_MEMACCESS ( )

◆ CC_DIAGNOSTIC_IGNORE_DEPRECATED_LITERAL_OPERATOR

#define CC_DIAGNOSTIC_IGNORE_DEPRECATED_LITERAL_OPERATOR ( )

◆ CC_DIAGNOSTIC_IGNORE_LLVM_CHECKS

#define CC_DIAGNOSTIC_IGNORE_LLVM_CHECKS ( )
Value:
DO_PRAGMA(GCC diagnostic ignored "-Wstrict-aliasing") \
DO_PRAGMA(GCC diagnostic ignored "-Wunused-parameter") \
DO_PRAGMA(GCC diagnostic ignored "-Wnonnull") \
DO_PRAGMA(GCC diagnostic ignored "-Wdeprecated-declarations") \
CC_DIAGNOSTIC_IGNORE_CLASS_MEMACCESS()
#define DO_PRAGMA(x)
Definition OM_compiler_defs.h:4

◆ CC_DIAGNOSTIC_POP

#define CC_DIAGNOSTIC_POP ( )
Value:
_Pragma("GCC diagnostic pop")

◆ CC_DIAGNOSTIC_PUSH

#define CC_DIAGNOSTIC_PUSH ( )
Value:
_Pragma("GCC diagnostic push")

Header to define some properties that are OS or Compiler specific.

◆ DO_PRAGMA

#define DO_PRAGMA ( x)
Value:
_Pragma(#x)

◆ DUMP_METHOD

#define DUMP_METHOD   ATTRIBUTE_NOINLINE ATTRIBUTE_USED

◆ GNUC_PREREQ

#define GNUC_PREREQ ( maj,
min,
patch )
Value:
0