ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
limits.h
Go to the documentation of this file.
1
2#ifdef __clang__
3
4#include_next <limits.h>
5
6#else
7
8#ifndef _LIMITS_H___
9#define _LIMITS_H___
10
11#define CHAR_BIT __CHAR_BIT__
12
13#define MB_LEN_MAX 1
14
15#define SCHAR_MIN ((-__SCHAR_MAX__) - 1)
16#define SCHAR_MAX __SCHAR_MAX__
17
18#define UCHAR_MAX (255)
19
20// Assume unsigned chars; fix in the future.
21#define CHAR_MIN 0
22#define CHAR_MAX UCHAR_MAX
23
24#define SHRT_MAX __SHRT_MAX__
25#define SHRT_MIN ((-__SHRT_MAX__) - 1)
26
27#define USHRT_MAX (SHRT_MAX * 2U + 1U)
28
29#define INT_MAX __INT_MAX__
30#define INT_MIN (-INT_MAX - 1)
31
32#define UINT_MAX (INT_MAX * 2U + 1U)
33
34#define LONG_MAX __LONG_MAX__
35#define LONG_MIN (-LONG_MAX - 1L)
36
37/* Maximum value an `unsigned long int' can hold. (Minimum is 0). */
38#define ULONG_MAX (LONG_MAX * 2UL + 1UL)
39
40#define LLONG_MAX __LONG_LONG_MAX__
41#define LLONG_MIN (-LLONG_MAX - 1LL)
42
43#define ULLONG_MAX (LLONG_MAX * 2ULL + 1ULL)
44
45#endif
46
47#endif