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

[via cfe-commits]

================
@@ -571,6 +571,9 @@ New features
   if class of allocation and deallocation function mismatches.
   `Documentation <https://clang.llvm.org/docs/analyzer/checkers.html#unix-mismatcheddeallocator-c-c>`__.
 
+- Function effects (the ``nonblocking`` and ``nonallocating`` "performance constraint" attributes)
----------------
Sirraide wrote:

Maybe we can take this sentence from the documentation:
> Functions with these attributes are verified as not containing any language constructs or calls to other functions which violate the constraint.

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