projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f58b12d) | patch
[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)
commit6fe2fc633aa736253317340154127329bee73fe7
tree14c1212a2090d0ed57b22c974558135cd479d900tree | snapshot
parentf58b12d8ebc6721956d1a873e9d775746dfd6fd0commit | diff
[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.

llvm-svn: 176576
clang/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h diff | blob | history
clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp diff | blob | history
clang/test/Analysis/inlining/inline-defensive-checks.c diff | blob | history
Domain: System / Toolchain;