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:

Go to the source code of this file.

Functions
exprt	strip_member_element (const exprt &src)
exprt	may_be_same_object (const exprt &a, const exprt &b, const std::unordered_set< symbol_exprt, irep_hash > &address_taken, const namespacet &ns)

Detailed Description

May Be Same Object.

Definition in file may_be_same_object.cpp.

Function Documentation

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.

strip_member_element()

exprt strip_member_element

(

const exprt &

src

)

Definition at line 19 of file may_be_same_object.cpp.