Fixed warnings found via splint.

This commit is contained in:
skarg
2017-02-14 18:14:58 +00:00
parent e0d302cf31
commit dba03d47bd
2 changed files with 27 additions and 26 deletions
+3 -2
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