diff options
| -rw-r--r-- | lib/Checker/FlatStore.cpp | 4 |
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); } } |