[analyzer] Extend NoStoreFuncVisitor to insert a note on IVars
authorGeorge Karpenkov <ekarpenkov@apple.com>
Fri, 27 Jul 2018 18:26:40 +0000 (18:26 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Fri, 27 Jul 2018 18:26:40 +0000 (18:26 +0000)
commitb293c6bb54c036648f95c256e2281f77e38553a7
treea1fa4a80bfe52b8fd81030b8dd34d2ab50510d68
parent9d93c6026a61507db25e8615d82a2576bdc8b319
[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: 338149
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