[PATCH] D85184: [Attributor][WIP] Deduce noundef attribute

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

Note: @aqjune,  and @okura  We should also seed `noundef` in the intrinsics and especially known library functions definitions. I mean, `malloc` is not returning a undef or poison value (I hope), and `free` is not accepting one.


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

https://reviews.llvm.org/D85184