diff options
Diffstat (limited to 'monitor_nmea.c')
| -rw-r--r-- | monitor_nmea.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/monitor_nmea.c b/monitor_nmea.c index 2cdac01f..fb03258b 100644 --- a/monitor_nmea.c +++ b/monitor_nmea.c @@ -38,7 +38,11 @@ static bool nmea_initialize(void) { int i; - /*@ -onlytrans @*/ + /* splint pacification */ + assert(nmeawin!=NULL && cookedwin!=NULL && satwin!=NULL && gprmcwin!=NULL + && gpggawin!= NULL && gpgstwin!=NULL && gpgsawin!=NULL); + + /*@ -globstate -onlytrans @*/ cookedwin = derwin(devicewin, 3, 80, 0, 0); (void)wborder(cookedwin, 0, 0, 0, 0, 0, 0, 0, 0); (void)syncok(cookedwin, true); @@ -124,6 +128,7 @@ static bool nmea_initialize(void) last_tick = timestamp(); return (nmeawin != NULL); + /*@ +globstate @*/ } static void cooked_pvt(void) |