On 19.12.23 21:43, Tristan Partin wrote:
Here is a patch which adds support for the returns_nonnull attribute
alongside all the other attributes we optionally support.
I recently wound up in a situation where I was checking for NULL return
values of a function that couldn't ever return NULL because the
inability to allocate memory was always elog(ERROR)ed (aborted).
I didn't go through and mark anything, but I feel like it could be
useful for people going forward, including myself.
I think it would be useful if this patch series contained a patch that
added some initial uses of this. That way we can check that the
proposed definition actually works, and we can observe what it does,
with respect to warnings, static analysis, etc.