From 97b19c07c8b17b6c9205577b9a9ef09a87e93037 Mon Sep 17 00:00:00 2001 From: skarg Date: Wed, 28 Nov 2007 23:02:32 +0000 Subject: [PATCH] running splint on the code. --- bacnet-stack/.splintrc | 10 ++++++++++ bacnet-stack/doc/README.todo | 1 + bacnet-stack/splint.sh | 8 +++++++- 3 files changed, 18 insertions(+), 1 deletion(-) create mode 100644 bacnet-stack/.splintrc 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