diff options
Diffstat (limited to 'libgpsd_core.c')
-rw-r--r-- | libgpsd_core.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libgpsd_core.c b/libgpsd_core.c index 547d2dff..7a667a1d 100644 --- a/libgpsd_core.c +++ b/libgpsd_core.c @@ -173,12 +173,13 @@ static void gpsd_run_device_hook(const int debuglevel, } } +/*@-kepttrans@*/ int gpsd_switch_driver(struct gps_device_t *session, char *type_name) { /*@-mustfreeonly@*/ const struct gps_type_t **dp; bool first_sync = (session->device_type != NULL); - int i; + unsigned int i; if (first_sync && strcmp(session->device_type->type_name, type_name) == 0) return 0; @@ -212,6 +213,7 @@ int gpsd_switch_driver(struct gps_device_t *session, char *type_name) /*@ +compmempass @*/ /*@+mustfreeonly@*/ } +/*@+kepttrans@*/ /*@-compdestroy@*/ void gps_context_init(struct gps_context_t *context) |