ManagerNoAddressOf.cpp File Reference

The AnnotationManager that generates EquivSets by putting all local varials that don't have their address taken into their own equivalence set and by putting all other memory references into one equivalence set. More...

#include "ManagerNoAddressOf.hpp"

Include dependency graph for ManagerNoAddressOf.cpp:

Go to the source code of this file.

Namespaces
namespace	OA
	Namespace for the whole OpenAnalysis Toolkit.
namespace	OA::Alias
	Namespace for all Alias Analysis interfaces and implementations.

---

Detailed Description

The AnnotationManager that generates EquivSets by putting all local varials that don't have their address taken into their own equivalence set and by putting all other memory references into one equivalence set.

Authors:

Michelle Strout

Version:

Id

ManagerNoAddressOf.cpp,v 1.19 2005/03/17 21:47:45 mstrout Exp

Copyright (c) 2002-2005, Rice University
Copyright (c) 2004-2005, University of Chicago
Copyright (c) 2006, Contributors
All rights reserved.
See ../../../Copyright.txt for details.

Definition in file ManagerNoAddressOf.cpp.