abstract_pointer_object.cpp File Reference

#include <analyses/variable-sensitivity/abstract_environment.h>
#include <analyses/variable-sensitivity/abstract_pointer_object.h>
#include <util/pointer_expr.h>
#include "abstract_object_statistics.h"

Include dependency graph for abstract_pointer_object.cpp:

Go to the source code of this file.

Functions
static bool	is_dereference (const exprt &expr)
static bool	is_typecast_from_void_ptr (const exprt &expr)

Function Documentation

is_dereference()

static bool is_dereference ( const exprt &  expr )

static

Definition at line 117 of file abstract_pointer_object.cpp.

is_typecast_from_void_ptr()

static bool is_typecast_from_void_ptr ( const exprt &  expr )

static

Definition at line 122 of file abstract_pointer_object.cpp.