diff options
| author | David Blaikie <dblaikie@gmail.com> | 2011-09-23 05:06:16 +0000 |
|---|---|---|
| committer | David Blaikie <dblaikie@gmail.com> | 2011-09-23 05:06:16 +0000 |
| commit | b219cfc4d75f0a03630b7c4509ef791b7e97b2c8 (patch) | |
| tree | 2b708dc00bedcc6a6204d29c915ac7fce8fb028f /lib/StaticAnalyzer/Core/CoreEngine.cpp | |
| parent | c535d9730e11ca335790359bfbd4600be71c5410 (diff) | |
Switch assert(0/false) llvm_unreachable.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@140367 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/CoreEngine.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/CoreEngine.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/StaticAnalyzer/Core/CoreEngine.cpp b/lib/StaticAnalyzer/Core/CoreEngine.cpp index 06c3af1c0a..6a860428d6 100644 --- a/lib/StaticAnalyzer/Core/CoreEngine.cpp +++ b/lib/StaticAnalyzer/Core/CoreEngine.cpp @@ -326,7 +326,7 @@ void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) { if (const Stmt *Term = B->getTerminator()) { switch (Term->getStmtClass()) { default: - assert(false && "Analysis for this terminator not implemented."); + llvm_unreachable("Analysis for this terminator not implemented."); break; case Stmt::BinaryOperatorClass: // '&&' and '||' @@ -547,7 +547,7 @@ static ProgramPoint GetProgramPoint(const Stmt *S, ProgramPoint::Kind K, const ProgramPointTag *tag){ switch (K) { default: - assert(false && "Unhandled ProgramPoint kind"); + llvm_unreachable("Unhandled ProgramPoint kind"); case ProgramPoint::PreStmtKind: return PreStmt(S, LC, tag); case ProgramPoint::PostStmtKind: |