[cfe-commits] r107645 - /cfe/trunk/lib/Checker/VLASizeChecker.cpp
Zhongxing Xu
xuzhongxing at gmail.com
Tue Jul 6 00:08:47 PDT 2010
Author: zhongxingxu
Date: Tue Jul 6 02:08:47 2010
New Revision: 107645
URL: http://llvm.org/viewvc/llvm-project?rev=107645&view=rev
Log:
Add an assertion.
Modified:
cfe/trunk/lib/Checker/VLASizeChecker.cpp
Modified: cfe/trunk/lib/Checker/VLASizeChecker.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/VLASizeChecker.cpp?rev=107645&r1=107644&r2=107645&view=diff
==============================================================================
--- cfe/trunk/lib/Checker/VLASizeChecker.cpp (original)
+++ cfe/trunk/lib/Checker/VLASizeChecker.cpp Tue Jul 6 02:08:47 2010
@@ -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);
}
More information about the cfe-commits
mailing list