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 | 84ba039cf22f214942d4139c70eb764c9307b6a4 (patch) | |
| tree | fb3602dae0529540ccd24c2cfe4d449de423d744 /llvm/lib/Analysis/LoopInfo.cpp | |
| parent | 2b058ef245469d50005b44950dbc683cf12e86f7 (diff) | |
| download | bcm5719-llvm-84ba039cf22f214942d4139c70eb764c9307b6a4.tar.gz bcm5719-llvm-84ba039cf22f214942d4139c70eb764c9307b6a4.zip | |
Make getUniqueExitBlocks's precondition assert more precise, to
avoid spurious failures. This fixes PR5758.
llvm-svn: 91147
Diffstat (limited to 'llvm/lib/Analysis/LoopInfo.cpp')
| -rw-r--r-- | llvm/lib/Analysis/LoopInfo.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/llvm/lib/Analysis/LoopInfo.cpp b/llvm/lib/Analysis/LoopInfo.cpp index 4de756c41b0..34089ee59c4 100644 --- a/llvm/lib/Analysis/LoopInfo.cpp +++ b/llvm/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. |
