ManagerSymAliasSetsTop.hpp File Reference

Declarations of the AnnotationManager that generates an SymAliasSet that is optimistic, each non-local and reference param is in its own set. More...

#include "SymAliasSets.hpp"
#include <OpenAnalysis/IRInterface/AliasIRInterface.hpp>

Include dependency graph for ManagerSymAliasSetsTop.hpp:

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

Go to the source code of this file.

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

---

Detailed Description

Declarations of the AnnotationManager that generates an SymAliasSet that is optimistic, each non-local and reference param is in its own set.

NOTE: deprecated!! No longer being compiled. 6/2/06, Removed ManagerInsNoPtrInterAliasMap because it is no longer valid. It used the CallGraph data-flow analysis framework and dependended on the isRefParam() call, which has been deprecated.

Authors:

Michelle Strout

Version:

Id

ManagerSymAliasSetsTop.hpp,v 1.2 2005/06/10 02:32:03 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 ManagerSymAliasSetsTop.hpp.