projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4a9024) | patch
Add "KnownSVal" to represent SVals that cannot be UnknownSVal.
authorTed Kremenek <kremenek@apple.com>
Sun, 24 Feb 2013 07:20:53 +0000 (07:20 +0000)
committerTed Kremenek <kremenek@apple.com>
Sun, 24 Feb 2013 07:20:53 +0000 (07:20 +0000)
commite3cf171730126cdfe29f24612de4cc13b813308a
treefae984a0e5b6d83c65be23df3820178cef73f904tree | snapshot
parentc4a90244bb1cb502e300b507de27f6498ad0eb3fcommit | diff
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
clang/include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitor.h diff | blob | history
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h diff | blob | history
clang/lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp diff | blob | history
Domain: System / Toolchain;