diff options
| -rw-r--r-- | lib/Checker/IdempotentOperationChecker.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Checker/IdempotentOperationChecker.cpp b/lib/Checker/IdempotentOperationChecker.cpp index 646c6aff1f..6ed18417a2 100644 --- a/lib/Checker/IdempotentOperationChecker.cpp +++ b/lib/Checker/IdempotentOperationChecker.cpp @@ -328,10 +328,10 @@ void IdempotentOperationChecker::VisitEndAnalysis(ExplodedGraph &G, case RHSis0: msg = "idempotent operation; the right operand is always 0"; break; - case Impossible: - break; case Possible: llvm_unreachable("Operation was never marked with an assumption"); + case Impossible: + llvm_unreachable(0); } // Create the SourceRange Arrays |