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

[Erich Keane via cfe-commits]

================
@@ -10950,6 +10950,51 @@ def warn_imp_cast_drops_unaligned : Warning<
   InGroup<DiagGroup<"unaligned-qualifier-implicit-cast">>;
 
 // Function effects
+def warn_func_effect_violation : Warning<
+  "'%0' %select{function|constructor|destructor|lambda|block|constructor's member initializer}1 "
----------------
erichkeane wrote:

Hmm, I DID miss that part, but I'm not sure how obvious it is why it is nonblocking.  It would be nice if we made it obvious it came from an attribute.

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