]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8c2228) | patch
Refine analyzer diagnostics by adding an expression "cone-of-influence" to reverse...
authorTed Kremenek <kremenek@apple.com>
Wed, 2 May 2012 00:31:29 +0000 (00:31 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 2 May 2012 00:31:29 +0000 (00:31 +0000)
commit11abcecc8c919673237cf37384290a1ef1943976
treec484cd7f3c2b741bb6cf5e865c4cccbbb1eb1942tree | snapshot
parentc8c222830a1d8df8ed05bedfcac868fe6838fba8commit | diff
Refine analyzer diagnostics by adding an expression "cone-of-influence" to reverse track interesting
values through interesting expressions.  This allows us to map from interesting values in a caller
to interesting values in a caller, thus recovering some precision in diagnostics lost from IPA.

Fixes <rdar://problem/11327497>

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@155971 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/BugReporter.cpp diff | blob | history
lib/StaticAnalyzer/Core/BugReporterVisitors.cpp diff | blob | history
test/Analysis/inline-plist.c diff | blob | history
test/Analysis/malloc-plist.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.