may_be_same_object.h File Reference

May Be Same Object. More...

#include <util/std_expr.h>
#include <unordered_set>

Include dependency graph for may_be_same_object.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
exprt	may_be_same_object (const exprt &, const exprt &, const std::unordered_set< symbol_exprt, irep_hash > &address_taken, const namespacet &)

Detailed Description

May Be Same Object.

Definition in file may_be_same_object.h.

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.