ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
OM_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 DO_PRAGMA(x)
#define CC_DIAGNOSTIC_PUSH()
#define CC_DIAGNOSTIC_POP()
#define CC_DIAGNOSTIC_IGNORE_OM_LLVM_CHECKS()
#define OM_CONSTEXPR
#define OM_NOEXCEPT
#define OM_NULLPTR   0
#define OM_CONSTEXPR17
#define OM_STATIC_CONSTANT   static const

Macro Definition Documentation

◆ CC_DIAGNOSTIC_IGNORE_OM_LLVM_CHECKS

#define CC_DIAGNOSTIC_IGNORE_OM_LLVM_CHECKS ( )
Value:
DO_PRAGMA(GCC diagnostic ignored "-Wreturn-type")
#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")

◆ DO_PRAGMA

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

◆ OM_CONSTEXPR

#define OM_CONSTEXPR

◆ OM_CONSTEXPR17

#define OM_CONSTEXPR17

◆ OM_NOEXCEPT

#define OM_NOEXCEPT

◆ OM_NULLPTR

#define OM_NULLPTR   0

◆ OM_STATIC_CONSTANT

#define OM_STATIC_CONSTANT   static const