1 files changed, 3 insertions, 0 deletions
diff --git a/lib/Checker/VLASizeChecker.cpp b/lib/Checker/VLASizeChecker.cpp
index dfb606b8b8..b25843c45b 100644
--- a/lib/Checker/VLASizeChecker.cpp
+++ b/lib/Checker/VLASizeChecker.cpp
@@ -121,6 +121,9 @@ void VLASizeChecker::PreVisitDeclStmt(CheckerContext &C, const DeclStmt *DS) {
   DefinedOrUnknownSVal SizeIsKnown = SV.EvalEQ(state, Extent, ArraySize);
   state = state->Assume(SizeIsKnown, true);
 
+  // Assume should not fail at this point.
+  assert(state);
+
   // Remember our assumptions!
   C.addTransition(state);
 }