[PATCH] D101701: [nofree] Refine concurrency requirements

[Stefan Stipanovic via Phabricator via llvm-commits]

sstefan1 added inline comments.


================
Comment at: llvm/docs/LangRef.rst:1619
 
     A ``nofree`` function is explicitly allowed to free memory which it
+    allocated.  As a result, perhaps surprisingly, a ``nofree`` function can
----------------
nhaehnle wrote:
> sstefan1 wrote:
> > If I'm not wrong, this part hasn't been implemented yet? We won't infer `nofree` for a function that frees memory it allocated.
> Well, we do infer `nofree` for functions that contain `alloca`, which is implicitly freed at the end, though you're probably right about malloc and friends. In any case, that doesn't contradict what's written here.
Yeah, that was just an observation. Maybe we have a TODO in `AANoFree` for that case?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D101701