Merge branch 'master' of github.com:graphitemaster/gmqcc

diff --combined Makefile
index 876bdd965c0685f7cb37d778b7f42350fd91db97,532300385e8cf9bf520bec357bc77a7a6646a5ff..52e7270fd66a705fe4e8c9b87f89791c4406a55d
--- 1/Makefile
--- 2/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 \