From e03726b9a8f029c4584ea967a3cbaf768176b628 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Mon, 18 Jan 2021 11:55:05 -0800 Subject: Updated splint rule --- Makefile | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 06b0854..5a29553 100644 --- a/Makefile +++ b/Makefile @@ -28,11 +28,14 @@ leaktest: valgrind --leak-check=full ./bp -l -g grammars/bp.bp -p Grammar grammars/bp.bp splint: - splint -posix-lib -standard -mustfreefresh -mustfreeonly -temptrans -immediatetrans -branchstate \ - -compmempass -nullret -nullpass -nullderef -kepttrans -boolops -initallelements -fullinitblock \ - -compdef -usereleased -unrecog -dependenttrans -predboolothers -ownedtrans -unqualifiedtrans \ - -onlytrans -usedef -nullassign -compdestroy -globstate -nullstate -statictrans -predboolint \ - $(CFILES) bp.c + splint -posix-lib -weak -unrecog -initallelements -fullinitblock $(CFILES) bp.c + +#splint: +# splint -posix-lib -checks -mustfreefresh -mustfreeonly -temptrans -immediatetrans -branchstate \ +# -compmempass -nullret -nullpass -nullderef -kepttrans -boolops -initallelements -fullinitblock \ +# -compdef -usereleased -unrecog -dependenttrans -predboolothers -ownedtrans -unqualifiedtrans \ +# -onlytrans -usedef -nullassign -compdestroy -globstate -nullstate -statictrans -predboolint \ +# $(CFILES) bp.c install: $(NAME) mkdir -p -m 755 "$(PREFIX)/share/man/man1" "$(PREFIX)/bin" "$(SYSCONFDIR)/xdg/$(NAME)" -- cgit v1.2.3