[PATCH] D27585: [CaptureTracking] Add optimistic capture tracker for stores

[Hal Finkel via Phabricator via llvm-commits]

hfinkel added a comment.

> Otherwise, it only consider %ptr to escape in the previous example if it is stored to either a global or to one of the arguments of the function.

I suppose this is named "optimistic" because it might return a false negative? If the pointer value is stored into some alloca then read and the read value stored into some global, then the value is captured but your analysis will return false. Is this what you intend?


Repository:
  rL LLVM

https://reviews.llvm.org/D27585