[Bug analyzer/106854] [[gnu::malloc(deallocator)]] for non-pointer functions (e.g., fd)

[dmalcolm at gcc dot gnu.org]

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

--- Comment #7 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
(In reply to Alejandro Colomar from comment #6)
> timerfd_create() might not be important if the timer is not correctly
> deleted.  pthread_mutex_init() is another one that is quite more important,
> as leaking such a thing in a multithreaded program will be a pain to debug
> for sure.  This attribute could help detect that.

FWIW I think we'll eventually want to model the pthreads API (e.g. for checking
of locks; see PR 105897), so pthread_mutex_init seems like a function we'd be
better off special-casing, rather than trying to express all of its semantics
with attributes.