]> granicus.if.org Git - clang/commit
[analyzer] Introduce proper diagnostic for freeing unowned object
authorGeorge Karpenkov <ekarpenkov@apple.com>
Fri, 18 Jan 2019 03:13:53 +0000 (03:13 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Fri, 18 Jan 2019 03:13:53 +0000 (03:13 +0000)
commit56934968fc4113de172a6d4e8d8b53d902084b63
tree80e3eb2cdba17e8b8a54d949beabcc11cfbb644d
parent1055c850977b151ba9b05f4ca42c72e1a63ad0ef
[analyzer] Introduce proper diagnostic for freeing unowned object

Insert a note when the object becomes not (exclusively) owned.

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@351514 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp
lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.h
lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp
lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.h
test/Analysis/osobject-retain-release.cpp