goto_program_dereference.cpp File Reference

#include <pointer-analysis/goto_program_dereference.h>
#include <util/expr/base_type.h>
#include <irep2/irep2.h>
#include <util/irep/migrate.h>
#include <util/base/prefix.h>
#include <util/irep/std_code.h>

Include dependency graph for goto_program_dereference.cpp:

Functions
void	dereference (goto_programt::const_targett target, expr2tc &expr, const namespacet &ns, value_setst &value_sets)

Function Documentation

dereference()

void dereference	(	goto_programt::const_targett	target,
		expr2tc &	expr,
		const namespacet &	ns,
		value_setst &	value_sets )