diff options
author | Owen Anderson <resistor@mac.com> | 2008-06-01 20:51:41 +0000 |
---|---|---|
committer | Owen Anderson <resistor@mac.com> | 2008-06-01 20:51:41 +0000 |
commit | d8f34fa3d616a99e90ac9111fdc60b7b4ec0aae9 (patch) | |
tree | 0bbcb359f6dd973a7e5576ecad9674a18a494b27 /lib/Analysis/MemoryDependenceAnalysis.cpp | |
parent | 80b74b43487761e4bf3a48a21862b87a43a284d9 (diff) |
Make ping more aggressive in finding nonlocal caching errors.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51845 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/MemoryDependenceAnalysis.cpp')
-rw-r--r-- | lib/Analysis/MemoryDependenceAnalysis.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/Analysis/MemoryDependenceAnalysis.cpp b/lib/Analysis/MemoryDependenceAnalysis.cpp index 7a6633f8fe..6489892df1 100644 --- a/lib/Analysis/MemoryDependenceAnalysis.cpp +++ b/lib/Analysis/MemoryDependenceAnalysis.cpp @@ -58,6 +58,9 @@ void MemoryDependenceAnalysis::ping(Instruction *D) { for (nonLocalDepMapType::iterator I = depGraphNonLocal.begin(), E = depGraphNonLocal.end(); I != E; ++I) { assert(I->first != D); + for (DenseMap<BasicBlock*, Value*>::iterator II = I->second.begin(), + EE = I->second.end(); II != EE; ++II) + assert(II->second != D); } for (reverseDepMapType::iterator I = reverseDep.begin(), E = reverseDep.end(); |