[analyzer] Better path notes for null pointers passed as arguments.
authorJordan Rose <jordan_rose@apple.com>
Sat, 22 Sep 2012 01:24:46 +0000 (01:24 +0000)
committerJordan Rose <jordan_rose@apple.com>
Sat, 22 Sep 2012 01:24:46 +0000 (01:24 +0000)
commit106b037a85506fe22d1bb0fab92ac9e5b00e2377
treeceff412cb451e6c759a57660b83ba54ff1998c50
parentc102b35b44f50d2ca5ffdd28f4e422671beed53c
[analyzer] Better path notes for null pointers passed as arguments.

Rather than saying "Null pointer value stored to 'foo'", we now say
"Passing null pointer value via Nth parameter 'foo'", which is much better.
The note is also now on the argument expression as well, rather than the
entire call.

This paves the way for continuing to track arguments back to their sources.

<rdar://problem/12211490>

llvm-svn: 164444
clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
clang/test/Analysis/inline-plist.c