]> granicus.if.org Git - llvm/commitdiff
[MemorySSA] Disable checkClobberSanity for SkipSelfWalker.
authorAlina Sbirlea <asbirlea@google.com>
Thu, 10 Jan 2019 21:47:15 +0000 (21:47 +0000)
committerAlina Sbirlea <asbirlea@google.com>
Thu, 10 Jan 2019 21:47:15 +0000 (21:47 +0000)
Sanity will fail for this, since we're exploring getting a clobber
further than the sanity check expects.
Ideally we need to teach the sanity check to differentiate between the
two walkers based on the SkipSelf bool in the query.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@350895 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/MemorySSA.cpp

index e471ec7c08c313d44c799bcfa1f3dbf45dab6e41..6a5567ed765bb2ed3cfd8c5791d5354ab5589bee 100644 (file)
@@ -918,7 +918,8 @@ public:
     }
 
 #ifdef EXPENSIVE_CHECKS
-    checkClobberSanity(Current, Result, Q.StartingLoc, MSSA, Q, AA);
+    if (!Q.SkipSelfAccess)
+      checkClobberSanity(Current, Result, Q.StartingLoc, MSSA, Q, AA);
 #endif
     return Result;
   }