|
LLVM
4.0.0
|
This is similar to BasicAliasAnalysis, and it uses many of the same techniques, except it uses special ObjC-specific reasoning about pointer relationships. More...
#include <ProvenanceAnalysis.h>
Public Member Functions | |
| ProvenanceAnalysis () | |
| void | setAA (AliasAnalysis *aa) |
| AliasAnalysis * | getAA () const |
| bool | related (const Value *A, const Value *B, const DataLayout &DL) |
| void | clear () |
This is similar to BasicAliasAnalysis, and it uses many of the same techniques, except it uses special ObjC-specific reasoning about pointer relationships.
In this context Provenance'' is defined as the history of an object's ownership. ThusProvenance Analysis'' is defined by using the notion of an ``independent provenance source'' of a pointer to determine whether or not two pointers have the same provenance source and thus could potentially be related.
Definition at line 50 of file ProvenanceAnalysis.h.
|
inline |
Definition at line 65 of file ProvenanceAnalysis.h.
|
inline |
Definition at line 73 of file ProvenanceAnalysis.h.
References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::clear().
|
inline |
Definition at line 69 of file ProvenanceAnalysis.h.
Referenced by llvm::objcarc::CanAlterRefCount(), and llvm::objcarc::CanUse().
Definition at line 163 of file ProvenanceAnalysis.cpp.
References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::insert(), and std::swap().
Referenced by llvm::objcarc::CanAlterRefCount(), and llvm::objcarc::CanUse().
|
inline |
Definition at line 67 of file ProvenanceAnalysis.h.
References aa.
1.8.6