From 2c9e5b2eb52fb2d6eee3f8fc50ee916e68ee017a Mon Sep 17 00:00:00 2001
From: "Eric S. Raymond" <esr@thyrsus.com>
Date: Mon, 9 Feb 2015 18:13:24 -0500
Subject: splint cleanup.  All regressiion tests pass.

---
 driver_nmea2000.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'driver_nmea2000.c')

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);
 }
-- 
cgit v1.2.1