https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86488
--- Comment #4 from Marco Elver <elver at google dot com> --- Consensus reached was on this specification: > The ``malloc_span`` attribute can be used to mark that a function which acts > like a system memory allocation function and returns a span-like structure, > where the returned memory range does not alias storage from any other object > accessible to the caller. > > In this context, a span-like structure is assumed to have two non-static data > members, one of which is a pointer to the start of the allocated memory and > the other one is either an integer type containing the size of the actually > allocated memory or a pointer to the end of the allocated region. Note, static > data members do not impact whether a type is span-like or not. See https://github.com/llvm/llvm-project/pull/167010
