LLVM  6.0.0svn
Classes | Namespaces
ProvenanceAnalysis.h File Reference

This file declares a special form of Alias Analysis called ``Provenance Analysis''. More...

#include "llvm/ADT/DenseMap.h"
#include "llvm/Analysis/AliasAnalysis.h"
Include dependency graph for ProvenanceAnalysis.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  llvm::objcarc::ProvenanceAnalysis
 This is similar to BasicAliasAnalysis, and it uses many of the same techniques, except it uses special ObjC-specific reasoning about pointer relationships. More...
 

Namespaces

 llvm
 Compute iterated dominance frontiers using a linear time algorithm.
 
 llvm::objcarc
 

Detailed Description

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. ThusProvenance 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.