[llvm] ab513fe - [Attributor] Ensure call sites with missing callees are tracked

[Johannes Doerfert via llvm-commits]

Author: Johannes Doerfert
Date: 2023-07-09T19:25:09-07:00
New Revision: ab513fe63b5f9f36d070fe23745702cc7879c896

URL: https://github.com/llvm/llvm-project/commit/ab513fe63b5f9f36d070fe23745702cc7879c896
DIFF: https://github.com/llvm/llvm-project/commit/ab513fe63b5f9f36d070fe23745702cc7879c896.diff

LOG: [Attributor] Ensure call sites with missing callees are tracked

Added: 
    

Modified: 
    llvm/lib/Transforms/IPO/AttributorAttributes.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Transforms/IPO/AttributorAttributes.cpp b/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
index 6c4291f6282bc7..77539632c6a804 100644
--- a/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
+++ b/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
@@ -8920,8 +8920,11 @@ AAMemoryLocationImpl::categorizeAccessedLocations(Attributor &A, Instruction &I,
         *this, IRPosition::callsite_function(*CB), DepClassTy::OPTIONAL);
     LLVM_DEBUG(dbgs() << "[AAMemoryLocation] Categorize call site: " << I
                       << " [" << CBMemLocationAA << "]\n");
-    if (!CBMemLocationAA)
+    if (!CBMemLocationAA) {
+      updateStateAndAccessesMap(AccessedLocs, NO_UNKOWN_MEM, &I, nullptr,
+                                Changed, getAccessKindFromInst(&I));
       return NO_UNKOWN_MEM;
+    }
 
     if (CBMemLocationAA->isAssumedReadNone())
       return NO_LOCATIONS;