diff options
Diffstat (limited to 'lib/Checker/UnreachableCodeChecker.cpp')
| -rw-r--r-- | lib/Checker/UnreachableCodeChecker.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/Checker/UnreachableCodeChecker.cpp b/lib/Checker/UnreachableCodeChecker.cpp index fd98a7a75d..7a56c7f46b 100644 --- a/lib/Checker/UnreachableCodeChecker.cpp +++ b/lib/Checker/UnreachableCodeChecker.cpp @@ -188,8 +188,11 @@ const Stmt *UnreachableCodeChecker::getUnreachableStmt(const CFGBlock *CB) { // There will never be more than one predecessor. bool UnreachableCodeChecker::isInvalidPath(const CFGBlock *CB, const ParentMap &PM) { - // Assert this CFGBlock only has one or zero predecessors - assert(CB->pred_size() == 0 || CB->pred_size() == 1); + // We only expect a predecessor size of 0 or 1. If it is >1, then an external + // condition has broken our assumption (for example, a sink being placed by + // another check). In these cases, we choose not to report. + if (CB->pred_size() > 1) + return true; // If there are no predecessors, then this block is trivially unreachable if (CB->pred_size() == 0) |