[clang] nonblocking/nonallocating attributes (was: nolock/noalloc) (PR #84983)

[Doug Wyatt via cfe-commits]

================
@@ -10510,6 +10512,8 @@ QualType ASTContext::mergeFunctionTypes(QualType lhs, QualType rhs,
     if (lproto->getMethodQuals() != rproto->getMethodQuals())
       return {};
 
+    // TODO: (nonblocking) Does anything need to be done with FunctionEffects?
+
----------------
dougsonos wrote:

This now creates a composite type using either the intersection or union of the effects, depending on context -- replicating the logic of `noreturn`.

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