[PATCH] D27585: [CaptureTracking] Add optimistic capture tracker for stores
Hal Finkel via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Dec 13 21:31:14 PST 2016
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?
More information about the llvm-commits