[clang] nonblocking/nonallocating attributes: 2nd pass caller/callee analysis (PR #99656)

[Jon Roelofs via cfe-commits]

================
@@ -0,0 +1,19 @@
+// RUN: %clang_cc1 -fsyntax-only -fblocks -fcxx-exceptions -verify %s
+
+#pragma clang diagnostic ignored "-Wperf-constraint-implies-noexcept"
+
+// Objective-C
+ at interface OCClass
+- (void)method;
+ at end
+
+void nl14(OCClass *oc) [[clang::nonblocking]] {
+	[oc method]; // expected-warning {{'nonblocking' function must not access an ObjC method or property}}
+}
----------------
jroelofs wrote:

> since super can't appear outside of the context of an ObjC method (right?)

correct

> The easiest solution is to forbid the attribute in this context.

sounds good


https://github.com/llvm/llvm-project/pull/99656