stv0g/re
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

mk: remove support for splint (#96)

Browse source 
splint is no longer supported by libre.
the last release of splint was splint 3.1.2 in 2007
This commit is contained in:
Alfred E. Heggestad 2017-11-24 08:10:37 +01:00 • committed by Richard Aas
parent bd9e1fe5ba
commit ce68a8f09d
1 changed files with 0 additions and 83 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

83
mk/re.mk
View file

@ -788,89 +788,6 @@ LIBRE_SO := $(shell [ -f /usr/lib64/libre$(LIB_SUFFIX) ] && echo "/usr/lib64")
endif
##############################################################################
#
# Splint section
#
SPLINT_OPTIONS += +unixlib
SPLINT_OPTIONS += +skipsysheaders
SPLINT_OPTIONS += -noeffect # Statement has no effect: (void)reg
SPLINT_OPTIONS += -compdef # Passed storage buf not completely..
SPLINT_OPTIONS += -mustfreefresh # Fresh storage st not released before
SPLINT_OPTIONS += -nullret # Null storage returned as non-null
SPLINT_OPTIONS += -compmempass
SPLINT_OPTIONS += -observertrans # Observer storage returned without..
SPLINT_OPTIONS += -fixedformalarray # e.g. param: int linesize[4]
SPLINT_OPTIONS += +voidabstract
# these options can be tuned:
SPLINT_OPTIONS += -mayaliasunique # Parameter 1 (ua->stat.rphrase)
SPLINT_OPTIONS += -boolops # Left operand of && is non-boolean
SPLINT_OPTIONS += -nullpass # Possibly null storage resp passed..
SPLINT_OPTIONS += -type
SPLINT_OPTIONS += -mustfreeonly # Implicitly only storage ua->callt..
SPLINT_OPTIONS += -nullassign
SPLINT_OPTIONS += -unrecog # Unrecognized identifier: strdup
SPLINT_OPTIONS += -unqualifiedtrans # Unqualified storage ua->lhost assign
SPLINT_OPTIONS += -temptrans # Implicitly temp storage assigned to
SPLINT_OPTIONS += -usereleased
SPLINT_OPTIONS += -predboolint
SPLINT_OPTIONS += -statictrans
SPLINT_OPTIONS += -globstate # Function returns with global..
SPLINT_OPTIONS += -compdestroy # Only storage call->conf derived
SPLINT_OPTIONS += -onlytrans # Only storage alias->mb assigned
SPLINT_OPTIONS += -shiftimplementation
SPLINT_OPTIONS += -shiftnegative
SPLINT_OPTIONS += -predboolothers
SPLINT_OPTIONS += -nullstate # Null storage ct->timer_a derivable..
SPLINT_OPTIONS += -redef # Enum member T1 defined more than once
SPLINT_OPTIONS += -usedef # Variable tv used before definition
SPLINT_OPTIONS += -dependenttrans # Dependent storage m returned as..
SPLINT_OPTIONS += -immediatetrans # Immediate address &xyz returned
SPLINT_OPTIONS += -branchstate # Storage is released in one path
SPLINT_OPTIONS += -kepttrans # Kept storage le assigned to implic..
SPLINT_OPTIONS += -incondefs
SPLINT_OPTIONS += -exportlocal
SPLINT_OPTIONS += -nullderef
SPLINT_OPTIONS += -fullinitblock # problem in main/main.c init block
SPLINT_OPTIONS += -evalorder # problem with e.g. foo(rand(), rand())
SPLINT_OPTIONS += -uniondef # union in struct sa
SPLINT_OPTIONS += -realcompare # tping: comp double types rtt < 0
SPLINT_OPTIONS += -fcnuse
SPLINT_OPTIONS += -retvalother # Return value ignored (not int)
SPLINT_OPTIONS += -Iinclude -I$(LIBRE_INC)
SPLINT_OPTIONS += -DHAVE_GETOPT -DHAVE_POLL -DHAVE_STDBOOL_H
SPLINT_OPTIONS += -DHAVE_INET_NTOP -DHAVE_INET_PTON -DHAVE_INET6
# ignore these files for now
SPLINT_IGNORE := src/tls/openssl/tls.c src/tls/openssl/tls_tcp.c
SPLINT_IGNORE += src/dns/darwin/srv.c src/aes/openssl/aes.c
SPLINT_SOURCES += $(filter-out $(SPLINT_IGNORE), $(patsubst %,src/%,$(SRCS)))
splint-sources:
@echo $(SPLINT_SOURCES)
splint-all:
@splint $(SPLINT_LIBS) $(SPLINT_OPTIONS) $(SPLINT_SOURCES)
splint:
@for n in $(SPLINT_SOURCES); do \
splint $(SPLINT_LIBS) $(SPLINT_OPTIONS) $${n} 2>/dev/null ; \
done
splint-verbose:
@for n in $(SPLINT_SOURCES); do \
echo "running splint on $${n}"; \
splint $(SPLINT_LIBS) $(SPLINT_OPTIONS) $${n} ; \
done
splint-test:
@splint $(SPLINT_LIBS) $(SPLINT_OPTIONS) test.c
###############################################################################
#
# Clang section