diff options
-rw-r--r-- | monitor_garmin.c | 9 | ||||
-rw-r--r-- | monitor_nmea.c | 1 |
2 files changed, 6 insertions, 4 deletions
diff --git a/monitor_garmin.c b/monitor_garmin.c index 5f155f18..a3cfc736 100644 --- a/monitor_garmin.c +++ b/monitor_garmin.c @@ -148,19 +148,20 @@ static bool garmin_bin_initialize(void) /*@+globstate@*/ } -/*@ -globstate */ +/*@ -globstate -compdef */ static void garmin_bin_update(uint16_t pkt_id, uint32_t pkt_size UNUSED, unsigned char *pkt_data) { int i; cpo_sat_data *sats = NULL; cpo_pvt_data *pvt = NULL; - cpo_rcv_data *rmd = NULL; + //cpo_rcv_data *rmd = NULL; char tbuf[JSON_DATE_MAX+1]; switch (pkt_id) { case 0x29: /* Receiver Measurement Record */ case 0x34: - rmd = (cpo_rcv_data *)pkt_data; /* for future use */ + /* for future use */ + //rmd = (cpo_rcv_data *)pkt_data; monitor_log("RMD 0x%02x=", pkt_id); break; @@ -274,7 +275,7 @@ static void garmin_bin_ser_update(void) monitor_log("BAD 0x%02x=", buf[1]); } } -/*@ +globstate */ +/*@ +globstate +compdef */ static void garmin_bin_wrap(void) { diff --git a/monitor_nmea.c b/monitor_nmea.c index 9deb7ebe..e69dce93 100644 --- a/monitor_nmea.c +++ b/monitor_nmea.c @@ -185,6 +185,7 @@ static void nmea_update(void) int ymax, xmax; timestamp_t now; getmaxyx(nmeawin, ymax, xmax); + assert(ymax > 0); if (strstr(sentences, fields[0]) == NULL) { char *s_end = sentences + strlen(sentences); if ((int)(strlen(sentences) + strlen(fields[0])) < xmax - 2) { |