Add an assertion.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@107645 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Checker/VLASizeChecker.cpp b/lib/Checker/VLASizeChecker.cpp
index dfb606b8b88d88e29f54f3a065e1a1d591c9086e..b25843c45b2f6aded08f470425456a62dd3fedf7 100644 (file)
--- 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);
 }