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

[Florian Hahn via Phabricator via llvm-commits]

fhahn updated this revision to Diff 316868.
fhahn marked an inline comment as done.
fhahn added a comment.

Do not infer `willreturn` for `__memcpy_chk`.

In D94684#2498344 <https://reviews.llvm.org/D94684#2498344>, @jdoerfert wrote:

> 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.

Too many things missing to fix at once :(


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D94684

Files:
  llvm/lib/Transforms/Utils/BuildLibCalls.cpp
  llvm/test/Transforms/InferFunctionAttrs/annotate.ll
  llvm/test/Transforms/LICM/strlen.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D94684.316868.patch
Type: text/x-patch
Size: 47476 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210115/0890a077/attachment.bin>