endif
endif
+#splint flags
+SPLINTFLAGS = \
+ -redef \
+ -noeffect \
+ -nullderef \
+ -usedef \
+ -type \
+ -mustfreeonly \
+ -nullstate \
+ -varuse \
+ -mustfreefresh \
+ -compdestroy \
+ -compmempass \
+ -nullpass \
+ -onlytrans \
+ -predboolint \
+ -boolops \
+ -exportlocal \
+ -incondefs \
+ -macroredef \
+ -retvalint \
+ -nullret \
+ -predboolothers \
+ -globstate \
+ -dependenttrans \
+ -branchstate \
+ -compdef \
+ -temptrans \
+ -usereleased \
+ -warnposix \
+ -shiftimplementation \
+ +charindex \
+ -kepttrans \
+ -unqualifiedtrans \
+ +matchanyintegral \
+ -bufferoverflowhigh \
+ +voidabstract \
+ -nullassign \
+ -unrecog \
+ -casebreak \
+ -retvalbool \
+ -retvalother \
+ -mayaliasunique \
+ -realcompare \
+ -observertrans \
+ -shiftnegative \
+ -freshtrans \
+ -abstract \
+ -statictrans \
+ -castfcnptr
+
#standard rules
default: all
%.o: %.c
rm -f *.o $(GMQCC) $(QCVM) $(TESTSUITE) *.dat
splint:
- @ ./splint.sh
+ @ splint $(SPLINTFLAGS) *.c *.h
depend:
@makedepend -Y -w 65536 2> /dev/null \
+++ /dev/null
-#!/bin/sh
-
-#these are stupid flags ... i.e to inhibit warnings that are just stupid
-FLAGS_STUPID="\
- -redef \
- -noeffect \
- -nullderef \
- -usedef \
- -type \
- -mustfreeonly \
- -nullstate \
- -varuse \
- -mustfreefresh \
- -compdestroy \
- -compmempass \
- -nullpass \
- -onlytrans \
- -predboolint \
- -boolops \
- -exportlocal \
- -incondefs \
- -macroredef \
- -retvalint \
- -nullret \
- -predboolothers \
- -globstate \
- -dependenttrans \
- -branchstate \
- -compdef \
- -temptrans \
- -usereleased \
- -warnposix"
-
-#flags that have no place anywhere else
-#mostly stupid
-FLAGS_OTHERS="\
- -shiftimplementation \
- +charindex \
- -kepttrans \
- -unqualifiedtrans \
- +matchanyintegral \
- -bufferoverflowhigh \
- +voidabstract"
-
-#these are flags that MAYBE shouldn't be required
-# -nullassign should be surpressed in code with /*@null*/
-# (although that might be odd?)
-FLAGS_MAYBE="\
- -nullassign \
- -unrecog \
- -casebreak \
- -retvalbool \
- -retvalother \
- -mayaliasunique \
- -realcompare \
- -observertrans \
- -shiftnegative \
- -freshtrans \
- -abstract \
- -statictrans"
-
-#these are flags that shouldn't be required. I.e tofix in code so that
-#these don't need to be here to onhibit the warning
-# remove one flag from here at a time while fixing the code so that
-FLAGS_TOFIX="\
- -castfcnptr"
-
-
-splint $FLAGS_STUPID $FLAGS_MAYBE $FLAGS_TOFIX $FLAGS_OTHERS *.c *.h