diff --git a/bacnet-stack/.splintrc b/bacnet-stack/.splintrc new file mode 100644 index 00000000..caf2e8c5 --- /dev/null +++ b/bacnet-stack/.splintrc @@ -0,0 +1,10 @@ +-Iinclude +-Idemo/handler +-Idemo/object +-Iports/linux +-castfcnptr +-fullinitblock +-weak ++posixlib +-skipposixheaders + diff --git a/bacnet-stack/doc/README.todo b/bacnet-stack/doc/README.todo index 073dc9c5..e42422b3 100644 --- a/bacnet-stack/doc/README.todo +++ b/bacnet-stack/doc/README.todo @@ -25,3 +25,4 @@ O. Convert object methods to use an array of object methods P. Convert datalink methods to use function pointers that can be overridden in main.c. Q. Create BACnet router code that uses more than one datalink. +R. splint the code. Make intelligent fixes. diff --git a/bacnet-stack/splint.sh b/bacnet-stack/splint.sh index 2e8a47df..9daefcd0 100755 --- a/bacnet-stack/splint.sh +++ b/bacnet-stack/splint.sh @@ -3,11 +3,17 @@ [ -x /usr/bin/splint ] || exit 0 INCLUDES="-Iinclude -Idemo/handler -Idemo/object -Iports/linux" +SETTINGS="-castfcnptr -fullinitblock -weak +posixlib" + +if [ ! -x .splintrc ] +then + echo ${INCLUDES} ${SETTINGS} > .splintrc +fi directory=${1-`pwd`} for filename in $( find $directory -name '*.c' ) do echo splinting ${filename} - /usr/bin/splint ${INCLUDES} ${filename} + /usr/bin/splint ${filename} done