[PATCH] D136055: [ValueTracking] Make !range metadata imply noundef for load & call results

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

In some sense, "range implies noundef" is the same thing as "dereferenceable implies noundef". There is no conceptual difference between "integer in specified range" and "pointer in a set of valid pointers". If we do it for dereferenceable pointers, why impede this for ranges?


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

https://reviews.llvm.org/D136055