gpsd-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[gpsd-dev] [PATCH 1/7] Fix two splint annotations.


From: Beat Bolli
Subject: [gpsd-dev] [PATCH 1/7] Fix two splint annotations.
Date: Sat, 2 Nov 2013 18:49:59 +0100

Signed-off-by: Beat Bolli <address@hidden>
---
 libgpsd_core.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/libgpsd_core.c b/libgpsd_core.c
index 1d5038d..d76de68 100644
--- a/libgpsd_core.c
+++ b/libgpsd_core.c
@@ -41,14 +41,14 @@ void gpsd_acquire_reporting_lock(void)
 {
     /*@ -unrecog  (splint has no pthread declarations as yet) @*/
     (void)pthread_mutex_lock(&report_mutex);
-    /* +unrecog */
+    /*@ +unrecog @*/
 }
 
 void gpsd_release_reporting_lock(void)
 {
     /*@ -unrecog (splint has no pthread declarations as yet) @*/
     (void)pthread_mutex_unlock(&report_mutex);
-    /* +unrecog */
+    /*@ +unrecog @*/
 }
 #endif /* PPS_ENABLE */
 
-- 
1.8.4.rc3




reply via email to

[Prev in Thread] Current Thread [Next in Thread]