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

[Doug Wyatt via cfe-commits]

================
@@ -3144,6 +3154,9 @@ class Sema final {
                               QualType T, TypeSourceInfo *TSInfo,
                               StorageClass SC);
 
+  /// Potentially add a FunctionDecl or BlockDecl to DeclsWithEffectsToVerify.
+  void CheckAddCallableWithEffects(const Decl *D, FunctionEffectSet FX);
----------------
dougsonos wrote:

Yeah this is a hard area for me with names.

What it's trying to convey is that it might, depending on some checks, add the callable to a list of decls to verify.

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