[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