aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--include/clang/Checker/PathSensitive/MemRegion.h3
1 files changed, 1 insertions, 2 deletions
diff --git a/include/clang/Checker/PathSensitive/MemRegion.h b/include/clang/Checker/PathSensitive/MemRegion.h
index 5c962ddd24..b14c873eed 100644
--- a/include/clang/Checker/PathSensitive/MemRegion.h
+++ b/include/clang/Checker/PathSensitive/MemRegion.h
@@ -295,8 +295,7 @@ public:
/// Compute the offset within the top level memory object.
virtual RegionOffset getAsOffset() const {
- assert(0 && "unimplemented");
- return RegionOffset(NULL);
+ llvm_unreachable("unimplemented");
}
MemRegionManager* getMemRegionManager() const;