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
src
c2goto
headers
limits.h
Generated by
1.15.0