[PATCH] D157253: [ValueTracking] Dereferenceable and !NullPointerIsDefined imply non-zero

Nikita Popov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Aug 10 00:01:40 PDT 2023


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/D157253/new/

https://reviews.llvm.org/D157253



More information about the llvm-commits mailing list