diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-01-09 23:11:36 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-01-09 23:11:36 +0000 |
| commit | 974c676306758c8c84f5c25e3708186557a678bd (patch) | |
| tree | d844687a0fdfe66088e3af561e7928a9bd4fcc54 /CodeGen/CodeGenModule.h | |
| 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
Diffstat (limited to 'CodeGen/CodeGenModule.h')
0 files changed, 0 insertions, 0 deletions