aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Dunbar <daniel@zuster.org>2010-02-08 20:24:21 +0000
committerDaniel Dunbar <daniel@zuster.org>2010-02-08 20:24:21 +0000
commit135da71b4c321203b795e6d7106e76b0dc632d98 (patch)
tree26efe229ab5446ef7a8b09412babd39885181b2c
parent35911ce76bed5fa64dcc368cbd81f6ec7b71aa75 (diff)
Fix -Asserts warning.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95563 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--lib/Checker/FlatStore.cpp4
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/Checker/FlatStore.cpp b/lib/Checker/FlatStore.cpp
index fcb95f9385..dac66def5d 100644
--- a/lib/Checker/FlatStore.cpp
+++ b/lib/Checker/FlatStore.cpp
@@ -9,6 +9,7 @@
#include "clang/Checker/PathSensitive/GRState.h"
#include "llvm/ADT/ImmutableIntervalMap.h"
+#include "llvm/Support/ErrorHandling.h"
using namespace clang;
using llvm::Interval;
@@ -159,6 +160,7 @@ Interval FlatStoreManager::RegionToInterval(const MemRegion *R) {
return Interval(0, Size-1);
}
default:
- assert(0 && "Region kind unhandled.");
+ llvm_unreachable("Region kind unhandled.");
+ return Interval(0, 0);
}
}