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

--- Comment #1 from Alejandro Colomar <[email protected]> ---
It would be interesting to rename the [[gnu::malloc]] attribute, to
differentiate it from [[gnu::malloc(free)]], of course leaving the old name for
compatibility purposes.

For consistency with the ones I proposed here, it could be called
[[gnu::returns_unique_ptr]].

Reply via email to