[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