mirror/bacnet-stack
1
0
Fork 0
mirror of https://github.com/stargieg/bacnet-stack synced 2025-10-19 23:25:23 +08:00
Code Issues Releases Wiki Activity

[r3123] Fixed warnings found via splint.

Browse Source
This commit is contained in:
Steve Karg 2017-02-14 19:14:58 +01:00 committed by Patrick Grimm
parent a070401d7f
commit 15804701db
2 changed files with 27 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
splint.sh
View File

@ -8,6 +8,7 @@ SPLINT=/usr/bin/splint
DEFINES="-D__signed__=signed -D__gnuc_va_list=va_list"
INCLUDES="-Iinclude -Idemo/object -Iports/linux"
SETTINGS="-castfcnptr -fullinitblock -initallelements -weak -warnposixheaders"
SPLINT_LOGFILE=splint_output.txt
if [ ! -e .splintrc ]
then
@ -19,7 +20,7 @@ rm -f splint_output.txt
touch splint_output.txt
for filename in $( find $directory -name '*.c' )
do
echo splinting ${filename}
${SPLINT} ${filename} >> splint_output.txt 2>&1
echo splinting ${filename} >> ${SPLINT_LOGFILE}
${SPLINT} ${filename} >> ${SPLINT_LOGFILE} 2>&1
done

48
src/bvlc6.c
View File

@ -145,7 +145,7 @@ int bvlc6_encode_result(
if (bytes_encoded == 4) {
encode_unsigned24(&pdu[4], vmac);
encode_unsigned16(&pdu[7], result_code);
bytes_encoded = length;
bytes_encoded = (int)length;
}
}
@ -231,7 +231,7 @@ int bvlc6_encode_original_unicast(
pdu[10+i] = npdu[i];
}
}
bytes_encoded = length;
bytes_encoded = (int)length;
}
}
@ -279,7 +279,7 @@ int bvlc6_decode_original_unicast(
if (npdu_len) {
*npdu_len = length;
}
bytes_consumed = pdu_len;
bytes_consumed = (int)pdu_len;
}
return bytes_consumed;
@ -328,7 +328,7 @@ int bvlc6_encode_original_broadcast(
pdu[7+i] = npdu[i];
}
}
bytes_encoded = length;
bytes_encoded = (int)length;
}
}
@ -371,7 +371,7 @@ int bvlc6_decode_original_broadcast(
if (npdu_len) {
*npdu_len = length;
}
bytes_consumed = pdu_len;
bytes_consumed = (int)pdu_len;
}
return bytes_consumed;
@ -414,7 +414,7 @@ int bvlc6_encode_address_resolution(
if (bytes_encoded == 4) {
encode_unsigned24(&pdu[4], vmac_src);
encode_unsigned24(&pdu[7], vmac_target);
bytes_encoded = length;
bytes_encoded = (int)length;
}
}
@ -478,7 +478,7 @@ int bvlc6_encode_address(
pdu[i] = bip6_address->address[i];
}
encode_unsigned16(&pdu[IP6_ADDRESS_MAX], bip6_address->port);
bytes_encoded = length;
bytes_encoded = (int)length;
}
return bytes_encoded;
@ -506,7 +506,7 @@ int bvlc6_decode_address(
bip6_address->address[i] = pdu[i];
}
decode_unsigned16(&pdu[IP6_ADDRESS_MAX], &bip6_address->port);
bytes_consumed = length;
bytes_consumed = (int)length;
}
return bytes_consumed;
@ -777,7 +777,7 @@ int bvlc6_encode_forwarded_address_resolution(
encode_unsigned24(&pdu[offset], vmac_target);
offset += 3;
bvlc6_encode_address(&pdu[offset], pdu_size-offset, bip6_address);
bytes_encoded = length;
bytes_encoded = (int)length;
}
}
@ -817,7 +817,7 @@ int bvlc6_decode_forwarded_address_resolution(
if (bip6_address) {
bvlc6_decode_address(&pdu[offset], pdu_len-offset, bip6_address);
}
bytes_consumed = length;
bytes_consumed = (int)length;
}
return bytes_consumed;
@ -853,7 +853,7 @@ static int bvlc6_encode_address_ack(
encode_unsigned24(&pdu[offset], vmac_src);
offset += 3;
encode_unsigned24(&pdu[offset], vmac_dst);
bytes_encoded = length;
bytes_encoded = (int)length;
}
}
@ -916,7 +916,7 @@ int bvlc6_decode_address_resolution_ack(
if (vmac_dst) {
decode_unsigned24(&pdu[offset], vmac_dst);
}
bytes_consumed = length;
bytes_consumed = (int)length;
}
return bytes_consumed;
@ -952,7 +952,7 @@ int bvlc6_encode_virtual_address_resolution(
BVLC6_VIRTUAL_ADDRESS_RESOLUTION, length);
if (bytes_encoded == 4) {
encode_unsigned24(&pdu[4], vmac_src);
bytes_encoded = length;
bytes_encoded = (int)length;
}
}
@ -1085,7 +1085,7 @@ int bvlc6_encode_forwarded_npdu(
pdu[offset+i] = npdu[i];
}
}
bytes_encoded = length;
bytes_encoded = (int)length;
}
}
@ -1138,7 +1138,7 @@ int bvlc6_decode_forwarded_npdu(
if (npdu_len) {
*npdu_len = length;
}
bytes_consumed = pdu_len;
bytes_consumed = (int)pdu_len;
}
return bytes_consumed;
@ -1182,7 +1182,7 @@ int bvlc6_encode_register_foreign_device(
encode_unsigned24(&pdu[offset], vmac_src);
offset += 3;
encode_unsigned16(&pdu[offset], ttl_seconds);
bytes_encoded = length;
bytes_encoded = (int)length;
}
}
@ -1216,7 +1216,7 @@ int bvlc6_decode_register_foreign_device(
if (ttl_seconds) {
decode_unsigned16(&pdu[offset], ttl_seconds);
}
bytes_consumed = length;
bytes_consumed = (int)length;
}
return bytes_consumed;
@ -1268,7 +1268,7 @@ int bvlc6_encode_delete_foreign_device(
offset += 2;
encode_unsigned16(&pdu[offset],
fdt_entry->ttl_seconds_remaining);
bytes_encoded = length;
bytes_encoded = (int)length;
}
}
}
@ -1311,9 +1311,9 @@ int bvlc6_decode_delete_foreign_device(
offset += 2;
decode_unsigned16(&pdu[offset],
&fdt_entry->ttl_seconds_remaining);
bytes_consumed = length;
bytes_consumed = (int)length;
}
bytes_consumed = length;
bytes_consumed = (int)length;
}
return bytes_consumed;
@ -1357,7 +1357,7 @@ int bvlc6_encode_secure_bvll(
pdu[4+i] = sbuf[i];
}
}
bytes_encoded = length;
bytes_encoded = (int)length;
}
}
@ -1393,7 +1393,7 @@ int bvlc6_decode_secure_bvll(
sbuf[i] = pdu[i];
}
}
bytes_consumed = pdu_len;
bytes_consumed = (int)pdu_len;
}
return bytes_consumed;
@ -1446,7 +1446,7 @@ int bvlc6_encode_distribute_broadcast_to_network(
pdu[7+i] = npdu[i];
}
}
bytes_encoded = length;
bytes_encoded = (int)length;
}
}
@ -1489,7 +1489,7 @@ int bvlc6_decode_distribute_broadcast_to_network(
if (npdu_len) {
*npdu_len = length;
}
bytes_consumed = pdu_len;
bytes_consumed = (int)pdu_len;
}
return bytes_consumed;