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 | 83d382b1cad133cb163a68dd7149fae2802275e1 (patch) | |
| tree | 20f63870b2fa8c4a5b49076275bc8b60224f0edc /clang/lib/StaticAnalyzer/Core/CoreEngine.cpp | |
| parent | 42fe6bd5f230d4c88377e24ace7a226c178dd2b4 (diff) | |
| download | bcm5719-llvm-83d382b1cad133cb163a68dd7149fae2802275e1.tar.gz bcm5719-llvm-83d382b1cad133cb163a68dd7149fae2802275e1.zip | |
Switch assert(0/false) llvm_unreachable.
llvm-svn: 140367
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/CoreEngine.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/CoreEngine.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp b/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp index 06c3af1c0ae..6a860428d64 100644 --- a/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp +++ b/clang/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: |
