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.