diff options
Diffstat (limited to 'llvm/lib/Analysis/LoopAccessAnalysis.cpp')
| -rw-r--r-- | llvm/lib/Analysis/LoopAccessAnalysis.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/LoopAccessAnalysis.cpp b/llvm/lib/Analysis/LoopAccessAnalysis.cpp index ab407e9..2a322a6 100644 --- a/llvm/lib/Analysis/LoopAccessAnalysis.cpp +++ b/llvm/lib/Analysis/LoopAccessAnalysis.cpp @@ -1325,6 +1325,8 @@ bool AccessAnalysis::canCheckPtrAtRT( RtCheck.Need = CanDoRT ? RtCheck.getNumberOfChecks() != 0 : MayNeedRTCheck; bool CanDoRTIfNeeded = !RtCheck.Need || CanDoRT; + assert(CanDoRTIfNeeded == (CanDoRT || !MayNeedRTCheck) && + "CanDoRTIfNeeded depends on RtCheck.Need"); if (!CanDoRTIfNeeded) RtCheck.reset(); return CanDoRTIfNeeded; |