tree a281e24722f20a618fa3ccc7d14e1b2cfb559f0c
parent bea407c92780ded6ef9aabc9d8ebbe60d233f381
author Anna Zaks <ganna@apple.com> 1363300316 +0000
committer Anna Zaks <ganna@apple.com> 1363300316 +0000

[analyzer] Change the way in which IDC Visitor decides to kick in and make sure it attaches in the given edge case

In the test case below, the value V is not constrained to 0 in ErrorNode but it is in node N.
So we used to fail to register the Suppression visitor.

We also need to change the way we determine that the Visitor should kick in because the node N belongs to
the ExplodedGraph and might not be on the BugReporter path that the visitor sees. Instead of trying to match the node,
turn on the visitor when we see the last node in which the symbol is ‘0’.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@177121 91177308-0d34-0410-b5e6-96231b3b80d8