[PATCH] D95122: [Libcalls, Attrs] Annotate libcalls with noundef

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

Slightly orthogonal to this patch but somewhat related: do we want to make malloc's size noundef as well (as well as many allocator functions' size args)?

  %size = load i64, i64* %my_ptr_size ; If malloc's size is noundef, !noundef can be attached to this load
  %ptr = call malloc(i64 %size)

If we're moving towards allowing well-defined pointers and access sizes only, this also makes sense.
If okay, I'll write a patch that updates BuildLibCalls.cpp .


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

https://reviews.llvm.org/D95122