Skip to content
Browse files

when unlocking an unlocked mutex, pthread_mutex_unlock() should alway…

…s produce EPERM for any type of mutex -- see test mutex7.c
  • Loading branch information...
1 parent 7f260fc commit 80392281abf08e5cc96cd599f8e1e114c0866c99 @GerHobbelt committed Jul 20, 2011
Showing with 4 additions and 0 deletions.
  1. +4 −0 pthread_mutex_unlock.c
View
4 pthread_mutex_unlock.c
@@ -81,6 +81,10 @@ pthread_mutex_unlock (pthread_mutex_t * mutex)
}
}
}
+ else /* [i_a] when unlocking an unlocked mutex, pthread_mutex_unlock() should always produce EPERM for any type of mutex -- see test mutex7.c */
+ {
+ result = EPERM;
+ }
}
else
{

0 comments on commit 8039228

Please sign in to comment.
Something went wrong with that request. Please try again.