diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2015-01-30 10:08:51 -0500 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2015-01-30 10:10:07 -0500 |
commit | 7de7d9791e85a5a1b2895c111e00a61f3fad76a0 (patch) | |
tree | 0b38a4ff8c780bec31f6ca12591bf0bff6acbeee /libgpsd_core.c | |
parent | a902bbe2261bbb990fdd1ebdcdae6ff52ae5d6eb (diff) | |
download | gpsd-7de7d9791e85a5a1b2895c111e00a61f3fad76a0.tar.gz |
Assertions cleanup and new policy. All regression tests pass.
Diffstat (limited to 'libgpsd_core.c')
-rw-r--r-- | libgpsd_core.c | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/libgpsd_core.c b/libgpsd_core.c index f0191534..bb3ea56c 100644 --- a/libgpsd_core.c +++ b/libgpsd_core.c @@ -62,20 +62,16 @@ static pthread_mutex_t report_mutex; void gpsd_acquire_reporting_lock(void) { - int err; /*@ -unrecog (splint has no pthread declarations as yet) @*/ - err = pthread_mutex_lock(&report_mutex); + pthread_mutex_lock(&report_mutex); /*@ +unrecog @*/ - assert( 0 == err); } void gpsd_release_reporting_lock(void) { - int err; /*@ -unrecog (splint has no pthread declarations as yet) @*/ - err = pthread_mutex_unlock(&report_mutex); + pthread_mutex_unlock(&report_mutex); /*@ +unrecog @*/ - assert( 0 == err); } #endif /* PPS_ENABLE */ |