memory_alloc.cpp File Reference

#include <cassert>
#include <goto-programs/destructor.h>
#include <goto-symex/engine/goto_symex.h>
#include <string>
#include <util/arith/arith_tools.h>
#include <util/lang/c_types.h>
#include <util/expr/expr_util.h>
#include <util/base/i2string.h>
#include <irep2/irep2.h>
#include <util/irep/migrate.h>
#include <util/irep/std_types.h>
#include <util/expr/type_byte_size.h>
#include <util/symtab/base_subobject.h>
#include <utility>
#include <vector>
#include <algorithm>

Include dependency graph for memory_alloc.cpp:

Functions
static void	collect_base_subobject_offsets (const type2tc &t, const namespacet &ns, const BigInt &base, std::vector< std::pair< BigInt, type2tc > > &out)
static bool	base_has_virtual_destructor (const type2tc &t, const namespacet &ns)

Function Documentation

base_has_virtual_destructor()

bool base_has_virtual_destructor ( const type2tc & t, const namespacet & ns )

static

collect_base_subobject_offsets()

void collect_base_subobject_offsets ( const type2tc & t, const namespacet & ns, const BigInt & base, std::vector< std::pair< BigInt, type2tc > > & out )

static