diff options
| author | Florian Hahn <flo@fhahn.com> | 2025-01-17 12:52:24 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-17 12:52:24 +0000 |
| commit | 22637a877ae7fbfd5cf030400979fd4527eaebcf (patch) | |
| tree | e0857280f65e23a70eff1fc0d68eed323de8b170 /llvm/lib/IR/Value.cpp | |
| parent | 8a229f595a5c0ff354cdfa05cda974a9d56674df (diff) | |
| download | llvm-22637a877ae7fbfd5cf030400979fd4527eaebcf.zip llvm-22637a877ae7fbfd5cf030400979fd4527eaebcf.tar.gz llvm-22637a877ae7fbfd5cf030400979fd4527eaebcf.tar.bz2 | |
[Loads] Respect UseDerefAtPointSemantics in isDerefAndAlignedPointer. (#123196)
If a pointer gets freed, it may not be dereferenceable any longer, even
though there is a dominating dereferenceable assumption. As first step,
only consider assumptions if the pointer value cannot be freed if
UseDerefAtPointSemantics is used.
PR: https://github.com/llvm/llvm-project/pull/123196
Diffstat (limited to 'llvm/lib/IR/Value.cpp')
| -rw-r--r-- | llvm/lib/IR/Value.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/lib/IR/Value.cpp b/llvm/lib/IR/Value.cpp index 65b6395..eddb672 100644 --- a/llvm/lib/IR/Value.cpp +++ b/llvm/lib/IR/Value.cpp @@ -36,7 +36,7 @@ using namespace llvm; -static cl::opt<bool> UseDerefAtPointSemantics( +cl::opt<bool> UseDerefAtPointSemantics( "use-dereferenceable-at-point-semantics", cl::Hidden, cl::init(false), cl::desc("Deref attributes and metadata infer facts at definition only")); |