[PATCH] D71660: [ValueTracking] isKnownNonZero() should take non-null-ness assumptions into consideration (PR43267)

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a reviewer: hfinkel.
lebedev.ri added inline comments.


================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:623
+        return true;
+    }
+  }
----------------
jdoerfert wrote:
> < is also fine, however unlikely.
Right, https://rise4fun.com/Alive/plslNp


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D71660