cprover
Loading...
Searching...
No Matches
cprover.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: C library check
4
5Author: 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)
17typedef __typeof__(sizeof(int)) __CPROVER_size_t;
18// NOLINTNEXTLINE(readability/identifiers)
19typedef signed long long __CPROVER_ssize_t;
20
21void *__CPROVER_allocate(__CPROVER_size_t size, __CPROVER_bool zero);
22extern const void *__CPROVER_deallocated;
23extern const void *__CPROVER_new_object;
24extern __CPROVER_bool __CPROVER_malloc_is_new_array;
25extern const void *__CPROVER_memory_leak;
26
28extern __CPROVER_size_t __CPROVER_max_malloc_size;
29extern __CPROVER_bool __CPROVER_malloc_may_fail;
30
31// malloc failure modes
34
36 _Bool widowed;
37 char data[4];
40};
41
42#include "../cprover_builtin_headers.h"
43
44#endif // CPROVER_ANSI_C_LIBRARY_CPROVER_H
int __CPROVER_malloc_failure_mode
int __CPROVER_malloc_failure_mode_return_null
typedef __typeof__(sizeof(int)) __CPROVER_size_t
void * __CPROVER_allocate(__CPROVER_size_t size, __CPROVER_bool zero)
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