[PATCH] D98747: Thread safety analysis: Don't warn about managed locks on join points
Delesley Hutchins via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Apr 6 09:35:04 PDT 2021
delesley accepted this revision.
delesley added a comment.
This revision is now accepted and ready to land.
I am convinced by your argument. I think it is reasonable to assume that if someone is using an RAII object, then the underlying object is responsible for managing double locks/unlocks, and we can restrict our efforts to detecting race conditions. Thanks for the detailed explanation! :-)
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D98747/new/
https://reviews.llvm.org/D98747
More information about the cfe-commits
mailing list