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

Go to the source code of this file.

Macros

#define CHAR_BIT   __CHAR_BIT__
#define MB_LEN_MAX   1
#define SCHAR_MIN   ((-__SCHAR_MAX__) - 1)
#define SCHAR_MAX   __SCHAR_MAX__
#define UCHAR_MAX   (255)
#define CHAR_MIN   0
#define CHAR_MAX   UCHAR_MAX
#define SHRT_MAX   __SHRT_MAX__
#define SHRT_MIN   ((-__SHRT_MAX__) - 1)
#define USHRT_MAX   (SHRT_MAX * 2U + 1U)
#define INT_MAX   __INT_MAX__
#define INT_MIN   (-INT_MAX - 1)
#define UINT_MAX   (INT_MAX * 2U + 1U)
#define LONG_MAX   __LONG_MAX__
#define LONG_MIN   (-LONG_MAX - 1L)
#define ULONG_MAX   (LONG_MAX * 2UL + 1UL)
#define LLONG_MAX   __LONG_LONG_MAX__
#define LLONG_MIN   (-LLONG_MAX - 1LL)
#define ULLONG_MAX   (LLONG_MAX * 2ULL + 1ULL)

Macro Definition Documentation

◆ CHAR_BIT

#define CHAR_BIT   __CHAR_BIT__

◆ CHAR_MAX

#define CHAR_MAX   UCHAR_MAX

◆ CHAR_MIN

#define CHAR_MIN   0

◆ INT_MAX

#define INT_MAX   __INT_MAX__

◆ INT_MIN

#define INT_MIN   (-INT_MAX - 1)

◆ LLONG_MAX

#define LLONG_MAX   __LONG_LONG_MAX__

◆ LLONG_MIN

#define LLONG_MIN   (-LLONG_MAX - 1LL)

◆ LONG_MAX

#define LONG_MAX   __LONG_MAX__

◆ LONG_MIN

#define LONG_MIN   (-LONG_MAX - 1L)

◆ MB_LEN_MAX

#define MB_LEN_MAX   1

◆ SCHAR_MAX

#define SCHAR_MAX   __SCHAR_MAX__

◆ SCHAR_MIN

#define SCHAR_MIN   ((-__SCHAR_MAX__) - 1)

◆ SHRT_MAX

#define SHRT_MAX   __SHRT_MAX__

◆ SHRT_MIN

#define SHRT_MIN   ((-__SHRT_MAX__) - 1)

◆ UCHAR_MAX

#define UCHAR_MAX   (255)

◆ UINT_MAX

#define UINT_MAX   (INT_MAX * 2U + 1U)

◆ ULLONG_MAX

#define ULLONG_MAX   (LLONG_MAX * 2ULL + 1ULL)

◆ ULONG_MAX

#define ULONG_MAX   (LONG_MAX * 2UL + 1UL)

◆ USHRT_MAX

#define USHRT_MAX   (SHRT_MAX * 2U + 1U)