This file declares a special form of Alias Analysis called ``Provenance Analysis''. More...
|This is similar to BasicAliasAnalysis, and it uses many of the same techniques, except it uses special ObjC-specific reasoning about pointer relationships. More...|
Compute iterated dominance frontiers using a linear time algorithm.
This file declares a special form of Alias Analysis called ``Provenance Analysis''.
The word ``provenance'' refers to the history of the ownership of an object. Thus ``Provenance Analysis'' is an analysis which attempts to use various techniques to determine if locally
WARNING: This file knows about certain library functions. It recognizes them by name, and hardwires knowledge of their semantics.
WARNING: This file knows about how certain Objective-C library functions are used. Naive LLVM IR transformations which would otherwise be behavior-preserving may break these assumptions.
Definition in file ProvenanceAnalysis.h.