From: Dale Weiler Date: Mon, 7 Jan 2013 12:40:03 +0000 (+0000) Subject: Merge branch 'master' of github.com:graphitemaster/gmqcc X-Git-Tag: before-library~353 X-Git-Url: https://git.xonotic.org/?p=xonotic%2Fgmqcc.git;a=commitdiff_plain;h=54c8801becfc2e0bc4cf965c1d62e6d75a262fe2;hp=-c Merge branch 'master' of github.com:graphitemaster/gmqcc --- 54c8801becfc2e0bc4cf965c1d62e6d75a262fe2 diff --combined Makefile index 876bdd9,5323003..52e7270 --- a/Makefile +++ b/Makefile @@@ -9,7 -9,7 +9,7 @@@ CYGWIN = $(findstring CYGWIN, $(UNAME MINGW = $(findstring MINGW32, $(UNAME)) CC ?= clang - CFLAGS += -Wall -Wextra -I. -fno-strict-aliasing -fsigned-char -O2 + CFLAGS += -Wall -Wextra -I. -fno-strict-aliasing -fsigned-char CFLAGS += -DGMQCC_GITINFO="`git describe`" #turn on tons of warnings if clang is present # but also turn off the STUPID ONES @@@ -76,57 -76,6 +76,57 @@@ els 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 @@@ -157,7 -106,7 +157,7 @@@ clean rm -f *.o $(GMQCC) $(QCVM) $(TESTSUITE) *.dat splint: - @ ./splint.sh + @ splint $(SPLINTFLAGS) *.c *.h depend: @makedepend -Y -w 65536 2> /dev/null \