cprover
|
#include "allocate_objects.h"
#include "arith_tools.h"
#include "c_types.h"
#include "fresh_symbol.h"
#include "pointer_offset_size.h"
#include "string_constant.h"
Go to the source code of this file.
Functions | |
code_assignt | make_allocate_code (const symbol_exprt &lhs, const exprt &size) |
Create code allocating an object of size size and assigning it to lhs More... | |
code_assignt make_allocate_code | ( | const symbol_exprt & | lhs, |
const exprt & | size | ||
) |
Create code allocating an object of size size
and assigning it to lhs
lhs | pointer which will be allocated |
size | size of the object |
lhs
Definition at line 255 of file allocate_objects.cpp.