]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 13d5558) | patch
Fix a horrid bug in GRExprEngine::CheckerVisit() that was identified
authorTed Kremenek <kremenek@apple.com>
Wed, 9 Dec 2009 02:45:41 +0000 (02:45 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 9 Dec 2009 02:45:41 +0000 (02:45 +0000)
commit17f4da8f150f6b9dfb571cebd6299b06948e5385
tree24dd1a4b4798c09225ce137fad517540f3bcae77tree | snapshot
parent13d555859cd643d657000401ebc88ca404d23bbacommit | diff
Fix a horrid bug in GRExprEngine::CheckerVisit() that was identified
by the test case in PR 5627.  Essentially we shouldn't clear the
ExplodedNodeSet where we deposit newly constructed nodes if that set
is the 'Dst' set passed in.  It is not okay to clear that set because
it may already contain nodes.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@90931 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/GRExprEngine.cpp diff | blob | history
test/Analysis/misc-ps-eager-assume.m diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.