summaryrefslogtreecommitdiffstats
path: root/lib/Analysis/LoopInfo.cpp
diff options
context:
space:
mode:
authorDan Gohman <gohman@apple.com>2009-12-11 20:05:23 +0000
committerDan Gohman <gohman@apple.com>2009-12-11 20:05:23 +0000
commit050959cd08db6c0efb8208271a1d64ce58893e20 (patch)
tree53ad47d72a8d218149180c46d19f401a05e78b60 /lib/Analysis/LoopInfo.cpp
parenta4f9cc4e55fa12ddff95c2e9d0091077797f0b22 (diff)
downloadexternal_llvm-050959cd08db6c0efb8208271a1d64ce58893e20.zip
external_llvm-050959cd08db6c0efb8208271a1d64ce58893e20.tar.gz
external_llvm-050959cd08db6c0efb8208271a1d64ce58893e20.tar.bz2
Make getUniqueExitBlocks's precondition assert more precise, to
avoid spurious failures. This fixes PR5758. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@91147 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/LoopInfo.cpp')
-rw-r--r--lib/Analysis/LoopInfo.cpp6
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Analysis/LoopInfo.cpp b/lib/Analysis/LoopInfo.cpp
index 4de756c..34089ee 100644
--- a/lib/Analysis/LoopInfo.cpp
+++ b/lib/Analysis/LoopInfo.cpp
@@ -316,12 +316,12 @@ bool Loop::hasDedicatedExits() const {
/// getUniqueExitBlocks - Return all unique successor blocks of this loop.
/// These are the blocks _outside of the current loop_ which are branched to.
-/// This assumes that loop is in canonical form.
+/// This assumes that loop exits are in canonical form.
///
void
Loop::getUniqueExitBlocks(SmallVectorImpl<BasicBlock *> &ExitBlocks) const {
- assert(isLoopSimplifyForm() &&
- "getUniqueExitBlocks assumes the loop is in canonical form!");
+ assert(hasDedicatedExits() &&
+ "getUniqueExitBlocks assumes the loop has canonical form exits!");
// Sort the blocks vector so that we can use binary search to do quick
// lookups.