================
@@ -8147,6 +8147,41 @@ void test3() {
} // namespace WideStringLiteral
+namespace PointerToMemberCall {
+
+struct Guarded {
+ Mutex mu;
+ int data GUARDED_BY(mu);
+ Mutex *(Guarded::*mu_of)();
+};
+
----------------
melver wrote:
Since all three functions exercise the same `->*` / `.*` callee translation to
`Undefined` (and only test that each statement emits `cannot resolve lock
expression` rather than lockset tracking), `testCallInCapabilityExprObjects`
and `testCallInCapabilityExprMismatch` seem redundant with
`testCallInCapabilityExpr` and could be folded into one function.
https://github.com/llvm/llvm-project/pull/231995
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
