[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

Previous message: [PATCH] D95122: [Libcalls, Attrs] Annotate libcalls with noundef
Next message: [PATCH] D95122: [Libcalls, Attrs] Annotate libcalls with noundef
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [PATCH] D95122: [Libcalls, Attrs] Annotate libcalls with noundef
Next message: [PATCH] D95122: [Libcalls, Attrs] Annotate libcalls with noundef
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list