dynamic_allocation.cpp File Reference

#include <cassert>
#include <goto-symex/engine/dynamic_allocation.h>
#include <goto-symex/engine/goto_symex.h>
#include <util/lang/c_types.h>
#include <util/symtab/base_subobject.h>
#include <util/symtab/cprover_prefix.h>
#include <util/expr/expr_util.h>
#include <irep2/irep2.h>
#include <util/irep/std_expr.h>
#include <string>

Include dependency graph for dynamic_allocation.cpp:

Functions
static bool	build_nested_member_access (const expr2tc &source, const irep_idt &member, const type2tc &result_type, const namespacet &ns, expr2tc &out)
static void	convert_capability_member (expr2tc &expr, const expr2tc &value, const irep_idt &field_name, const namespacet &ns)

Function Documentation

build_nested_member_access()

bool build_nested_member_access ( const expr2tc & source, const irep_idt & member, const type2tc & result_type, const namespacet & ns, expr2tc & out )

static

convert_capability_member()

void convert_capability_member ( expr2tc & expr, const expr2tc & value, const irep_idt & field_name, const namespacet & ns )

inlinestatic