symex_valid_object.cpp File Reference

#include <goto-symex/engine/dynamic_allocation.h>
#include <goto-symex/engine/goto_symex.h>
#include <util/irep/std_expr.h>

Include dependency graph for symex_valid_object.cpp:

Functions
static const expr2tc *	get_object (const expr2tc &expr)

Function Documentation

get_object()

const expr2tc * get_object ( const expr2tc & expr )

static