================
@@ -8206,4 +8206,97 @@ void test_attr_refers_to_param(Mutex *m) {
m->Unlock();
}
+// Function references name a function to call just like function pointers do.
+void lock_impl(void) EXCLUSIVE_LOCK_FUNCTION(mu);
+void unlock_impl(void) UNLOCK_FUNCTION(mu);
+void requires_impl(void) EXCLUSIVE_LOCKS_REQUIRED(mu);
+
+void (&lock_ref)(void) EXCLUSIVE_LOCK_FUNCTION(mu) = lock_impl;
+void (&unlock_ref)(void) UNLOCK_FUNCTION(mu) = unlock_impl;
+void (&requires_ref)(void) EXCLUSIVE_LOCKS_REQUIRED(mu) = requires_impl;
+
+void testReferenceAcquireRelease() {
+ lock_ref();
+ x = 1;
+ requires_ref();
+ unlock_ref();
+}
+
+void testReferenceRequiresFail() {
+ requires_ref(); // expected-warning {{calling function 'requires_ref'
requires holding mutex 'mu' exclusively}}
+}
+
} // namespace FunctionPointers
+
+namespace FunctionPointerParams {
----------------
melver wrote:
Shouldn't we fold this into the FunctionPointers namespace above?
https://github.com/llvm/llvm-project/pull/211885
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
