[PATCH] D141386: [LangRef] Make !range, !nonnull and !align return poison instead of IUB

Nuno Lopes via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Jan 11 10:11:36 PST 2023


nlopes accepted this revision.
nlopes added a comment.

Sounds good, thanks!
I implemented this in Alive2 and I got zero failures in LLVM's test suite. Either it doesn't have many !ranges or we are good.


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

https://reviews.llvm.org/D141386



More information about the llvm-commits mailing list