[Bug c/111025] New: attribute((malloc)) and posix_memalign() (and other functions that return newly allocated object address into an output parameter)

[Bug c/111025] New: attribute((malloc)) and posix_memalign() (and other functions that return newly allocated object address into an output parameter)

[yann at droneaud dot fr]

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

            Bug ID: 111025
           Summary: attribute((malloc)) and posix_memalign() (and other
                    functions that return newly allocated object address
                    into an output parameter)
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: yann at droneaud dot fr
  Target Milestone: ---

Functions such as posix_memalign() don't return the pointer to the newly
allocated memory as their return value, thus attribute((malloc)) cannot be used
with them.

It would be useful to have some form of attribute((malloc)) that could apply to
function such as posix_memalign().

This new attribute((malloc)) form could also be used on asprintf() for example.

With support for the attribute((malloc))'s deallocator specification, it could
improve warnings at compile time and prevents developer mistake.

[Bug c/111025] attribute((malloc)) and posix_memalign() (and other functions that return newly allocated object address into an output parameter)

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2023-08-15

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.  We probably have a duplicate bugreport.

[Bug c/111025] attribute((malloc)) and posix_memalign() (and other functions that return newly allocated object address into an output parameter)

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Note GCC already handles this internally (posix_memalign, that is) as if a
malloc attribute was possible and present.

[Bug c/111025] attribute((malloc)) and posix_memalign() (and other functions that return newly allocated object address into an output parameter)

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |missed-optimization
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=60086

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
It was referenced in pr 60086