diff options
Diffstat (limited to 'docs/AliasAnalysis.html')
| -rw-r--r-- | docs/AliasAnalysis.html | 22 |
1 files changed, 1 insertions, 21 deletions
diff --git a/docs/AliasAnalysis.html b/docs/AliasAnalysis.html index a89903d2af..ebf6386898 100644 --- a/docs/AliasAnalysis.html +++ b/docs/AliasAnalysis.html @@ -225,12 +225,7 @@ method for testing dependencies between function calls. This method takes two call sites (CS1 & CS2), returns NoModRef if the two calls refer to disjoint memory locations, Ref if CS1 reads memory written by CS2, Mod if CS1 writes to memory read or written by CS2, or ModRef if CS1 might read or write memory -accessed by CS2. Note that this relation is not commutative. Clients that use -this method should be predicated on the <tt>hasNoModRefInfoForCalls()</tt> -method, which indicates whether or not an analysis can provide mod/ref -information for function call pairs (most can not). If this predicate is false, -the client shouldn't waste analysis time querying the <tt>getModRefInfo</tt> -method many times.</p> +accessed by CS2. Note that this relation is not commutative.</p> </div> @@ -251,21 +246,6 @@ analysis implementations and can be put to good use by various clients. <!-- _______________________________________________________________________ --> <div class="doc_subsubsection"> - The <tt>getMustAliases</tt> method -</div> - -<div class="doc_text"> - -<p>The <tt>getMustAliases</tt> method returns all values that are known to -always must alias a pointer. This information can be provided in some cases for -important objects like the null pointer and global values. Knowing that a -pointer always points to a particular function allows indirect calls to be -turned into direct calls, for example.</p> - -</div> - -<!-- _______________________________________________________________________ --> -<div class="doc_subsubsection"> The <tt>pointsToConstantMemory</tt> method </div> |