https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117315
--- Comment #12 from Sam James <sjames at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #10) > And that is partly documented too: > from > https://gcc.gnu.org/onlinedocs/gcc-14.2.0/gcc/Common-Function-Attributes. > html#index-malloc-function-attribute : > > Attribute malloc indicates that a function is malloc-like, i.e., that the > pointer P returned by the function cannot alias any other pointer valid when > the function returns, and moreover no pointers to valid objects occur in any > storage addressed by P. In addition, GCC predicts that a function with the > attribute returns non-null in most cases. Thanks, I read this a few times and I kept reading it differently. Not sure why but something about it feels hard to parse.