| commit | 974c676306758c8c84f5c25e3708186557a678bd | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Wed Jan 09 23:11:36 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Wed Jan 09 23:11:36 2008 +0000 |
| tree | d844687a0fdfe66088e3af561e7928a9bd4fcc54 | |
| parent | bd129696c554fbbcd9405104641e292f0fb4678d [diff] |
Renamed various traits and classes. Added "Infeasible" bit to ExplodedNodeImpl so that nodes can be marked as representing an infeasible program point. This flag lets the path-sensitive solver know that no successors should be generated for such nodes. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@45788 91177308-0d34-0410-b5e6-96231b3b80d8