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

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

In D136055#3861580 <https://reviews.llvm.org/D136055#3861580>, @nikic wrote:

> This is correct as specified, but I think there were plans to change `!range` and `!nonnull` to return poison, and require an additional `!noundef` to make them immediate UB, which is the way it works for attributes. I'm not sure what the state of that is though.

+1


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

https://reviews.llvm.org/D136055