diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2005-08-03 16:31:46 +0000 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2005-08-03 16:31:46 +0000 |
commit | db1789870b3c86e4d9afa4706fe35bf266da4c02 (patch) | |
tree | 2bff1db608819e221a11b7908a6933e598277a72 /garmin.c | |
parent | 890fd44bc1a0d0095fb1de239d8f929530dc3b27 (diff) | |
download | gpsd-db1789870b3c86e4d9afa4706fe35bf266da4c02.tar.gz |
splint and error-message cleanup.
Diffstat (limited to 'garmin.c')
-rw-r--r-- | garmin.c | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -207,6 +207,7 @@ static gps_mask_t PrintPacket(struct gps_device_t *session, Packet_t *pkt ); static void SendPacket (struct gps_device_t *session, Packet_t *aPacket ); static int GetPacket (struct gps_device_t *session ); +/*@ -branchstate @*/ // For debugging, decodes and prints some known packets. static gps_mask_t PrintPacket(struct gps_device_t *session, Packet_t *pkt) { @@ -273,7 +274,7 @@ static gps_mask_t PrintPacket(struct gps_device_t *session, Packet_t *pkt) msg = "Start RMD data"; break; default: - sprintf( buf, "Unknown: %d", prod_id); + (void)snprintf(buf, sizeof(buf), "Unknown: %u", prod_id); msg = buf; break; } @@ -461,7 +462,7 @@ static gps_mask_t PrintPacket(struct gps_device_t *session, Packet_t *pkt) // private switch( pkt->mPacketId ) { case PRIV_PKTID_SET_MODE: - prod_id = get_int(&pkt->mData.uchars[0]); + prod_id = (unsigned short)get_int(&pkt->mData.uchars[0]); gpsd_report(3, "Private, Set Mode: %d\n", prod_id); break; case PRIV_PKTID_INFO_REQ: @@ -496,6 +497,7 @@ static gps_mask_t PrintPacket(struct gps_device_t *session, Packet_t *pkt) return mask; } +/*@ +branchstate @*/ //----------------------------------------------------------------------------- // send a packet in GarminUSB format |