]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 107f2b7) | patch
[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)
commitab6efb3942a5bf75bffc29430f2870f0e77c70da
treed07990a2b84bf73c7235ea6728f80bad3a6b0fb7tree | snapshot
parent107f2b748033f442cead2ccfe343269d6b1fe1a4commit | diff
[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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@338149 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/BugReporterVisitors.cpp diff | blob | history
test/Analysis/diagnostics/no-store-func-path-notes.cpp diff | blob | history
test/Analysis/diagnostics/no-store-func-path-notes.m diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.