1 // #include "decls.h"
2 
3 /* This is just so that coverity recognizes posix_memalign */
posix_memalign(void ** memptr,size_t alignment,size_t size)4 int posix_memalign(void **memptr, size_t alignment, size_t size)
5 {
6 
7    __coverity_negative_sink__(size);
8    __coverity_negative_sink__(alignment);
9 
10     void * mem = __coverity_alloc__(size);
11     if (mem) {
12         *memptr = mem;
13         return 0;
14     } else {
15         return 1;
16     }
17 }
18