Re: [gpsd-dev] [gpsd-commit-watch] [SCM] GPSD branch, master, updated. release-3.11-311-g7de7d97

[Gary E. Miller]

Yo Eric!

You removed the assert()s I just added.  The ones that start to show
Hal's problem!

On Fri, 30 Jan 2015 15:10:30 +0000
"Eric S. Raymond" <address@hidden> wrote:

> commit 7de7d9791e85a5a1b2895c111e00a61f3fad76a0 Author: Eric S.
> Raymond <address@hidden> Date:   Fri Jan 30 10:08:51 2015 -0500
> 
>     Assertions cleanup and new policy.  All regression tests pass.
> 

diff --git a/libgpsd_core.c b/libgpsd_core.c
index f019153..bb3ea56 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);
}

RGDS
GARY
---------------------------------------------------------------------------
Gary E. Miller Rellim 109 NW Wilmington Ave., Suite E, Bend, OR 97701
        address@hidden  Tel:+1(541)382-8588