HomePhabricator

[analyzer] PthreadLock: Implement dead region cleanup.

Authored by dergachev.a on Jan 24 2020, 7:38 AM.

Description

[analyzer] PthreadLock: Implement dead region cleanup.

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

Details

Committed
dergachev.aJan 24 2020, 7:43 AM
Differential Revision
D37963: [analyzer] PthreadLock: Don't track dead regions.
Parents
rGdd22be1e3d98: [analyzer] PthreadLock: Implement mutex escaping.
Branches
Unknown
Tags
Unknown