================
@@ -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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to