diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-07-06 07:08:47 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-07-06 07:08:47 +0000 |
| commit | e4f5d72a504be32483aebdeb48fd2effce6756f2 (patch) | |
| tree | 9a0b9fd329ad91bd0adf33da2070ad400758c9ea /lib/Checker/VLASizeChecker.cpp | |
| parent | dc01a153f20be7121c4d3fdc17bb28ff4442231c (diff) | |
Add an assertion.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@107645 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/VLASizeChecker.cpp')
| -rw-r--r-- | lib/Checker/VLASizeChecker.cpp | 3 |
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); } |