diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2015-03-28 06:32:37 -0400 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2015-03-28 06:32:37 -0400 |
commit | 6b2e8ab641522c61fa520ca47b3008dc65a8aabb (patch) | |
tree | c3c5c40a50cc39c0744cde2a8c84a0cf0190ad58 /driver_evermore.c | |
parent | 5e24bd130a5456d2f5b3b1c6bb2d7222b9613180 (diff) | |
download | gpsd-6b2e8ab641522c61fa520ca47b3008dc65a8aabb.tar.gz |
splint cleanup. Fixes for minor but real issues...
...no attempt to address the weird cross-platfprm variability we've seen lately.
All regression tests pass.
Diffstat (limited to 'driver_evermore.c')
-rw-r--r-- | driver_evermore.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/driver_evermore.c b/driver_evermore.c index c8bc090d..0a26ff96 100644 --- a/driver_evermore.c +++ b/driver_evermore.c @@ -451,7 +451,7 @@ static ssize_t evermore_control_send(struct gps_device_t *session, char *buf, static bool evermore_protocol(struct gps_device_t *session, int protocol) { - /*@ +charint */ + /*@ +charint @*/ char tmp8; char evrm_protocol_config[] = { (char)0x84, /* 0: msg ID, Protocol Configuration */ @@ -459,7 +459,7 @@ static bool evermore_protocol(struct gps_device_t *session, int protocol) (char)0x00, /* 2: reserved */ (char)0x00, /* 3: reserved */ }; - /*@ -charint */ + /*@ -charint @*/ gpsd_log(&session->context->errout, LOG_PROG, "evermore_protocol(%d)\n", protocol); tmp8 = (protocol != 0) ? 1 : 0; |