[PATCH] Make zero size allocation result consistent

[Sebastian Huber]

On 04/05/2021 14:52, Joel Sherrill wrote:
> 
> 
> On Tue, May 4, 2021, 7:12 AM Sebastian Huber 
> <sebastian.huber at embedded-brains.de 
> <mailto:sebastian.huber at embedded-brains.de>> wrote:
> 
>     On 04/05/2021 14:07, Joel Sherrill wrote:
>      > This is undefined behaviour and I would rather they all return NULL.
> 
>     As far as I understood the POSIX text, it is implementation-defined
>     behaviour and POSIX gives two valid implementation options. The patch
>     removed some code (less code is always good) and now we are in line
>     with
>     Linux and FreeBSD.
> 
> 
> We should be more focused on correctness. We don't agree with not 
> checking null pointers as arguments either.
> 
> If the application uses the memory returned, there is no guarantee on 
> the size and this leads quite naturally to a buffer overflow.

I don't care that much if we return a unique pointer or NULL, but it 
should be consistent across the directives.

-- 
embedded brains GmbH
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.huber at embedded-brains.de
phone: +49-89-18 94 741 - 16
fax:   +49-89-18 94 741 - 08

Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/