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 trunk? > Sure.
Mikael
