[PATCH] D95122: [Libcalls, Attrs] Annotate libcalls with noundef
Dávid Bolvanský via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Jan 21 07:34:36 PST 2021
xbolva00 added a comment.
In D95122#2512404 <https://reviews.llvm.org/D95122#2512404>, @jdoerfert wrote:
> LGTM. FWIW, `nonnull` should imply `noundef` because if it was `undef` we could pick `null`.
Thanks
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D95122/new/
https://reviews.llvm.org/D95122
More information about the llvm-commits
mailing list