[PATCH] D66439: [LibFunc] "free" captures the pointer operand

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

I'd rather analyze whether the memory is valid separately from whether the pointer itself is captured, I think?  Removing nocapture markings makes all the existing uses of capture analysis weaker.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D66439