diff --git a/llvm/lib/Transforms/IPO/AttributorAttributes.cpp b/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
--- a/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
+++ b/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
@@ -1499,7 +1499,8 @@
         Follow = true;
         return true;
       }
-      if (isa<ReturnInst>(UserI))
+      if (isa<LoadInst>(UserI) || isa<StoreInst>(UserI) ||
+          isa<ReturnInst>(UserI))
         return true;
 
       // Unknown user.