report sem value overflows in sem_post

this is not required by the standard, but it's nicer than corrupting
the state and rather inexpensive.
1 file changed