HomePhabricator

[analyzer] ObjCAutoreleaseWriteChecker: Support explicit autoreleasepools.

Authored by Paul Pelzl <ppelzl@apple.com> on Jun 3 2020, 2:50 AM.

Description

[analyzer] ObjCAutoreleaseWriteChecker: Support explicit autoreleasepools.

The checker currently supports only a whitelist of block-enumeration
methods which are known to internally clear an autorelease pool.
Extend this checker to detect writes within the scope of explicit
@autoreleasepool statements.

rdar://25301111

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