diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2015-02-09 18:13:24 -0500 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2015-02-09 18:13:24 -0500 |
commit | 2c9e5b2eb52fb2d6eee3f8fc50ee916e68ee017a (patch) | |
tree | 319097a2c8197088687bd9a8000863c20b011239 /monitor_ubx.c | |
parent | 5242310d708875cba0d3042917a0c68ee6d267e7 (diff) | |
download | gpsd-2c9e5b2eb52fb2d6eee3f8fc50ee916e68ee017a.tar.gz |
splint cleanup. All regressiion tests pass.
Diffstat (limited to 'monitor_ubx.c')
-rw-r--r-- | monitor_ubx.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/monitor_ubx.c b/monitor_ubx.c index 4fdfb58a..8b4101e2 100644 --- a/monitor_ubx.c +++ b/monitor_ubx.c @@ -256,23 +256,23 @@ static void ubx_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(ppswin, 1, 13, "> 1 day"); } else { - (void)timespec_str( &timedelta, buf, sizeof(buf) ); - (void)mvwprintw(ppswin, 1, 13, "%s", buf); + (void)timespec_str( &timedelta, buf2, sizeof(buf2) ); + (void)mvwprintw(ppswin, 1, 13, "%s", buf2); } (void)wnoutrefresh(ppswin); } - /*@+type@*/ + /*@+type +noeffect@*/ /*@+compdef@*/ #endif /* PPS_ENABLE */ } |