[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