X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/16c024b587f5ddc115928d5cca7095508aa208d9..061ece7d6fedbde47030222fea74b575c12707dc:/src/Makefile.in diff --git a/src/Makefile.in b/src/Makefile.in index e889b90..dffda81 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -132,7 +132,7 @@ CSRC = context.c uentry.c cprim.c macrocache.c qual.c qtype.c stateClause.c \ globalsClause.c modifiesClause.c warnClause.c functionClause.c \ functionClauseList.c metaStateConstraint.c metaStateConstraintList.c \ metaStateExpression.c metaStateSpecifier.c functionConstraint.c \ - pointers.c cscannerHelp.c + pointers.c cscannerHelp.c SPLINTSRC = exprNode.c exprChecks.c llmain.c help.c rcfiles.c @@ -142,10 +142,10 @@ GLOBSRC = globals.c flags.c general.c osd.c reader.c mtreader.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 \ @@ -237,7 +237,7 @@ HEADERSRC = Headers/abstBodyNode.h Headers/ltokenList.h \ 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 \ @@ -307,11 +307,11 @@ HEADERSRC = Headers/abstBodyNode.h Headers/ltokenList.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 \ @@ -325,6 +325,7 @@ HEADERSRC = Headers/abstBodyNode.h Headers/ltokenList.h \ Headers/lsymbolList.h Headers/warnClause.h \ Headers/lsymbolSet.h Headers/ynm.h \ Headers/ltoken.h Headers/splintMacros.nf \ + Headers/typeId.h \ Headers/pointers.h Headers/mstring.h Headers/help.h @@ -332,6 +333,8 @@ 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) \ + .splintrc LICENSE \ + Headers/cscannerHelp.h \ Headers/256_random_numbers.nf Headers/splintMacros.nf Headers/reservedNames.nf #Makefile.binary.am Makefile.binary.in @@ -350,8 +353,8 @@ ALLSRC = $(GRAMSRC) $(COMMONSRC) $(SPLINTSRC) $(OVERFLOWCHSRC) $(DER_FILES) $(HE #files to run Splint on LINTSRC = $(COMMONSRC) $(SPLINTSRC) -## cscanner.c cgrammar.c +# cscanner.c cgrammar.c #ALLSRC = $(COMMONSRC) $(SPLINTSRC) $(DER_FILES) $(HEADERSRC) LCLSRC = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(CMNSRC) $(LCLONLYSRC) @@ -427,7 +430,8 @@ am__objects_9 = context.$(OBJEXT) uentry.$(OBJEXT) cprim.$(OBJEXT) \ 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) \ @@ -470,11 +474,10 @@ am__objects_16 = $(am__objects_8) $(am__objects_9) $(am__objects_10) \ $(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) \ @@ -502,14 +505,14 @@ am__depfiles_maybe = depfiles @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 \ @@ -629,7 +632,7 @@ CCLD = $(CC) 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) @@ -690,7 +693,6 @@ distclean-compile: @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@ @@ -701,6 +703,7 @@ distclean-compile: @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@ @@ -1023,6 +1026,19 @@ lcl$(EXEEXT): @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; \ @@ -1041,12 +1057,11 @@ Headers/cgrammar_tokens.h cgrammar.c: cgrammar.c.der cgrammar.y bison.head bison $(CP) cgrammar.c.der cgrammar.c; \ else \ echo '* Making cgrammar.c'; \ - echo '* Expect 154 shift/reduce conflicts and 116 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 @@ -1056,7 +1071,7 @@ Headers/mtgrammar_tokens.h mtgrammar.c: mtgrammar.y $(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; \ @@ -1070,7 +1085,7 @@ Headers/llgrammar_gen.h Headers/llgrammar_gen2.h llgrammar.c: llgrammar.c.der ll $(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; \ @@ -1098,6 +1113,10 @@ nocheck: 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: @@ -1106,7 +1125,16 @@ etags: lintnew: splintme splintme: - ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude cscannerHelp.c $(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 @@ -1120,11 +1148,6 @@ splintsome: 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)