[PATCH] D49885: Thread safety analysis: Allow relockable scopes

Aaron Puchert via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Aug 13 18:42:33 PDT 2018


aaronpuchert reopened this revision.
aaronpuchert added a comment.
This revision is now accepted and ready to land.

This didn't cross my mind, because an `ACQUIRES` attribute with arguments on a function other than the constructor does not add the argument locks to the set of managed mutexes. So while I'm not sure why someone would do that, it's completely possible without warning. Indeed it would be possible to have `ACQUIRES` both with and without arguments on the same function.


Repository:
  rC Clang

https://reviews.llvm.org/D49885





More information about the cfe-commits mailing list