From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Tue, 6 Jul 2010 07:08:47 +0000 (+0000)
Subject: Add an assertion.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=e4f5d72a504be32483aebdeb48fd2effce6756f2;p=clang

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 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);
 }