diff options
Diffstat (limited to 'monitor_nmea0183.c')
| -rw-r--r-- | monitor_nmea0183.c | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/monitor_nmea0183.c b/monitor_nmea0183.c index 5bab9efa..ff34b8f9 100644 --- a/monitor_nmea0183.c +++ b/monitor_nmea0183.c @@ -12,9 +12,7 @@ #include <stdlib.h> /* for labs() */ #include <assert.h> #include <stdarg.h> -#ifndef S_SPLINT_S #include <unistd.h> -#endif /* S_SPLINT_S */ #include "gpsd.h" #include "gpsmon.h" @@ -41,7 +39,6 @@ static bool nmea_initialize(void) { int i; - /*@ -globstate -onlytrans @*/ cookedwin = derwin(devicewin, 3, 80, 0, 0); assert(cookedwin !=NULL); (void)wborder(cookedwin, 0, 0, 0, 0, 0, 0, 0, 0); @@ -142,14 +139,12 @@ static bool nmea_initialize(void) (void)mvwprintw(gpgstwin, 5, 12, " GST "); (void)wattrset(gpgstwin, A_NORMAL); - /*@ +onlytrans @*/ last_tick = timestamp(); sentences[0] = '\0'; return (nmeawin != NULL); - /*@ +globstate @*/ } static void cooked_pvt(void) @@ -211,7 +206,6 @@ static void monitor_satlist(WINDOW *win, int y, int x) monitor_fixframe(win); } -/*@ -globstate -nullpass (splint is confused) */ static void nmea_update(void) { char **fields; @@ -349,8 +343,6 @@ static void nmea_update(void) #endif /* PPS_ENABLE */ } -/*@ +globstate +nullpass */ - #undef SENTENCELINE static void nmea_wrap(void) |