sem_getvalue() conforms to ISO/IEC 9945-1:1996 (“POSIX.1”).
The value of the semaphore is never negative, even if there are threads blocked on the semaphore. POSIX is somewhat ambiguous in its wording with regard to what the value of the semaphore should be if there are blocked waiting threads, but this behavior is conformant, given the wording of the specification.