diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-08-05 07:38:23 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-08-05 07:38:23 +0000 |
| commit | 478fdb16dbe1ec39b578c144d2d767633178a503 (patch) | |
| tree | da726d41b05f11e9c564accb49e7fc7261109f74 /clang/lib/Checker | |
| parent | d986fc8b4816bd51fb9de5d8ee04fbbc80909b62 (diff) | |
| download | bcm5719-llvm-478fdb16dbe1ec39b578c144d2d767633178a503.tar.gz bcm5719-llvm-478fdb16dbe1ec39b578c144d2d767633178a503.zip | |
Turn the predicate into an assertion. When could the unequal case happen?
llvm-svn: 110317
Diffstat (limited to 'clang/lib/Checker')
| -rw-r--r-- | clang/lib/Checker/GRExprEngine.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/clang/lib/Checker/GRExprEngine.cpp b/clang/lib/Checker/GRExprEngine.cpp index c6551e604d5..d4ee0efb54b 100644 --- a/clang/lib/Checker/GRExprEngine.cpp +++ b/clang/lib/Checker/GRExprEngine.cpp @@ -237,8 +237,10 @@ void GRExprEngine::CheckerVisit(const Stmt *S, ExplodedNodeSet &Dst, // If we built NewCO, check if we called all the checkers. This is important // so that we know that we accurately determined the entire set of checkers // that responds to this callback. - if (NewCO.get() && checkersEvaluated == Checkers.size()) + if (NewCO.get()) { + assert(checkersEvaluated == Checkers.size()); CO_Ref = NewCO.take(); + } // Don't autotransition. The CheckerContext objects should do this // automatically. |
