commit | b801b73fb94a818d750b814598892ec798b72724 | [log] [tgz] |
---|---|---|
author | Ted Kremenek <kremenek@apple.com> | Wed Nov 25 21:40:22 2009 +0000 |
committer | Ted Kremenek <kremenek@apple.com> | Wed Nov 25 21:40:22 2009 +0000 |
tree | 5557304aca5056c89d56123d9cd2585574885ab8 | |
parent | 67f44b178bf117a252594535468ed1f42ab434c1 [diff] |
When dispatching to Checker objects in GRExprEngine::CheckerVisit(), only stop processing the checkers after all the nodes for a current check have been processed. This (I believe) handles the case where PredSet (the input nodes) contains more than one node due to state bifurcation. Zhongxing: can you review this? git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89882 91177308-0d34-0410-b5e6-96231b3b80d8