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

[Doug Wyatt via cfe-commits]

================
@@ -18347,7 +18347,7 @@ void Sema::SetFunctionBodyKind(Decl *D, SourceLocation Loc, FnBodyKind BodyKind,
   }
 }
 
-bool Sema::CheckOverridingFunctionAttributes(const CXXMethodDecl *New,
+bool Sema::CheckOverridingFunctionAttributes(CXXMethodDecl *New,
----------------
dougsonos wrote:

I did have to make this new Decl mutable, because the verification can implicitly propagate (certain) effects from the base virtual method to its overrides. (Originally I had done this with an ugly `const_cast` but we discussed this and chose instead to make the parameter mutable.)

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