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)4int 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