[analyzer] MIGChecker: Add support for os_ref_retain().
authorArtem Dergachev <artem.dergachev@gmail.com>
Wed, 15 May 2019 01:19:19 +0000 (01:19 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Wed, 15 May 2019 01:19:19 +0000 (01:19 +0000)
commit70b654fa9b8377b8e0bb78ba2e9203d3195351cc
tree350107b1f67d4d1eb9694171e2820096a97d2962
parent0116385452354e2d9799f60a243a4810b0eadcc3
[analyzer] MIGChecker: Add support for os_ref_retain().

Suppress MIG checker false positives that occur when the programmer increments
the reference count before calling a MIG destructor, and the MIG destructor
literally boils down to decrementing the reference count.

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

llvm-svn: 360737
clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp
clang/test/Analysis/mig.mm