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

[Ayke via Phabricator via llvm-commits]

aykevl marked 2 inline comments as done.
aykevl added inline comments.


================
Comment at: lib/Analysis/CaptureTracking.cpp:352
+        // (in-bounds) pointer.
+        if (Argument *A = dyn_cast<Argument>(I->getOperand(0)))
+          if (A->getDereferenceableOrNullBytes())
----------------
hfinkel wrote:
> I think that you want to stripPointerCasts here (and an associated test case).
Good idea! I didn't think of that - this is my first patch to LLVM in the LLVM core. Updated the patch and improved tests.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D60047