[PATCH] D153945: [ValueTracking] Guaranteed well-defined if parameter has a dereferecable_or_null attribute

[Nikita Popov via Phabricator via llvm-commits]

nikic accepted this revision.
nikic added a comment.
This revision is now accepted and ready to land.

LGTM


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D153945