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 | 5b488b1e6c422618b2a867e50573f24a49715eda (patch) | |
| tree | defe7b0846555f13677c100834fbbc21f367fe0d /clang/lib/Checker | |
| parent | b525bce698882e9387dcfd53295717d366ada364 (diff) | |
| download | bcm5719-llvm-5b488b1e6c422618b2a867e50573f24a49715eda.tar.gz bcm5719-llvm-5b488b1e6c422618b2a867e50573f24a49715eda.zip | |
Add an assertion.
llvm-svn: 107645
Diffstat (limited to 'clang/lib/Checker')
| -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); } |
