[PATCH] D99100: [WIP] Implement RFC: Decomposing deref(N) into deref(N) + nofree

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

In D99100#2878416 <https://reviews.llvm.org/D99100#2878416>, @nikic wrote:

> From a quick look at canBeFreed(), it seems like the case of a `nofree` argument isn't handled yet.

That's because there was disagreement as to what the semantics of such an argument were.  I got frustrated in trying to drive that towards any useful conclusion, and don't plan to return to the topic.

On the general topic, https://reviews.llvm.org/D101701 is still open, but that doesn't seem to directly involve the parameter attribute.   I can't find what I'm thinking of, so maybe I just misremembered that particular sub-piece being controversial?


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

https://reviews.llvm.org/D99100