diff options
author | Nick Lewycky <nicholas@mxc.ca> | 2012-02-25 10:56:28 +0000 |
---|---|---|
committer | Nick Lewycky <nicholas@mxc.ca> | 2012-02-25 10:56:28 +0000 |
commit | 55f4ab84e567ac101d70f052771d1bc67a7560e3 (patch) | |
tree | 0610507366cd0c856c8ba20cf26e1d6d5975c3b1 /include | |
parent | 1d05c215dd107f32cf0f6bf27a54773006a6cbea (diff) | |
download | llvm-55f4ab84e567ac101d70f052771d1bc67a7560e3.tar.gz llvm-55f4ab84e567ac101d70f052771d1bc67a7560e3.tar.bz2 llvm-55f4ab84e567ac101d70f052771d1bc67a7560e3.tar.xz |
Move isKnownNonNull from private implementation detail of BasicAA to a public
function that others can use, next to llvm::isIdentifiedObject.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@151446 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include')
-rw-r--r-- | include/llvm/Analysis/AliasAnalysis.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/include/llvm/Analysis/AliasAnalysis.h b/include/llvm/Analysis/AliasAnalysis.h index 7c9bdd973c..b823f71a22 100644 --- a/include/llvm/Analysis/AliasAnalysis.h +++ b/include/llvm/Analysis/AliasAnalysis.h @@ -568,6 +568,11 @@ bool isNoAliasCall(const Value *V); /// bool isIdentifiedObject(const Value *V); +/// isKnownNonNull - Return true if this pointer couldn't possibly be null by +/// its definition. This returns true for allocas, non-extern-weak globals and +/// byval arguments. +bool isKnownNonNull(const Value *V); + } // End llvm namespace #endif |