diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2011-10-09 09:00:40 -0400 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2011-10-09 09:00:40 -0400 |
commit | a6f20e590e9b485822befc3542caa1f21cdff676 (patch) | |
tree | 0a7a6857dda2943dc5189eff368067f1bd3cf915 /monitor_nmea.c | |
parent | afe4984bb17a7a72764b84d7b959dc0431d0a130 (diff) | |
download | gpsd-a6f20e590e9b485822befc3542caa1f21cdff676.tar.gz |
const and splint cleanup.
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) |