diff options
| author | Hal Finkel <hfinkel@anl.gov> | 2014-07-18 15:51:28 +0000 |
|---|---|---|
| committer | Hal Finkel <hfinkel@anl.gov> | 2014-07-18 15:51:28 +0000 |
| commit | b0407ba0716d940d035f5da73f6d3bfbaffecb44 (patch) | |
| tree | 0fb08700ec2601986a9f5195a9d57fb6e0b48444 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | 9cf7ac75893c9f83099ce59dd4fd5d1ba7ead25a (diff) | |
| download | llvm-b0407ba0716d940d035f5da73f6d3bfbaffecb44.zip llvm-b0407ba0716d940d035f5da73f6d3bfbaffecb44.tar.gz llvm-b0407ba0716d940d035f5da73f6d3bfbaffecb44.tar.bz2 | |
Add a dereferenceable attribute
This attribute indicates that the parameter or return pointer is
dereferenceable. Practically speaking, loads from such a pointer within the
associated byte range are safe to speculatively execute. Such pointer
parameters are common in source languages (C++ references, for example).
llvm-svn: 213385
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index cedf076..e6d09f4 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -2086,7 +2086,7 @@ bool llvm::isKnownNonNull(const Value *V, const TargetLibraryInfo *TLI) { return !GV->hasExternalWeakLinkage(); if (ImmutableCallSite CS = V) - if (CS.paramHasAttr(0, Attribute::NonNull)) + if (CS.isReturnNonNull()) return true; // operator new never returns null. |