commit ffe0f43806d4823271c2406c1fccc2373115c36a
author Ted Kremenek <kremenek@apple.com> Fri Mar 07 22:58:01 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Fri Mar 07 22:58:01 2008 +0000
tree cb5b4e0062005c1c2871bce98d31ac503dbc51df
parent e97ca065c91ff9ca2a2a42eb443eaa553c40441c

Added --trim-path-graph to the driver to trim paths from the ExplodedGraph
that are not related to error nodes.

Fixed bug where we did not detect some NULL dereferences.

Added "ExplodedGraph::Trim" to trim all nodes that cannot transitively reach
a set of provided nodes.

Fixed subtle bug in ExplodedNodeImpl where we could create predecessor
iterators that included the mangled "sink" bit.  The better fix is to integrate
this bit into the void* for the wrapped State, not the NodeGroups representing
a node's predecessors and successors.


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