HomePhabricator

[StaticAnalyzer] Support struct annotations in FuchsiaHandleChecker

Authored by haowei on Sat, Nov 21, 7:59 PM.

Description

[StaticAnalyzer] Support struct annotations in FuchsiaHandleChecker

Support adding handle annotations to sturucture that contains
handles. All the handles referenced by the structure (direct
value or ptr) would be treated as containing the
release/use/acquire annotations directly.

Patch by Yu Shan

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

Details

Committed
haoweiSat, Nov 21, 7:59 PM
Differential Revision
D91223: Support struct annotations in FuchsiaHandleChecker.
Parents
rGdef7cfb7ffd4: [InstCombine] Use is_contained (NFC)
Branches
Unknown
Tags
Unknown