splint cleanup. All regressiion tests pass.

1 files changed, 5 insertions, 5 deletions

diff --git a/monitor_sirf.c b/monitor_sirf.c
index 16371d50..f99a85ac 100644
--- a/monitor_sirf.c
+++ b/monitor_sirf.c
@@ -589,23 +589,23 @@ static void sirf_update(void)
 
 #ifdef PPS_ENABLE
     /*@-compdef@*/
-    /*@-type@*/ /* splint is confused about struct timespec */
+    /*@-type -noeffect@*/ /* splint is confused about struct timespec */
     if (pps_thread_lastpps(&session, &drift) > 0) {
 	/* NOTE: can not use double here due to precision requirements */
 	struct timespec timedelta;
-        char buf[22];
+        char buf2[22];
 	TS_SUB( &timedelta, &drift.clock, &drift.real);
         if ( 86400 < (long)labs(timedelta.tv_sec) ) {
 	    /* more than one day off, overflow */
             /* need a bigger field to show it */
 	    (void)mvwprintw(mid7win, 2, 39, "> 1 day");
         } else {
-	    (void)timespec_str( &timedelta, buf, sizeof(buf) );
-	    (void)mvwprintw(mid7win, 4, 39, "%s", buf);
+	    (void)timespec_str( &timedelta, buf2, sizeof(buf2) );
+	    (void)mvwprintw(mid7win, 4, 39, "%s", buf2);
         }
 	(void)wnoutrefresh(mid7win);
     }
-    /*@+type@*/
+    /*@+type +noeffect@*/
     /*@+compdef@*/
 #endif /* PPS_ENABLE */
 }