[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)
commitb2d825528dbc204ac55ebb4570921f3e9b53e63c
treec83b4fb1e1a490bd9ca588675ce09a6866f32925
parent18b97f78fe68993459b2ffe564deac2e8b01f1bf
[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

llvm-svn: 308990
clang/include/clang/StaticAnalyzer/Checkers/ObjCRetainCount.h
clang/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp
clang/test/Analysis/retain-release-inline.m
clang/test/Analysis/retain-release.m