Defect in XSH posix_memalign

[yyyyyy@xxxxxxxxxxxxxxxx]

        Defect report from : Alexander A. Sortov , ISP RAS (Linux Verification 
Center)

(Please direct followup comments direct to yyyyyyyyyyyyyy@xxxxxxxxxxxxx)

@ page 0 line 0 section posix_memalign comment {LVC-S0040}

Problem:

Edition of Specification (Year): 2004

Defect code :  3. Clarification required

Standard does not describe the behavior of the function 
int posix_memalign(void **memptr, const ptr_t restrict src, size_t alignment 
size_t size );
when the value of the parameter size is 0.



Action:

Define function's behavior when the value of the parameter size is 0. Behavior 
could be defined as for malloc: "If size is 0, either a null pointer or a 
unique pointer that can be successfully passed to free() shall be returned in 
memptr".