-predboolint \
-boolops \
-exportlocal \
+ -incondefs \
+ -macroredef \
-retvalint \
-nullret \
-predboolothers \
-mayaliasunique \
-realcompare \
-observertrans \
- -noret \
-shiftnegative \
- -exitarg \
-freshtrans \
-abstract \
-statictrans"
#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="\
- -boolcompare \
- -incondefs \
- -initallelements \
- -macroredef \
- -castfcnptr \
- -evalorder"
+ -castfcnptr"
splint $FLAGS_STUPID $FLAGS_MAYBE $FLAGS_TOFIX $FLAGS_OTHERS *.c *.h