[PATCH] D63604: [Attributor] Deduce "nonnull" on return value

[Hideto Ueno via Phabricator via llvm-commits]

uenoku added a comment.

Currently, nonnull is deduced if all the return values are defined by nonnull return function.

This condition is not enough. If the returned pointer is freed, nonnull shouldn't be deduced.
Then, I'd like to use "nofree" to guarantee that the pointer is not freed.

I also think to use "nofree" is maybe too strict because irrelevant free in the function prevents the deduction.
If there is another good way to check it, please tell me.


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

https://reviews.llvm.org/D63604