cprover
cprover.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: C library check
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_ANSI_C_LIBRARY_CPROVER_H
10 #define CPROVER_ANSI_C_LIBRARY_CPROVER_H
11 
15 
16 // NOLINTNEXTLINE(readability/identifiers)
17 typedef __typeof__(sizeof(int)) __CPROVER_size_t;
18 // NOLINTNEXTLINE(readability/identifiers)
19 typedef signed long long __CPROVER_ssize_t;
20 
21 void *__CPROVER_allocate(__CPROVER_size_t size, __CPROVER_bool zero);
22 extern const void *__CPROVER_deallocated;
23 extern const void *__CPROVER_new_object;
24 extern __CPROVER_bool __CPROVER_malloc_is_new_array;
25 extern const void *__CPROVER_memory_leak;
26 
28 extern __CPROVER_size_t __CPROVER_max_malloc_size;
29 extern __CPROVER_bool __CPROVER_malloc_may_fail;
30 
31 // malloc failure modes
34 
36  _Bool widowed;
37  char data[4];
38  short next_avail;
39  short next_unread;
40 };
41 
42 #include "../cprover_builtin_headers.h"
43 
44 #endif // CPROVER_ANSI_C_LIBRARY_CPROVER_H
void * __CPROVER_allocate(__CPROVER_size_t size, __CPROVER_bool zero)
int __CPROVER_malloc_failure_mode
int __CPROVER_malloc_failure_mode_return_null
typedef __typeof__(sizeof(int)) __CPROVER_size_t
const void * __CPROVER_deallocated
const void * __CPROVER_new_object
__CPROVER_size_t __CPROVER_max_malloc_size
const void * __CPROVER_memory_leak
__CPROVER_bool __CPROVER_malloc_is_new_array
__CPROVER_bool __CPROVER_malloc_may_fail
int __CPROVER_malloc_failure_mode_assert_then_assume
signed long long __CPROVER_ssize_t
Definition: cprover.h:19
short next_unread
Definition: cprover.h:39
short next_avail
Definition: cprover.h:38
_Bool widowed
Definition: cprover.h:36
Definition: kdev_t.h:24