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

[Doug Wyatt via cfe-commits]

================
@@ -10798,6 +10798,95 @@ def warn_imp_cast_drops_unaligned : Warning<
   "implicit cast from type %0 to type %1 drops __unaligned qualifier">,
   InGroup<DiagGroup<"unaligned-qualifier-implicit-cast">>;
 
+def warn_func_effect_allocates : Warning<
+  "'%0' function must not allocate or deallocate memory">,
----------------
dougsonos wrote:

Here, I have removed the function name, and '%0' is the name of the effect. So you'd see

'nonblocking' function must not allocate or deallocate memory


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