]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 026cd1a) | 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)
commit0dd15d78fb0c99faa5df724139ba4c16a9a345c6
treeb2c2e938776913263a1fd631f8ffa21db0ff594btree | snapshot
parent026cd1a273d16eaa9a66be92f38b1f907202e542commit | 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.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@175987 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitor.h diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h diff | blob | history
lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp diff | blob | history
lib/StaticAnalyzer/Core/BugReporterVisitors.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.