new.c File Reference

Go to the source code of this file.

Functions
__CPROVER_bool	__VERIFIER_nondet___CPROVER_bool (void)
void *	__new (__typeof__(sizeof(int)) malloc_size)
void *	__new_array (__CPROVER_size_t count, __CPROVER_size_t size)
void *	__placement_new (__typeof__(sizeof(int)) malloc_size, void *p)
void	__CPROVER_deallocate (void *)
void	__delete (void *ptr)
void	__delete_array (void *ptr)

Variables
const void *	__CPROVER_new_object = 0
__CPROVER_bool	__CPROVER_malloc_is_new_array = 0

Function Documentation

__CPROVER_deallocate()

void __CPROVER_deallocate

(

void *

ptr

)

Definition at line 670 of file stdlib.c.

__delete()

void __delete ( void * ptr )

inline

Definition at line 75 of file new.c.

__delete_array()

void __delete_array ( void * ptr )

inline

Definition at line 113 of file new.c.

__new()

void * __new ( __typeof__(sizeof(int)) malloc_size )

inline

Definition at line 7 of file new.c.

__new_array()

void * __new_array ( __CPROVER_size_t count, __CPROVER_size_t size )

inline

Definition at line 35 of file new.c.

__placement_new()

void * __placement_new ( __typeof__(sizeof(int)) malloc_size, void * p )

inline

Definition at line 57 of file new.c.

__VERIFIER_nondet___CPROVER_bool()

__CPROVER_bool __VERIFIER_nondet___CPROVER_bool

(

void

)

Variable Documentation

__CPROVER_malloc_is_new_array

__CPROVER_bool __CPROVER_malloc_is_new_array = 0

Definition at line 5 of file new.c.

__CPROVER_new_object

const void* __CPROVER_new_object = 0

Definition at line 4 of file new.c.