[PATCH] D60047: [CaptureTracking] Don't let comparisons against null escape inbounds pointers

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

> Left is only the single guess that is just right which I would not count as escaping because the program could just as well take the guessed value and pretend it is the pointer value without the check.

This argument makes sense. But I'd like to see better definitions of nocapture and dereferenceable_or_null in LangRef which make this a little more obvious.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D60047