summaryrefslogtreecommitdiff
path: root/driver_garmin.c
diff options
context:
space:
mode:
authorGary E. Miller <gem@rellim.com>2010-12-17 15:47:49 -0800
committerGary E. Miller <gem@rellim.com>2010-12-17 15:47:49 -0800
commit12d5d815aa3a988d7144cddeab33830351ba6560 (patch)
treec2410bf67aa132efdeb2899ece84d59a542a8e24 /driver_garmin.c
parent71753fa9dcc2bb248e6ca711ecf099ed380b5289 (diff)
downloadgpsd-12d5d815aa3a988d7144cddeab33830351ba6560.tar.gz
Remove splint override of potential errors that are not there.
Diffstat (limited to 'driver_garmin.c')
-rw-r--r--driver_garmin.c6
1 files changed, 3 insertions, 3 deletions
diff --git a/driver_garmin.c b/driver_garmin.c
index fd446778..f37bda10 100644
--- a/driver_garmin.c
+++ b/driver_garmin.c
@@ -818,12 +818,12 @@ static bool is_usb_device(const char *path UNUSED, int vendor, int product)
bool found = false;
gpsd_report(LOG_SHOUT, "attempting USB device enumeration.\n");
- /*@i2@*/ libusb_init(NULL);
+ libusb_init(NULL);
/*@-nullpass@*/
if ((cnt = libusb_get_device_list(NULL, &list)) < 0) {
gpsd_report(LOG_ERROR, "USB device list call failed.\n");
- /*@i1@*/ libusb_exit(NULL);
+ libusb_exit(NULL);
return false;
}
/*@+nullpass@*/
@@ -855,7 +855,7 @@ static bool is_usb_device(const char *path UNUSED, int vendor, int product)
gpsd_report(LOG_SHOUT, "vendor/product match with %04x:%04x %sfound\n",
vendor, product, found ? "" : "not ");
libusb_free_device_list(list, 1);
- /*@i1@*/ libusb_exit(NULL);
+ libusb_exit(NULL);
return found;
}