Loading...

Searching...

No Matches

may_be_same_object.cpp File Reference

May Be Same Object. More...

#include "may_be_same_object.h"
#include <util/pointer_expr.h>
#include <util/pointer_predicates.h>
#include "may_alias.h"

+ Include dependency graph for may_be_same_object.cpp:

Functions

Detailed Description

May Be Same Object.

exprt may_be_same_object ( const exprt & a,

const exprt & b,

const std::unordered_set< symbol_exprt, irep_hash > & address_taken,

const namespacet & ns

)

Definition at line 29 of file may_be_same_object.cpp.

exprt strip_member_element ( const exprt & src )

Definition at line 19 of file may_be_same_object.cpp.