SPLINTRN = $(SPLINTP) -hints -booltype "bool"\r
SPLINTR = $(SPLINTRN) -exportlocal +debugfcnconstraint\r
\r
-SPLINTRNNEST = $(SPLINTPNEST) -hints -booltype "bool"\r
+SPLINTRNNEST = $(SPLINTPNEST) -hints -booltype bool\r
SPLINTRNEST = $(SPLINTRNNEST) -exportlocal +debugfcnconstraint\r
\r
###\r
$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1\r
$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2\r
$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3\r
- $(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 3\r
+ $(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 4\r
\r
.PHONY: compoundliterals\r
compoundliterals:\r
.PHONY: decl\r
decl:\r
$(SPLINTR) decl.c -expect 2\r
- $(SPLINTRN) decl.c +strict -exportlocal -expect 5\r
+ $(SPLINTRN) decl.c +strict -exportlocal -expect 6\r
$(SPLINTR) decl2 -expect 4\r
\r
.PHONY: divzero\r
.PHONY: moduncon\r
moduncon:\r
$(SPLINTR) moduncon.c +moduncon -memchecks -expect 4\r
- $(SPLINTRN) moduncon.c +strict -exportlocal -expect 22\r
+ $(SPLINTRN) moduncon.c +strict +impboundsconstraints -exportlocal -expect 22 \r
\r
.PHONY: mongoincludes\r
mongoincludes:\r
preds:\r
$(SPLINTR) +hints preds.c -expect 6\r
$(SPLINTRN) +hints preds.c -weak -expect 1\r
- $(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 10\r
+ $(SPLINTRN) +hints preds.c -strict +impboundsconstraints -exportlocal -exportheader -expect 10\r
\r
.PHONY: prefixes\r
prefixes:\r
\r
.PHONY: $(SUBDIRTESTS1)\r
$(SUBDIRTESTS1):\r
- cd $@; $(MAKE) SPLINT="$(SPLINTRNNEST)"\r
+ $(MAKE) -C $@ SPLINT="$(SPLINTRNNEST)"\r
\r
.PHONY: $(SUBDIRTESTS2)\r
$(SUBDIRTESTS2):\r
- cd $@; $(MAKE) SPLINT="$(SPLINTRNNEST)" -f Makefile.os2\r
+ $(MAKE) -C $@ SPLINT="$(SPLINTRNNEST)" -f Makefile.os2\r
\r
# sizesigns.c sizesigns.expect \\r
# Tell versions [3.59,3.63) of GNU make to not export all variables.\r