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

[Nikita Popov via Phabricator via llvm-commits]

nikic added reviewers: fhahn, nlopes.
nikic added a comment.

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.


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

https://reviews.llvm.org/D136055