[PATCH] D100676: [nofree] Attempt to further refine concurrency/capture requirements

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

I need some help figuring out how to make progress on nofree and related deref pieces.  The comments on this review seem to focus mostly on the split between nofree and nosync.  That split is existing in the LangRef today.  I'm sympathetic to the view that wasn't the right choice, but it's what we have.  I've already taken a pretty big detour from the thing I'm actually interested in working on (deref), and am not really interested in signing up for further redefinition of existing attributes.

Are we willing to live with the existing nofree vs nosync split or at least defer any potential redefinition to the future?  If so, I'll abandon this review (because I just don't care that much about the capture point).  If not, I'm probably going to declare the attempt at redefining deref to be a failure and stop work here.  I'm open to suggestions to split the difference (i.e. is there a finite subset which lets us make progress you see?), but at the moment, I'm feeling pretty stuck.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D100676