[PATCH] D66618: [WIP] Expose functions to determine pointer properties (Align & Deref)

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

Can we remove the CanBeNull argument from getPointerDereferenceableBytes()?  It looks like it's currently unused.  Or are you planning to use it somewhere?



================
Comment at: llvm/include/llvm/Analysis/Loads.h:82
+/// If \p IsKnownDeref is set by this function the pointer is known to be
+/// dereferenceable up to the returned number of bytes.
+///
----------------
Maybe describe what it means if IsKnownDeref is false, in a little more detail?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D66618