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 | 24ea11d4e0c4f82c55dd9928cbedeabf9769c6ea (patch) | |
| tree | 479e115f214b49c48f3ff1194b241529ec8ae00f /clang/Driver | |
| parent | 0e400d4cb7a3413064ca835c8fd925bf22618b45 (diff) | |
| download | bcm5719-llvm-24ea11d4e0c4f82c55dd9928cbedeabf9769c6ea.tar.gz bcm5719-llvm-24ea11d4e0c4f82c55dd9928cbedeabf9769c6ea.zip | |
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.
llvm-svn: 45788
Diffstat (limited to 'clang/Driver')
0 files changed, 0 insertions, 0 deletions
