On 2024-10-03 15:42, Florian Weimer wrote:
I think attribute access already covers part of it:
The GCC documentation for attribute access[1] is unclear as to whether the pointer is allowed to be null when the size is zero. Perhaps we could ask the GCC maintainers to document that it's allowed and to implement it that way. Failing that, I suppose we'd need a new attribute with the desired semantics.
[1]: https://gcc.gnu.org/onlinedocs/gcc/Common-Function-Attributes.html
