diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-11-17 07:19:51 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-11-17 07:19:51 +0000 |
| commit | c5419cc8655c215c8c0c8dc3976a527ca867f655 (patch) | |
| tree | 361c7b92103a2e4dfa4374823692b58cf7279594 /lib/Analysis/GRExprEngine.cpp | |
| parent | c5a97ec19408c3dca4b6a6385f11d8c783b94d0b (diff) | |
Clear the dest set.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89060 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index eb7e2778a9..0b7afe736e 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -333,6 +333,7 @@ void GRExprEngine::ProcessStmt(Stmt* S, GRStmtNodeBuilder& builder) { ExplodedNodeSet *DstSet = (I+1 == E) ? &Tmp : (SrcSet == &Tmp2) ? &Tmp3 : &Tmp2; + DstSet->clear(); void *tag = I->first; Checker *checker = I->second; for (ExplodedNodeSet::iterator NI = SrcSet->begin(), NE = SrcSet->end(); |