[PATCH] D85984: [analyzer] Add a new checker alpha.cplusplus.CPlusPlus11Lock
Denys Petrov via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Aug 26 00:23:30 PDT 2020
ASDenysPetrov added a comment.
@NoQ
> That's completely different checker logic.
I think, I got the message. The real recursive logic can be caught here:
std::recursive_mutex rm;
void recur1() {
recur2();
}
void recur2() {
rm.lock();
recur1(); // here we can ignore the meet of twice lock, can't we?
}
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D85984/new/
https://reviews.llvm.org/D85984
More information about the cfe-commits
mailing list