diff options
Diffstat (limited to 'clang/lib/Checker/VLASizeChecker.cpp')
| -rw-r--r-- | clang/lib/Checker/VLASizeChecker.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/clang/lib/Checker/VLASizeChecker.cpp b/clang/lib/Checker/VLASizeChecker.cpp index dfb606b8b88..b25843c45b2 100644 --- a/clang/lib/Checker/VLASizeChecker.cpp +++ b/clang/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); } |
