global_may_alias.cpp File Reference

Field-insensitive, location-sensitive global may alias analysis. More...

#include "global_may_alias.h"
#include <util/pointer_expr.h>

Include dependency graph for global_may_alias.cpp:

Go to the source code of this file.

Detailed Description

Field-insensitive, location-sensitive global may alias analysis.

Definition in file global_may_alias.cpp.