]> granicus.if.org Git - clang/commit
[analyzer] Add diagnostic text for generalized refcount annotations.
authorDevin Coughlin <dcoughlin@apple.com>
Tue, 25 Jul 2017 17:17:09 +0000 (17:17 +0000)
committerDevin Coughlin <dcoughlin@apple.com>
Tue, 25 Jul 2017 17:17:09 +0000 (17:17 +0000)
commit4d083037ef57bef3ac11f28bc8dfeaa15983c87c
treec485f2be4c0a75ac5a87fc834cd87232d9553eba
parent79ab2be275ed94f7d83068df362831d6e7b6c920
[analyzer] Add diagnostic text for generalized refcount annotations.

Add a 'Generalized' object kind to the retain-count checker and suitable
generic diagnostic text for retain-count diagnostics involving those objects.

For now the object kind is introduced in summaries by 'annotate' attributes.
Once we have more experience with these annotations we will propose explicit
attributes.

Patch by Malhar Thakkar!

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@308990 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Checkers/ObjCRetainCount.h
lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp
test/Analysis/retain-release-inline.m
test/Analysis/retain-release.m