commit 3c10eaa3db0bc317e7df61e0022ac12132e038ba
author Alina Sbirlea <asbirlea@google.com> Thu Jan 10 21:47:15 2019 +0000
committer Alina Sbirlea <asbirlea@google.com> Thu Jan 10 21:47:15 2019 +0000
tree 28693cb086bed7c0e8bf5fff33383e803292102f
parent 6c01c2ddf4071df7fdf887a5026f168cb7709dc7

[MemorySSA] Disable checkClobberSanity for SkipSelfWalker.

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

diff --git a/lib/Analysis/MemorySSA.cpp b/lib/Analysis/MemorySSA.cpp
index e471ec7..6a5567e 100644
--- a/lib/Analysis/MemorySSA.cpp
+++ b/lib/Analysis/MemorySSA.cpp
@@ -918,7 +918,8 @@
     }
 
 #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;
   }