summaryrefslogtreecommitdiff
path: root/driver_nmea2000.c
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>2015-02-09 18:13:24 -0500
committerEric S. Raymond <esr@thyrsus.com>2015-02-09 18:13:24 -0500
commit2c9e5b2eb52fb2d6eee3f8fc50ee916e68ee017a (patch)
tree319097a2c8197088687bd9a8000863c20b011239 /driver_nmea2000.c
parent5242310d708875cba0d3042917a0c68ee6d267e7 (diff)
downloadgpsd-2c9e5b2eb52fb2d6eee3f8fc50ee916e68ee017a.tar.gz
splint cleanup. All regressiion tests pass.
Diffstat (limited to 'driver_nmea2000.c')
-rw-r--r--driver_nmea2000.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/driver_nmea2000.c b/driver_nmea2000.c
index cab2ec4f..628abd7d 100644
--- a/driver_nmea2000.c
+++ b/driver_nmea2000.c
@@ -67,7 +67,7 @@ static int scale_int(int32_t var, const int64_t factor)
ret = var;
ret *= factor;
- ret >>= 32;
+ /*@i1@*/ret >>= 32;
return((int)ret);
}