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
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
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