[PATCH] D37963: [analyzer] PthreadLock: Don't track dead regions.

2020-01-24 Thread Artem Dergachev via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rG1484d0f12add: [analyzer] PthreadLock: Implement dead region cleanup. (authored by dergachev.a). Herald added subscribers: Charusso, dkrupp, donat.nagy, Szelethus, mikhail.ramalho, rnkovacs, szepet, balogh

[PATCH] D37963: [analyzer] PthreadLock: Don't track dead regions.

2017-09-21 Thread Gábor Horváth via Phabricator via cfe-commits
xazax.hun accepted this revision. xazax.hun added a comment. This revision is now accepted and ready to land. Maybe it worth a comment why we do not want to clean up `LockSet`? Otherwise LGTM! https://reviews.llvm.org/D37963 ___ cfe-commits mailin

[PATCH] D37963: [analyzer] PthreadLock: Don't track dead regions.

2017-09-17 Thread Artem Dergachev via Phabricator via cfe-commits
NoQ created this revision. Standard boilerplate: stop tracking mutex state when the mutex dies as a region. Clean up the destroyed symbol cleanup code a tiny bit. Note that this code is unaffected by the zombie symbol bug because whenever we need to take action, constraint manager is bound to m