diff options
author | Dan Gohman <gohman@apple.com> | 2009-12-11 20:05:23 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2009-12-11 20:05:23 +0000 |
commit | 050959cd08db6c0efb8208271a1d64ce58893e20 (patch) | |
tree | 53ad47d72a8d218149180c46d19f401a05e78b60 /lib/Analysis/LoopInfo.cpp | |
parent | a4f9cc4e55fa12ddff95c2e9d0091077797f0b22 (diff) | |
download | external_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.cpp | 6 |
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. |