summaryrefslogtreecommitdiffstats
path: root/clang/lib
diff options
context:
space:
mode:
Diffstat (limited to 'clang/lib')
-rw-r--r--clang/lib/Checker/FlatStore.cpp4
1 files changed, 3 insertions, 1 deletions
diff --git a/clang/lib/Checker/FlatStore.cpp b/clang/lib/Checker/FlatStore.cpp
index fcb95f9385c..dac66def5dc 100644
--- a/clang/lib/Checker/FlatStore.cpp
+++ b/clang/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);
}
}
OpenPOWER on IntegriCloud