[PATCH] D62313: Add a test for "nofree" function attribute

Johannes Doerfert via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Sun Jun 2 08:38:06 PDT 2019


jdoerfert added a comment.

We should (in a later patch probably) think about other attributes that would imply `nofree`.
I guess one can argue `readnone` should do the trick. There are other things we could pull if
we make `nofree` also a parameter attribute. Finally we could think about a selective `nofree`
annotation at a call site to list arguments that are not freed. We could know that because
of `dereferenceability` after the call.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D62313/new/

https://reviews.llvm.org/D62313





More information about the llvm-commits mailing list