diff options
| author | Eric S. Raymond <esr@thyrsus.com> | 2009-03-04 21:38:51 +0000 |
|---|---|---|
| committer | Eric S. Raymond <esr@thyrsus.com> | 2009-03-04 21:38:51 +0000 |
| commit | 8fcf5e5149bb406e65b913edcdcc0c800fdc259b (patch) | |
| tree | 12e294002c48c4c01a56c6a078e32db4064e990a /gpsdclient.c | |
| parent | 6dbbd37f7075492bf0a44660bc2d8ffa05b5f71f (diff) | |
| download | gpsd-8fcf5e5149bb406e65b913edcdcc0c800fdc259b.tar.gz | |
splint cleanup.
Diffstat (limited to 'gpsdclient.c')
| -rw-r--r-- | gpsdclient.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gpsdclient.c b/gpsdclient.c index 90a6a13d..7d99ffb2 100644 --- a/gpsdclient.c +++ b/gpsdclient.c @@ -8,6 +8,7 @@ #include <errno.h> #include <stdarg.h> #include <math.h> +#include <assert.h> #include "gpsd_config.h" #include "gps.h" @@ -126,7 +127,7 @@ enum unit gpsd_units(void) return unspecified; } -/*@ -observertrans -nullpass -statictrans -mustfreeonly -kepttrans @*/ +/*@ -observertrans -statictrans -mustfreeonly -branchstate -kepttrans @*/ void gpsd_source_spec(const char *arg, struct fixsource_t *source) /* standard parsing of a GPS data source spec */ { @@ -137,6 +138,7 @@ void gpsd_source_spec(const char *arg, struct fixsource_t *source) if (arg != NULL) { char *colon1; source->spec = strdup(arg); + assert(source->spec != NULL); colon1 = strchr(source->spec, ':'); if (colon1 != NULL) { @@ -157,7 +159,7 @@ void gpsd_source_spec(const char *arg, struct fixsource_t *source) } } } -/*@ +observertrans +nullpass +statictrans +mustfreeonly +kepttrans @*/ +/*@ +observertrans -statictrans +mustfreeonly +branchstate +kepttrans @*/ /* gpsclient.c ends here */ |