[PATCH] D50039: [FunctionAttrs] Added nonnull atribute to libc function args

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 added a comment.

Alright, definitely a better solution! Thanks, I will split it.

> Then the second part does the inference from callee to caller; essentially this patch, but looking for nonnull attributes instead of specific libcalls.

But basically, this is what addArgumentAttrsFromCallsites does. So if I do this correctly in Simplifylibcalls, can I remove "EnableNonnullArgPropagation" flag which blocks the propagation to function args?


https://reviews.llvm.org/D50039