[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.
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
More information about the llvm-commits