]> granicus.if.org Git - clang/commit
[analyzer] IDC: Add config option; perform the idc check on first “null node” rather...
authorAnna Zaks <ganna@apple.com>
Wed, 6 Mar 2013 20:25:59 +0000 (20:25 +0000)
committerAnna Zaks <ganna@apple.com>
Wed, 6 Mar 2013 20:25:59 +0000 (20:25 +0000)
commit713e07591995d761f65c7132289dce003a29870f
tree77a076777e379ca232ee7ed34b93c2d59a6b77fd
parent398253ab0e0dedc6f5ddb1bad2ac6a084d0d88a8
[analyzer] IDC: Add config option; perform the idc check on first “null node” rather than last “non-null”.

The second modification does not lead to any visible result, but, theoretically, is what we should
have been looking at to begin with since we are checking if the node was assumed to be null in
an inlined function.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@176576 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/AnalyzerOptions.h
lib/StaticAnalyzer/Core/AnalyzerOptions.cpp
lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
test/Analysis/inlining/inline-defensive-checks.c