necto wrote:
> Could you also add this test case?
>
> ```c++
> ```
>
> Or is it already implied by other tests?
My first test
``` C++
void no_false_positive_gh_104241() {
std::mutex m;
m.lock();
// If inheritance not handled properly, this unlock might not match the lock
// above because technically they act on different memory regions:
// __mutex_base and mutex.
m.unlock();
sleep(10); // no-warning
}
```
Was derived from your example, so I guess it is implied, but I added your
example as is with 0d95583 to make it extra clear.
https://github.com/llvm/llvm-project/pull/106240
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
