https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117315

--- Comment #10 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
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.


I wonder if either wmem_free_all should or wmem_tree_new_autoreset should be
marked as noinline to closer to what the definition above should do.

Reply via email to