globalsClause.c modifiesClause.c warnClause.c functionClause.c \
functionClauseList.c metaStateConstraint.c metaStateConstraintList.c \
metaStateExpression.c metaStateSpecifier.c functionConstraint.c \
- pointers.c
+ pointers.c cscannerHelp.c
SPLINTSRC = exprNode.c exprChecks.c llmain.c help.c rcfiles.c
GRAMSRC = cgrammar.c cscanner.c mtscanner.c mtgrammar.c llgrammar.c signature.c
-OVERFLOWCHSRC = constraintGeneration.c constraintTerm.c \
+OVERFLOWCHSRC = constraintList.c constraintResolve.c \
+ constraintGeneration.c constraintTerm.c \
constraintExprData.c constraintExpr.c constraint.c \
- constraintList.c constraintResolve.c \
- constraintOutput.c loopHeuristics.c
+ loopHeuristics.c
GENERALSRC = exprData.c cstring.c fileloc.c message.c inputStream.c \
Headers/declaratorInvNodeList.h Headers/pairNodeList.h \
Headers/declaratorNode.h Headers/paramNode.h \
Headers/declaratorNodeList.h Headers/paramNodeList.h \
- Headers/dmalloc.h Headers/portab.h \
+ Headers/dmalloc.h Headers/osd.h \
Headers/ekind.h Headers/pp.h \
Headers/enumNameList.h Headers/privateNode.h \
Headers/enumNameSList.h Headers/programNode.h \
Headers/letDeclNodeList.h Headers/typeNameNodeList.h \
Headers/lh.h Headers/typeNamePack.h \
Headers/limwr.h Headers/typeNode.h \
- Headers/llbasic.h Headers/uentry.h \
+ Headers/uentry.h \
Headers/llerror.h Headers/uentryList.h \
Headers/llglobals.h Headers/usymId.h \
Headers/llgrammar2.h Headers/usymIdSet.h \
- Headers/llgrammar_gen2.h Headers/usymtab-branch.h \
+ Headers/llgrammar_gen2.h \
Headers/llgrammar_gen.h Headers/usymtab.h \
Headers/llgrammar.h Headers/usymtab_interface.h \
Headers/llmain.h Headers/valueMatrix.h \
Headers/lsymbol.h Headers/version.h \
Headers/lsymbolList.h Headers/warnClause.h \
Headers/lsymbolSet.h Headers/ynm.h \
- Headers/ltoken.h Headers/splintMacros.nf
+ Headers/ltoken.h Headers/splintMacros.nf \
+ Headers/typeId.h \
+ Headers/pointers.h Headers/mstring.h Headers/help.h
IFILES = ctbase.i cttable.i exprDataQuite.i
EXTRA_DIST = $(BISON_SRC) bison.head bison.reset $(HEADERSRC) \
flags.def cscanner.l flex.head flex.reset $(IFILES) \
- Headers/256_random_numbers.nf Headers/splintMacros.nf Headers/reservedNames.nf Makefile.binary.am Makefile.binary.in
+ .splintrc LICENSE \
+ Headers/cscannerHelp.h \
+ Headers/256_random_numbers.nf Headers/splintMacros.nf Headers/reservedNames.nf
+#Makefile.binary.am Makefile.binary.in
#Files that are used on systems that do not have bison or yacc
DER_BISON_FILES = signature.c.der cgrammar.c.der mtgrammar.c.der \
ALLSRC = $(GRAMSRC) $(COMMONSRC) $(SPLINTSRC) $(OVERFLOWCHSRC) $(DER_FILES) $(HEADERSRC)
#files to run Splint on
-LINTSRC = $(COMMONSRC) $(SPLINTSRC) cscanner.c cgrammar.c
+LINTSRC = $(COMMONSRC) $(SPLINTSRC)
+# cscanner.c cgrammar.c
#ALLSRC = $(COMMONSRC) $(SPLINTSRC) $(DER_FILES) $(HEADERSRC)
LCLSRC = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(CMNSRC) $(LCLONLYSRC)
functionClause.$(OBJEXT) functionClauseList.$(OBJEXT) \
metaStateConstraint.$(OBJEXT) metaStateConstraintList.$(OBJEXT) \
metaStateExpression.$(OBJEXT) metaStateSpecifier.$(OBJEXT) \
- functionConstraint.$(OBJEXT) pointers.$(OBJEXT)
+ functionConstraint.$(OBJEXT) pointers.$(OBJEXT) \
+ cscannerHelp.$(OBJEXT)
am__objects_10 = structNames.$(OBJEXT) transferChecks.$(OBJEXT) \
varKinds.$(OBJEXT) nameChecks.$(OBJEXT)
am__objects_11 = exprData.$(OBJEXT) cstring.$(OBJEXT) fileloc.$(OBJEXT) \
$(am__objects_13) $(am__objects_14) $(am__objects_15)
am__objects_17 = exprNode.$(OBJEXT) exprChecks.$(OBJEXT) \
llmain.$(OBJEXT) help.$(OBJEXT) rcfiles.$(OBJEXT)
-am__objects_18 = constraintGeneration.$(OBJEXT) constraintTerm.$(OBJEXT) \
+am__objects_18 = constraintList.$(OBJEXT) constraintResolve.$(OBJEXT) \
+ constraintGeneration.$(OBJEXT) constraintTerm.$(OBJEXT) \
constraintExprData.$(OBJEXT) constraintExpr.$(OBJEXT) \
- constraint.$(OBJEXT) constraintList.$(OBJEXT) \
- constraintResolve.$(OBJEXT) constraintOutput.$(OBJEXT) \
- loopHeuristics.$(OBJEXT)
+ constraint.$(OBJEXT) loopHeuristics.$(OBJEXT)
am__objects_19 =
am__objects_20 = $(am__objects_19)
am__objects_21 = $(am__objects_7) $(am__objects_16) $(am__objects_17) \
@AMDEP_TRUE@ ./$(DEPDIR)/constraintExprData.Po \
@AMDEP_TRUE@ ./$(DEPDIR)/constraintGeneration.Po \
@AMDEP_TRUE@ ./$(DEPDIR)/constraintList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/constraintOutput.Po \
@AMDEP_TRUE@ ./$(DEPDIR)/constraintResolve.Po \
@AMDEP_TRUE@ ./$(DEPDIR)/constraintTerm.Po \
@AMDEP_TRUE@ ./$(DEPDIR)/context.Po ./$(DEPDIR)/cpperror.Po \
@AMDEP_TRUE@ ./$(DEPDIR)/cppexp.Po ./$(DEPDIR)/cpphash.Po \
@AMDEP_TRUE@ ./$(DEPDIR)/cpplib.Po ./$(DEPDIR)/cppmain.Po \
@AMDEP_TRUE@ ./$(DEPDIR)/cprim.Po ./$(DEPDIR)/cscanner.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/cstring.Po ./$(DEPDIR)/cstringList.Po \
+@AMDEP_TRUE@ ./$(DEPDIR)/cscannerHelp.Po ./$(DEPDIR)/cstring.Po \
+@AMDEP_TRUE@ ./$(DEPDIR)/cstringList.Po \
@AMDEP_TRUE@ ./$(DEPDIR)/cstringSList.Po \
@AMDEP_TRUE@ ./$(DEPDIR)/cstringTable.Po ./$(DEPDIR)/ctype.Po \
@AMDEP_TRUE@ ./$(DEPDIR)/ctypeList.Po ./$(DEPDIR)/cvar.Po \
LINK = $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@
CFLAGS = @CFLAGS@
DIST_SOURCES = $(lcl_SOURCES) $(splint_SOURCES)
-DIST_COMMON = Makefile.am Makefile.in
+DIST_COMMON = Makefile.am Makefile.in TODO
SOURCES = $(lcl_SOURCES) $(splint_SOURCES)
all: $(BUILT_SOURCES)
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/constraintExprData.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/constraintGeneration.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/constraintList.Po@am__quote@
-@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/constraintOutput.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/constraintResolve.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/constraintTerm.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/context.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/cppmain.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/cprim.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/cscanner.Po@am__quote@
+@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/cscannerHelp.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/cstring.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/cstringList.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/cstringSList.Po@am__quote@
@echo "This is a fake target"; \
echo "Use configure's --with-lcl option to enable lcl"
+signature.c.der:
+ @if test x$(BISON) = xno; then \
+ echo "Cannot make signature.c.der because bison is not here" \
+ else \
+ echo '* Making signature.c'; \
+ $(BISON) $(YFLAGS) -p lsl signature.y; \
+ $(CAT) bison.head signature.tab.c bison.reset >signature.c; \
+ $(CP) signature.c signature.c.der; \
+ $(MV) Headers/signature_gen.h Headers/signature_gen.bak || true; \
+ $(CAT) bison.head signature.tab.h bison.reset >Headers/signature_gen.h; \
+ $(RM) signature.tab.c signature.tab.h; \
+ fi
+
Headers/signature_gen.h signature.c: signature.c.der signature.y
@if test x$(BISON) = xno; then \
$(CP) signature.c.der signature.c; \
$(RM) signature.tab.c signature.tab.h; \
fi
-Headers/cgrammar_tokens.h cgrammar.c: cgrammar.c.der cgrammar.y
+Headers/cgrammar_tokens.h cgrammar.c: cgrammar.c.der cgrammar.y bison.head bison.reset
@if test x$(BISON) = xno; then \
$(CP) cgrammar.c.der cgrammar.c; \
else \
echo '* Making cgrammar.c'; \
- echo '* Expect 154 shift/reduce conflicts and 115 reduce/reduce conflicts.'; \
- echo '* (see cgrammar.y for explanation)'; \
+ echo '* Note: Expect 157 shift/reduce conflicts and 123 reduce/reduce conflicts. (see cgrammar.y for explanation)'; \
$(BISON) $(YFLAGS) cgrammar.y; \
$(CAT) bison.head cgrammar.tab.c bison.reset | $(SED) 's/YYSTYPE/cgrammar_YYSTYPE/g' | $(SED) 's/lsllex/cgrammar_lsllex/g' > cgrammar.c; \
$(CP) cgrammar.c cgrammar.c.der; \
- $(MV) Headers/cgrammar_tokens.h Headers/cgrammar_tokens.bak; \
+ $(MV) Headers/cgrammar_tokens.h Headers/cgrammar_tokens.bak || true; \
$(CAT) bison.head cgrammar.tab.h bison.reset | $(SED) 's/YYSTYPE/cgrammar_YYSTYPE/g' | $(SED) 's/lsllex/cgrammar_lsllex/g' > Headers/cgrammar_tokens.h; \
$(RM) cgrammar.tab.c cgrammar.tab.h; \
fi
$(CP) mtgrammar.c.der mtgrammar.c; \
else \
echo '* Making mtgrammar.c'; \
- echo '* Expect 11 shift/reduce conflicts.'; \
+ echo '* Note: Expect 11 shift/reduce conflicts.'; \
$(BISON) $(YFLAGS) -p mt mtgrammar.y; \
$(CAT) bison.head mtgrammar.tab.c bison.reset >mtgrammar.c; \
$(CP) mtgrammar.c mtgrammar.c.der; \
$(CP) llgrammar.c.der llgrammar.c; \
else \
echo '* Making llgrammar.c'; \
- echo '* Expect 2 shift/reduce conflicts'; \
+ echo '* Note: Expect 2 shift/reduce conflicts'; \
$(BISON) $(YFLAGS) -p yl llgrammar.y; \
$(CAT) bison.head llgrammar.tab.c bison.reset >llgrammar.c; \
$(CP) llgrammar.c llgrammar.c.der; \
test:
${MAKE} ; cd ../test; ${MAKE} --no-print-directory
+.PHONY: libs
+libs:
+ ${MAKE} ; cd ../lib; ${MAKE} --no-print-directory
+
### Automake generates wrong tags
.PHONY: etags
etags:
lintnew: splintme
splintme:
- ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(LINTSRC) $(OVERFLOWCHSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw
+ ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(OVERFLOWCHSRC) $(LINTSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw -mts tainted
+
+splintmebounds:
+ ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(OVERFLOWCHSRC) $(LINTSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw -mts tainted +bounds +impboundsconstraints
+
+splintmesupcounts:
+ ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(OVERFLOWCHSRC) $(LINTSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -fcnuse -incondefs -exportlocal -supcounts -constuse -mts file -mts filerw
+
+lintbuffercheck:
+ ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(LINTSRC) $(OVERFLOWCHSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw +bounds -DLINTBUFFERCHECK
valsplint:
valgrind -v --leak-resolution=high --num-callers=20 --show-reachable=no --leak-check=yes ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(LINTSRC) $(OVERFLOWCHSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw
splinttest:
./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude test.c +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw +keep +supcounts +partial -null
-lintbuffercheck:
- ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(LINTSRC) $(LCLSRC) -dump lclint \
- +forcehints -misplacedsharequal +showsourceloc -unrecogcomments \
- -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +bounds +boundsread +implictconstraint -dLINTBUFFERCHECK
-
all: splint$(EXEEXT) ../$(top_builddir)/$(binDir)/splint$(EXEEXT)
../$(top_builddir)/$(binDir)/splint$(EXEEXT): splint$(EXEEXT)