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

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev 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.

Do you want me to follow-up with inference of `!noundef` for loads with such attributes in some pass, or?..


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

https://reviews.llvm.org/D136055