[analyzer] Extend NoStoreFuncVisitor to insert a note on IVars
authorGeorge Karpenkov <ekarpenkov@apple.com>
Tue, 24 Jul 2018 23:14:29 +0000 (23:14 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Tue, 24 Jul 2018 23:14:29 +0000 (23:14 +0000)
commit71692e7f0032c3a2d66e79b4b8d9b9b310cfa3a9
tree04facf2e4555e9104639234eb9425ed5f4526306
parent7e95d9e362b37fe10e23acd240aa8e3640bd3006
[analyzer] Extend NoStoreFuncVisitor to insert a note on IVars

The note is added in the following situation:

 - We are throwing a nullability-related warning on an IVar
 - The path goes through a method which *could have* (syntactically
 determined) written into that IVar, but did not

rdar://42444460

Differential Revision: https://reviews.llvm.org/D49689

llvm-svn: 337864
clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
clang/test/Analysis/diagnostics/no-store-func-path-notes.cpp
clang/test/Analysis/diagnostics/no-store-func-path-notes.m