From 3c10eaa3db0bc317e7df61e0022ac12132e038ba Mon Sep 17 00:00:00 2001 From: Alina Sbirlea Date: Thu, 10 Jan 2019 21:47:15 +0000 Subject: [PATCH] [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 | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lib/Analysis/MemorySSA.cpp b/lib/Analysis/MemorySSA.cpp index e471ec7c08c..6a5567ed765 100644 --- a/lib/Analysis/MemorySSA.cpp +++ b/lib/Analysis/MemorySSA.cpp @@ -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; } -- 2.50.1