commit | e4f5d72a504be32483aebdeb48fd2effce6756f2 | [log] [tgz] |
---|---|---|
author | Zhongxing Xu <xuzhongxing@gmail.com> | Tue Jul 06 07:08:47 2010 +0000 |
committer | Zhongxing Xu <xuzhongxing@gmail.com> | Tue Jul 06 07:08:47 2010 +0000 |
tree | 9a0b9fd329ad91bd0adf33da2070ad400758c9ea | |
parent | dc01a153f20be7121c4d3fdc17bb28ff4442231c [diff] |
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 dfb606b..b25843c 100644 --- a/lib/Checker/VLASizeChecker.cpp +++ b/lib/Checker/VLASizeChecker.cpp
@@ -121,6 +121,9 @@ 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); }