splint cleanup.

1 files changed, 2 insertions, 0 deletions

diff --git a/gpspipe.c b/gpspipe.c
index 7a1dd2ba..1e0a5c54 100644
--- a/gpspipe.c
+++ b/gpspipe.c
@@ -177,6 +177,7 @@ int main(int argc, char **argv)
     char *serialport = NULL;
     char *outfile = NULL;
 
+    /*@-branchstate@*/
     flags = WATCH_ENABLE;
     while ((option = getopt(argc, argv, "?dD:lhrRwtT:vVn:s:o:")) != -1) {
 	switch (option) {
@@ -238,6 +239,7 @@ int main(int argc, char **argv)
 	    exit(1);
 	}
     }
+    /*@+branchstate@*/
 
     /* Grok the server, port, and device. */
     if (optind < argc) {