diff options
| author | Ted Kremenek <kremenek@apple.com> | 2013-02-24 07:20:53 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2013-02-24 07:20:53 +0000 |
| commit | e3cf171730126cdfe29f24612de4cc13b813308a (patch) | |
| tree | fae984a0e5b6d83c65be23df3820178cef73f904 /clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp | |
| parent | c4a90244bb1cb502e300b507de27f6498ad0eb3f (diff) | |
| download | bcm5719-llvm-e3cf171730126cdfe29f24612de4cc13b813308a.tar.gz bcm5719-llvm-e3cf171730126cdfe29f24612de4cc13b813308a.zip | |
Add "KnownSVal" to represent SVals that cannot be UnknownSVal.
This provides a few sundry cleanups, and allows us to provide
a compile-time check for a case that was a runtime assertion.
llvm-svn: 175987
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp')
0 files changed, 0 insertions, 0 deletions
