diff options
| author | David Goldblatt <davidgoldblatt@fb.com> | 2022-12-15 19:33:10 -0800 |
|---|---|---|
| committer | Wenlei He <aktoon@gmail.com> | 2022-12-15 21:04:38 -0800 |
| commit | 02988fce76d8a95e2bc33e80b581c3b0b2c92755 (patch) | |
| tree | 8e49de3c5b99f557ae3f6e27ecc8421f053c2673 /llvm/lib/Analysis/BasicAliasAnalysis.cpp | |
| parent | b6772e6e2045ab491b41d3767f788250800f97ea (diff) | |
| download | llvm-02988fce76d8a95e2bc33e80b581c3b0b2c92755.zip llvm-02988fce76d8a95e2bc33e80b581c3b0b2c92755.tar.gz llvm-02988fce76d8a95e2bc33e80b581c3b0b2c92755.tar.bz2 | |
[AA] Allow for flow-sensitive analyses.
All current analyses ignore the context. We make the argument mandatory
for analyses, but optional for the query interface.
Reviewed By: nikic
Differential Revision: https://reviews.llvm.org/D136512
Diffstat (limited to 'llvm/lib/Analysis/BasicAliasAnalysis.cpp')
| -rw-r--r-- | llvm/lib/Analysis/BasicAliasAnalysis.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/llvm/lib/Analysis/BasicAliasAnalysis.cpp b/llvm/lib/Analysis/BasicAliasAnalysis.cpp index f7b0edd..03774b7 100644 --- a/llvm/lib/Analysis/BasicAliasAnalysis.cpp +++ b/llvm/lib/Analysis/BasicAliasAnalysis.cpp @@ -823,8 +823,8 @@ static bool notDifferentParent(const Value *O1, const Value *O2) { #endif AliasResult BasicAAResult::alias(const MemoryLocation &LocA, - const MemoryLocation &LocB, - AAQueryInfo &AAQI) { + const MemoryLocation &LocB, AAQueryInfo &AAQI, + const Instruction *) { assert(notDifferentParent(LocA.Ptr, LocB.Ptr) && "BasicAliasAnalysis doesn't support interprocedural queries."); return aliasCheck(LocA.Ptr, LocA.Size, LocB.Ptr, LocB.Size, AAQI); |