[PATCH] D94684: [InferAttrs] Mark some library functions as willreturn.

Johannes Doerfert via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Jan 14 07:58:29 PST 2021


jdoerfert added a comment.

In D94684#2498083 <https://reviews.llvm.org/D94684#2498083>, @xbolva00 wrote:

> Looks ok.
>
> We also miss noundef on many libcalls, don’t we?

We miss a lot of tings TBH. This week I realized `malloc`/`free` are not `inaccesible_mem_only`, which is not cool.

LGTM as well.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D94684



More information about the llvm-commits mailing list