Scan-build and splint cleanup. All regression tests pass.

1 files changed, 1 insertions, 1 deletions

diff --git a/gpsmon.c b/gpsmon.c
index 1986f39b..a243d3a9 100644
--- a/gpsmon.c
+++ b/gpsmon.c
@@ -328,7 +328,7 @@ bool monitor_control_send( /*@in@*/ unsigned char *buf, size_t len)
 
 	if (!serial) {
 	    /* stop pretending now */
-	    session.gpsdata.gps_fd = savefd;
+	    /*@i1@*/session.gpsdata.gps_fd = savefd;
 	    /* enough room for "ERROR\r\n\0" */
 	    /*@ -sefparams @*/
 	    assert(read(controlfd, buf, 8) != -1);