In order to ensure that ALLOCATED(var) works, we have to allocate at
least one byte. While malloc(0) is permitted, it is system depended
whether it returns NULL or a unique non-NULL pointer.
Build and regtested on x86-64-gnu-linux.
OK for the trunk?
Tobias
2013-06-21 Tobias Burnus
Le 21/06/2013 17:14, Tobias Burnus a écrit :
In order to ensure that ALLOCATED(var) works, we have to allocate at
least one byte. While malloc(0) is permitted, it is system depended
whether it returns NULL or a unique non-NULL pointer.
Build and regtested on x86-64-gnu-linux.
OK for the