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

[Hal Finkel via Phabricator via llvm-commits]

hfinkel 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())
----------------
I think that you want to stripPointerCasts here (and an associated test case).


Repository:
  rL LLVM

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

https://reviews.llvm.org/D60047