Cook: splint 3.1.2 ================================================================================ QA: checking package receipt... Checking build dependencies... Installing (pkg/local): libgdbm-1.18.1-i486 Installing (pkg/local): perl-core-5.28.1-i486 Installing (pkg/local): perl-5.28.1-i486 Installing (pkg/local): autoconf-2.69-i486 Installing (pkg/local): automake-1.16.2-any Installing (pkg/local): libltdl-2.4.6-i486 Installing (pkg/local): libtool-2.4.6-i486 Extracting source archive "splint-3.1.2.src.tgz" Executing: compile_rules CFLAGS : -march=i486 -Os -pipe -mindirect-branch=thunk CXXLAGS : -march=i486 -Os -pipe -mindirect-branch=thunk CPPFLAGS : -D_GLIBCXX_USE_C99_MATH=1 LDFLAGS : -Wl,-Os,--as-needed configure.ac:16: warning: AM_INIT_AUTOMAKE: two- and three-arguments forms are deprecated. For more info, see: configure.ac:16: https://www.gnu.org/software/automake/manual/automake.html#Modernize-AM_005fINIT_005fAUTOMAKE-invocation configure.ac:26: installing 'config/compile' bin/Makefile.am:16: warning: variable 'DIST_SOURCES' is defined but no program or bin/Makefile.am:16: library has 'DIST' as canonical name (possible typo) test/Makefile.am:1600: error: trailing backslash on last line autoreconf: automake failed with exit status: 1 configure: loading site script /etc/slitaz/cook.site checking build system type... i486-slitaz-linux-gnu checking host system type... i486-slitaz-linux-gnu checking target system type... i486-slitaz-linux-gnu checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes /home/slitaz/wok/splint/source/splint-3.1.2/config/missing: Unknown `--is-lightweight' option Try `/home/slitaz/wok/splint/source/splint-3.1.2/config/missing --help' for more information configure: WARNING: 'missing' script is too old or missing checking for a thread-safe mkdir -p... config/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking for i486-slitaz-linux-gcc... i486-slitaz-linux-gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether i486-slitaz-linux-gcc accepts -g... yes checking for i486-slitaz-linux-gcc option to accept ISO C89... none needed checking whether i486-slitaz-linux-gcc understands -c and -o together... yes checking whether make supports the include directive... yes (GNU style) checking dependency style of i486-slitaz-linux-gcc... gcc3 checking how to run the C preprocessor... i486-slitaz-linux-gcc -E checking for flex... flex checking lex output file root... lex.yy checking lex library... -lfl checking whether yytext is a pointer... yes checking whether make sets $(MAKE)... (cached) yes checking whether ln -s works... yes checking for bison... bison checking for grep... grep checking for diff... diff checking for cat... cat checking for rm... rm checking for mv... mv checking for cp... cp checking for sed... sed checking whether we need _ALL_SOURCE to expose mode_t... no checking whether to include support for LCL files... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating imports/Makefile config.status: creating lib/Makefile config.status: creating src/Makefile config.status: creating test/Makefile config.status: WARNING: 'test/Makefile.in' seems to ignore the --datarootdir setting config.status: creating doc/Makefile config.status: creating bin/Makefile config.status: creating config.h config.status: executing depfiles commands make all-recursive make[1]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2' Making all in src make[2]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/src' * Making signature.c signature.y:59.1-12: warning: deprecated directive: '%pure_parser', use '%define api.pure' [-Wdeprecated] 59 | %pure_parser | ^~~~~~~~~~~~ | %define api.pure signature.y: warning: fix-its can be applied. Rerun with option '--update'. [-Wother] grep "FLG_" flags.def > Headers/flag_codes.gen make make[3]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/src' * Making signature.c signature.y:59.1-12: warning: deprecated directive: '%pure_parser', use '%define api.pure' [-Wdeprecated] 59 | %pure_parser | ^~~~~~~~~~~~ | %define api.pure signature.y: warning: fix-its can be applied. Rerun with option '--update'. [-Wother] Compiling cgrammar.c... Compiling cscanner.c... Compiling mtscanner.c... Compiling mtgrammar.c... Compiling llgrammar.c... Compiling signature.c... Compiling cppmain.c... Compiling cpplib.c... Compiling cppexp.c... Compiling cpphash.c... Compiling cpperror.c... Compiling context.c... Compiling uentry.c... Compiling cprim.c... Compiling macrocache.c... Compiling qual.c... Compiling qtype.c... Compiling stateClause.c... Compiling stateClauseList.c... Compiling ctype.c... Compiling cvar.c... Compiling clabstract.c... Compiling idDecl.c... Compiling clause.c... Compiling globalsClause.c... Compiling modifiesClause.c... Compiling warnClause.c... Compiling functionClause.c... Compiling functionClauseList.c... Compiling metaStateConstraint.c... Compiling metaStateConstraintList.c... Compiling metaStateExpression.c... Compiling metaStateSpecifier.c... Compiling functionConstraint.c... Compiling pointers.c... Compiling cscannerHelp.c... Compiling structNames.c... Compiling transferChecks.c... Compiling varKinds.c... Compiling nameChecks.c... Compiling exprData.c... Compiling cstring.c... Compiling fileloc.c... Compiling message.c... Compiling inputStream.c... Compiling fileTable.c... Compiling cstringTable.c... Compiling valueTable.c... Compiling stateValue.c... Compiling llerror.c... Compiling messageLog.c... Compiling flagMarker.c... Compiling aliasTable.c... Compiling ynm.c... Compiling sRefTable.c... Compiling genericTable.c... Compiling ekind.c... Compiling usymtab.c... usymtab.c: In function 'usymtab_load': usymtab.c:2043:14: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result] (void) fgets (s, MAX_DUMP_LINE_LENGTH, f); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Compiling multiVal.c... Compiling lltok.c... Compiling sRef.c... Compiling lcllib.c... Compiling randomNumbers.c... Compiling fileLib.c... Compiling globals.c... Compiling flags.c... Compiling general.c... Compiling osd.c... Compiling reader.c... Compiling mtreader.c... Compiling clauseStack.c... Compiling filelocStack.c... Compiling cstringList.c... Compiling cstringSList.c... Compiling sRefSetList.c... Compiling ctypeList.c... Compiling enumNameList.c... Compiling enumNameSList.c... Compiling exprNodeList.c... Compiling exprNodeSList.c... Compiling uentryList.c... Compiling fileIdList.c... Compiling filelocList.c... Compiling qualList.c... Compiling sRefList.c... Compiling flagMarkerList.c... Compiling idDeclList.c... Compiling flagSpec.c... Compiling globSet.c... Compiling intSet.c... Compiling typeIdSet.c... Compiling guardSet.c... Compiling usymIdSet.c... Compiling sRefSet.c... Compiling stateInfo.c... Compiling stateCombinationTable.c... Compiling metaStateTable.c... Compiling metaStateInfo.c... Compiling annotationTable.c... Compiling annotationInfo.c... Compiling mttok.c... Compiling mtDeclarationNode.c... Compiling mtDeclarationPieces.c... Compiling mtDeclarationPiece.c... Compiling mtContextNode.c... Compiling mtValuesNode.c... Compiling mtDefaultsNode.c... Compiling mtAnnotationsNode.c... Compiling mtMergeNode.c... Compiling mtAnnotationList.c... Compiling mtAnnotationDecl.c... Compiling mtTransferClauseList.c... Compiling mtTransferClause.c... Compiling mtTransferAction.c... Compiling mtLoseReferenceList.c... Compiling mtLoseReference.c... Compiling mtDefaultsDeclList.c... Compiling mtDefaultsDecl.c... Compiling mtMergeItem.c... Compiling mtMergeClause.c... Compiling mtMergeClauseList.c... Compiling exprNode.c... Compiling exprChecks.c... Compiling llmain.c... Compiling help.c... Compiling rcfiles.c... Compiling constraintList.c... Compiling constraintResolve.c... Compiling constraintGeneration.c... Compiling constraintTerm.c... Compiling constraintExprData.c... Compiling constraintExpr.c... Compiling constraint.c... Compiling loopHeuristics.c... Compiling lsymbolSet.c... Compiling sigNodeSet.c... Compiling lslOpSet.c... Compiling sortSet.c... Compiling initDeclNodeList.c... Compiling sortList.c... Compiling declaratorInvNodeList.c... Compiling interfaceNodeList.c... Compiling sortSetList.c... Compiling declaratorNodeList.c... Compiling letDeclNodeList.c... Compiling stDeclNodeList.c... Compiling storeRefNodeList.c... Compiling lslOpList.c... Compiling lsymbolList.c... Compiling termNodeList.c... Compiling ltokenList.c... Compiling traitRefNodeList.c... Compiling pairNodeList.c... Compiling typeNameNodeList.c... Compiling fcnNodeList.c... Compiling paramNodeList.c... Compiling programNodeList.c... Compiling varDeclarationNodeList.c... Compiling varNodeList.c... Compiling quantifierNodeList.c... Compiling replaceNodeList.c... Compiling importNodeList.c... Compiling tokentable.c... Compiling scan.c... Compiling scanline.c... Compiling lslparse.c... Compiling lh.c... Compiling checking.c... Compiling lclctypes.c... Compiling imports.c... Compiling lslinit.c... Compiling syntable.c... Compiling usymtab_interface.c... Compiling abstract.c... Compiling ltoken.c... Compiling lclscanline.c... Compiling lclsyntable.c... Compiling lcltokentable.c... Compiling sort.c... Compiling symtable.c... Compiling lclinit.c... Compiling shift.c... Compiling lclscan.c... Compiling lsymbol.c... Compiling mapping.c... i486-slitaz-linux-gcc -march=i486 -Os -pipe -mindirect-branch=thunk -Wl,-Os,--as-needed -o splint cgrammar.o cscanner.o mtscanner.o mtgrammar.o llgrammar.o signature.o cppmain.o cpplib.o cppexp.o cpphash.o cpperror.o context.o uentry.o cprim.o macrocache.o qual.o qtype.o stateClause.o stateClauseList.o ctype.o cvar.o clabstract.o idDecl.o clause.o globalsClause.o modifiesClause.o warnClause.o functionClause.o functionClauseList.o metaStateConstraint.o metaStateConstraintList.o metaStateExpression.o metaStateSpecifier.o functionConstraint.o pointers.o cscannerHelp.o structNames.o transferChecks.o varKinds.o nameChecks.o exprData.o cstring.o fileloc.o message.o inputStream.o fileTable.o cstringTable.o valueTable.o stateValue.o llerror.o messageLog.o flagMarker.o aliasTable.o ynm.o sRefTable.o genericTable.o ekind.o usymtab.o multiVal.o lltok.o sRef.o lcllib.o randomNumbers.o fileLib.o globals.o flags.o general.o osd.o reader.o mtreader.o clauseStack.o filelocStack.o cstringList.o cstringSList.o sRefSetList.o ctypeList.o enumNameList.o enumNameSList.o exprNodeList.o exprNodeSList.o uentryList.o fileIdList.o filelocList.o qualList.o sRefList.o flagMarkerList.o idDeclList.o flagSpec.o globSet.o intSet.o typeIdSet.o guardSet.o usymIdSet.o sRefSet.o stateInfo.o stateCombinationTable.o metaStateTable.o metaStateInfo.o annotationTable.o annotationInfo.o mttok.o mtDeclarationNode.o mtDeclarationPieces.o mtDeclarationPiece.o mtContextNode.o mtValuesNode.o mtDefaultsNode.o mtAnnotationsNode.o mtMergeNode.o mtAnnotationList.o mtAnnotationDecl.o mtTransferClauseList.o mtTransferClause.o mtTransferAction.o mtLoseReferenceList.o mtLoseReference.o mtDefaultsDeclList.o mtDefaultsDecl.o mtMergeItem.o mtMergeClause.o mtMergeClauseList.o exprNode.o exprChecks.o llmain.o help.o rcfiles.o constraintList.o constraintResolve.o constraintGeneration.o constraintTerm.o constraintExprData.o constraintExpr.o constraint.o loopHeuristics.o lsymbolSet.o sigNodeSet.o lslOpSet.o sortSet.o initDeclNodeList.o sortList.o declaratorInvNodeList.o interfaceNodeList.o sortSetList.o declaratorNodeList.o letDeclNodeList.o stDeclNodeList.o storeRefNodeList.o lslOpList.o lsymbolList.o termNodeList.o ltokenList.o traitRefNodeList.o pairNodeList.o typeNameNodeList.o fcnNodeList.o paramNodeList.o programNodeList.o varDeclarationNodeList.o varNodeList.o quantifierNodeList.o replaceNodeList.o importNodeList.o tokentable.o scan.o scanline.o lslparse.o lh.o checking.o lclctypes.o imports.o lslinit.o syntable.o usymtab_interface.o abstract.o ltoken.o lclscanline.o lclsyntable.o lcltokentable.o sort.o symtable.o lclinit.o shift.o lclscan.o lsymbol.o mapping.o -lfl rm -f ../bin/splint ln -s ../src/splint ../bin/splint make all-am make[4]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/src' * Making signature.c signature.y:59.1-12: warning: deprecated directive: '%pure_parser', use '%define api.pure' [-Wdeprecated] 59 | %pure_parser | ^~~~~~~~~~~~ | %define api.pure signature.y: warning: fix-its can be applied. Rerun with option '--update'. [-Wother] Compiling signature.c... Compiling scan.c... Compiling scanline.c... Compiling lslparse.c... Compiling lslinit.c... i486-slitaz-linux-gcc -march=i486 -Os -pipe -mindirect-branch=thunk -Wl,-Os,--as-needed -o splint cgrammar.o cscanner.o mtscanner.o mtgrammar.o llgrammar.o signature.o cppmain.o cpplib.o cppexp.o cpphash.o cpperror.o context.o uentry.o cprim.o macrocache.o qual.o qtype.o stateClause.o stateClauseList.o ctype.o cvar.o clabstract.o idDecl.o clause.o globalsClause.o modifiesClause.o warnClause.o functionClause.o functionClauseList.o metaStateConstraint.o metaStateConstraintList.o metaStateExpression.o metaStateSpecifier.o functionConstraint.o pointers.o cscannerHelp.o structNames.o transferChecks.o varKinds.o nameChecks.o exprData.o cstring.o fileloc.o message.o inputStream.o fileTable.o cstringTable.o valueTable.o stateValue.o llerror.o messageLog.o flagMarker.o aliasTable.o ynm.o sRefTable.o genericTable.o ekind.o usymtab.o multiVal.o lltok.o sRef.o lcllib.o randomNumbers.o fileLib.o globals.o flags.o general.o osd.o reader.o mtreader.o clauseStack.o filelocStack.o cstringList.o cstringSList.o sRefSetList.o ctypeList.o enumNameList.o enumNameSList.o exprNodeList.o exprNodeSList.o uentryList.o fileIdList.o filelocList.o qualList.o sRefList.o flagMarkerList.o idDeclList.o flagSpec.o globSet.o intSet.o typeIdSet.o guardSet.o usymIdSet.o sRefSet.o stateInfo.o stateCombinationTable.o metaStateTable.o metaStateInfo.o annotationTable.o annotationInfo.o mttok.o mtDeclarationNode.o mtDeclarationPieces.o mtDeclarationPiece.o mtContextNode.o mtValuesNode.o mtDefaultsNode.o mtAnnotationsNode.o mtMergeNode.o mtAnnotationList.o mtAnnotationDecl.o mtTransferClauseList.o mtTransferClause.o mtTransferAction.o mtLoseReferenceList.o mtLoseReference.o mtDefaultsDeclList.o mtDefaultsDecl.o mtMergeItem.o mtMergeClause.o mtMergeClauseList.o exprNode.o exprChecks.o llmain.o help.o rcfiles.o constraintList.o constraintResolve.o constraintGeneration.o constraintTerm.o constraintExprData.o constraintExpr.o constraint.o loopHeuristics.o lsymbolSet.o sigNodeSet.o lslOpSet.o sortSet.o initDeclNodeList.o sortList.o declaratorInvNodeList.o interfaceNodeList.o sortSetList.o declaratorNodeList.o letDeclNodeList.o stDeclNodeList.o storeRefNodeList.o lslOpList.o lsymbolList.o termNodeList.o ltokenList.o traitRefNodeList.o pairNodeList.o typeNameNodeList.o fcnNodeList.o paramNodeList.o programNodeList.o varDeclarationNodeList.o varNodeList.o quantifierNodeList.o replaceNodeList.o importNodeList.o tokentable.o scan.o scanline.o lslparse.o lh.o checking.o lclctypes.o imports.o lslinit.o syntable.o usymtab_interface.o abstract.o ltoken.o lclscanline.o lclsyntable.o lcltokentable.o sort.o symtable.o lclinit.o shift.o lclscan.o lsymbol.o mapping.o -lfl make[4]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/src' make[3]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/src' cd ../lib; make make[3]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/lib' ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 13 Sep 2020 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 13 Sep 2020 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 13 Sep 2020 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 13 Sep 2020 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix Splint 3.1.2 --- 13 Sep 2020 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h stdio.h stdlib.h -dump unixstrict Splint 3.1.2 --- 13 Sep 2020 Finished checking --- no warnings make[3]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/lib' rm -f ../bin/splint ln -s ../src/splint ../bin/splint make all-am make[3]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/src' * Making signature.c signature.y:59.1-12: warning: deprecated directive: '%pure_parser', use '%define api.pure' [-Wdeprecated] 59 | %pure_parser | ^~~~~~~~~~~~ | %define api.pure signature.y: warning: fix-its can be applied. Rerun with option '--update'. [-Wother] Compiling signature.c... Compiling scan.c... Compiling scanline.c... Compiling lslparse.c... Compiling lslinit.c... i486-slitaz-linux-gcc -march=i486 -Os -pipe -mindirect-branch=thunk -Wl,-Os,--as-needed -o splint cgrammar.o cscanner.o mtscanner.o mtgrammar.o llgrammar.o signature.o cppmain.o cpplib.o cppexp.o cpphash.o cpperror.o context.o uentry.o cprim.o macrocache.o qual.o qtype.o stateClause.o stateClauseList.o ctype.o cvar.o clabstract.o idDecl.o clause.o globalsClause.o modifiesClause.o warnClause.o functionClause.o functionClauseList.o metaStateConstraint.o metaStateConstraintList.o metaStateExpression.o metaStateSpecifier.o functionConstraint.o pointers.o cscannerHelp.o structNames.o transferChecks.o varKinds.o nameChecks.o exprData.o cstring.o fileloc.o message.o inputStream.o fileTable.o cstringTable.o valueTable.o stateValue.o llerror.o messageLog.o flagMarker.o aliasTable.o ynm.o sRefTable.o genericTable.o ekind.o usymtab.o multiVal.o lltok.o sRef.o lcllib.o randomNumbers.o fileLib.o globals.o flags.o general.o osd.o reader.o mtreader.o clauseStack.o filelocStack.o cstringList.o cstringSList.o sRefSetList.o ctypeList.o enumNameList.o enumNameSList.o exprNodeList.o exprNodeSList.o uentryList.o fileIdList.o filelocList.o qualList.o sRefList.o flagMarkerList.o idDeclList.o flagSpec.o globSet.o intSet.o typeIdSet.o guardSet.o usymIdSet.o sRefSet.o stateInfo.o stateCombinationTable.o metaStateTable.o metaStateInfo.o annotationTable.o annotationInfo.o mttok.o mtDeclarationNode.o mtDeclarationPieces.o mtDeclarationPiece.o mtContextNode.o mtValuesNode.o mtDefaultsNode.o mtAnnotationsNode.o mtMergeNode.o mtAnnotationList.o mtAnnotationDecl.o mtTransferClauseList.o mtTransferClause.o mtTransferAction.o mtLoseReferenceList.o mtLoseReference.o mtDefaultsDeclList.o mtDefaultsDecl.o mtMergeItem.o mtMergeClause.o mtMergeClauseList.o exprNode.o exprChecks.o llmain.o help.o rcfiles.o constraintList.o constraintResolve.o constraintGeneration.o constraintTerm.o constraintExprData.o constraintExpr.o constraint.o loopHeuristics.o lsymbolSet.o sigNodeSet.o lslOpSet.o sortSet.o initDeclNodeList.o sortList.o declaratorInvNodeList.o interfaceNodeList.o sortSetList.o declaratorNodeList.o letDeclNodeList.o stDeclNodeList.o storeRefNodeList.o lslOpList.o lsymbolList.o termNodeList.o ltokenList.o traitRefNodeList.o pairNodeList.o typeNameNodeList.o fcnNodeList.o paramNodeList.o programNodeList.o varDeclarationNodeList.o varNodeList.o quantifierNodeList.o replaceNodeList.o importNodeList.o tokentable.o scan.o scanline.o lslparse.o lh.o checking.o lclctypes.o imports.o lslinit.o syntable.o usymtab_interface.o abstract.o ltoken.o lclscanline.o lclsyntable.o lcltokentable.o sort.o symtable.o lclinit.o shift.o lclscan.o lsymbol.o mapping.o -lfl make[3]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/src' make[2]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/src' Making all in lib make[2]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/lib' ../src/splint -nof -nolib +impconj standard.h -dump standard Splint 3.1.2 --- 13 Sep 2020 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict Splint 3.1.2 --- 13 Sep 2020 Finished checking --- no warnings ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix Splint 3.1.2 --- 13 Sep 2020 Finished checking --- no warnings ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict Splint 3.1.2 --- 13 Sep 2020 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix Splint 3.1.2 --- 13 Sep 2020 Finished checking --- no warnings ../src/splint -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h stdio.h stdlib.h -dump unixstrict Splint 3.1.2 --- 13 Sep 2020 Finished checking --- no warnings make[2]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/lib' Making all in imports make[2]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/imports' make[2]: Nothing to be done for 'all'. make[2]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/imports' Making all in test make[2]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/test' Testing splint 3.1.2... Version Info: Splint 3.1.2 --- 13 Sep 2020 Maintainer: splint-bug@splint.org Compiled using i486-slitaz-linux-gcc -march=i486 -Os -pipe -mindirect-branch=thu nk on Linux tank 4.17.7-slitaz #2 SMP Wed Jan 24 11:59:22 CET 2018 i486 GNU/Linux by root Splint 3.1.2 --- 13 Sep 2020 LARCH_PATH = (default = .:/usr/share/splint/lib:/home/slitaz/wok/splin t/source/splint-3.1.2/lib:) --- path used to find larch initialization files and LSL traits LCLIMPORTDIR = --- directory containing lcl standard library files (import with < ... >) include path = (set by environment variable CPATH and -I flags) --- path used to find #include'd files systemdirs = /usr/ (set by -systemdirs or environment variable CPATH) --- if file is found on this path, it is treated as a system file for error reporting Tests: Checking help... Checking abstptr... Checking abstract... Checking alias... Checking alttypes... Checking ansireserved... Checking argorder... Checking args... Checking arraydims... Checking arrayinit... Checking arraylit... Checking blocks... Checking break... Checking cases... Checking cast... Checking chararraylit... Checking charlit... Checking clauses... Checking commentchar... Checking compdestroy... Checking compoundliterals... Checking compoundstmt... Checking condifomit... Checking constannot... Checking controldepth... Checking csyntax... Checking czechnames... Checking czechoslovaknames... Checking deadparam... Checking decl... Checking divzero... Checking enum... Checking enumtag... Checking exports... Checking external... Checking fields... Checking flags... Checking forbody... Checking format... Checking freearray... Checking funcpointer... Checking functionmacro... Checking glob... Checking globals... Checking impabstract... Checking info... Checking init... Checking innerarray... Checking inparam... Checking internal... Checking iter... Checking keep... Checking libs... Checking linked... Checking lintcomments... Checking list... Checking longint... Checking loopexec... Checking looptesteffect... Checking macros... Checking macrosef... Checking malloc... Checking merge... Checking mergenull... Checking modifies... Checking modtest... Checking moduncon... Checking mongoincludes... Checking mystrncat... Checking noeffect... Checking null... Checking nullret... Checking nullassign... Checking numabstract... Checking observer... Checking oldstyle... Checking outglob... Checking outparam... Checking parentype... Checking postnotnull... Checking preds... Checking prefixes... Checking printflike... Checking rc... Checking refcounts... Checking release... Checking repexpose... Checking returned... Checking russian... Checking sharing... Checking shifts... Checking sizesigns... Checking slovaknames... Checking specclauses... Checking special... Checking stack... Checking staticarray... Checking strings... Checking stringliteral... Checking structassign... Checking typequals... Checking typeof... Checking ud... Checking ulstypes... Checking union... Checking unioninit... Checking unnamedsu... Checking unreachable... Checking unsignedcompare... Checking unused... Checking ullint... Checking utypes... --- utypes.expect +++ utypes.out @@ -3,7 +3,9 @@ but the POSIX library is not being used. Consider using +posixlib or +posixstrictlib to select the POSIX library, or -warnposix to suppress this message. +< Location unknown >: Field name reused: +< Location unknown >: Previous use of utypes.c: (in function f) utypes.c:26:8: Variable src_bytes declared but not used -Finished checking --- 2 code warnings, as expected +Finished checking --- 3 code warnings, expected 2 *** FAIL *** Checking void... Checking widestrings... Checking metastate... Checking mergestate... Checking tainted... Checking fileio... Checking simplebufferConstraintTests... Checking moreBufferTests... Checking moreBufferTests2... Checking globalbufferannotation... Checking maxset... Checking strchr... Checking sizeoftest... Checking for... Checking manual... Checking tests2.2... Checking tests2.4... Checking tests2.5... Checking db1... Checking db2... Checking db3... make[2]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/test' Making all in doc make[2]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/doc' make[2]: Nothing to be done for 'all'. make[2]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/doc' make[2]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2' make[2]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2' make[1]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2' Making install in src make[1]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/src' * Making signature.c signature.y:59.1-12: warning: deprecated directive: '%pure_parser', use '%define api.pure' [-Wdeprecated] 59 | %pure_parser | ^~~~~~~~~~~~ | %define api.pure signature.y: warning: fix-its can be applied. Rerun with option '--update'. [-Wother] make install-am make[2]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/src' * Making signature.c signature.y:59.1-12: warning: deprecated directive: '%pure_parser', use '%define api.pure' [-Wdeprecated] 59 | %pure_parser | ^~~~~~~~~~~~ | %define api.pure Compiling scan.c... Compiling scanline.c... Compiling lslparse.c... Compiling lslinit.c... signature.y: warning: fix-its can be applied. Rerun with option '--update'. [-Wother] Compiling signature.c... i486-slitaz-linux-gcc -march=i486 -Os -pipe -mindirect-branch=thunk -Wl,-Os,--as-needed -o splint cgrammar.o cscanner.o mtscanner.o mtgrammar.o llgrammar.o signature.o cppmain.o cpplib.o cppexp.o cpphash.o cpperror.o context.o uentry.o cprim.o macrocache.o qual.o qtype.o stateClause.o stateClauseList.o ctype.o cvar.o clabstract.o idDecl.o clause.o globalsClause.o modifiesClause.o warnClause.o functionClause.o functionClauseList.o metaStateConstraint.o metaStateConstraintList.o metaStateExpression.o metaStateSpecifier.o functionConstraint.o pointers.o cscannerHelp.o structNames.o transferChecks.o varKinds.o nameChecks.o exprData.o cstring.o fileloc.o message.o inputStream.o fileTable.o cstringTable.o valueTable.o stateValue.o llerror.o messageLog.o flagMarker.o aliasTable.o ynm.o sRefTable.o genericTable.o ekind.o usymtab.o multiVal.o lltok.o sRef.o lcllib.o randomNumbers.o fileLib.o globals.o flags.o general.o osd.o reader.o mtreader.o clauseStack.o filelocStack.o cstringList.o cstringSList.o sRefSetList.o ctypeList.o enumNameList.o enumNameSList.o exprNodeList.o exprNodeSList.o uentryList.o fileIdList.o filelocList.o qualList.o sRefList.o flagMarkerList.o idDeclList.o flagSpec.o globSet.o intSet.o typeIdSet.o guardSet.o usymIdSet.o sRefSet.o stateInfo.o stateCombinationTable.o metaStateTable.o metaStateInfo.o annotationTable.o annotationInfo.o mttok.o mtDeclarationNode.o mtDeclarationPieces.o mtDeclarationPiece.o mtContextNode.o mtValuesNode.o mtDefaultsNode.o mtAnnotationsNode.o mtMergeNode.o mtAnnotationList.o mtAnnotationDecl.o mtTransferClauseList.o mtTransferClause.o mtTransferAction.o mtLoseReferenceList.o mtLoseReference.o mtDefaultsDeclList.o mtDefaultsDecl.o mtMergeItem.o mtMergeClause.o mtMergeClauseList.o exprNode.o exprChecks.o llmain.o help.o rcfiles.o constraintList.o constraintResolve.o constraintGeneration.o constraintTerm.o constraintExprData.o constraintExpr.o constraint.o loopHeuristics.o lsymbolSet.o sigNodeSet.o lslOpSet.o sortSet.o initDeclNodeList.o sortList.o declaratorInvNodeList.o interfaceNodeList.o sortSetList.o declaratorNodeList.o letDeclNodeList.o stDeclNodeList.o storeRefNodeList.o lslOpList.o lsymbolList.o termNodeList.o ltokenList.o traitRefNodeList.o pairNodeList.o typeNameNodeList.o fcnNodeList.o paramNodeList.o programNodeList.o varDeclarationNodeList.o varNodeList.o quantifierNodeList.o replaceNodeList.o importNodeList.o tokentable.o scan.o scanline.o lslparse.o lh.o checking.o lclctypes.o imports.o lslinit.o syntable.o usymtab_interface.o abstract.o ltoken.o lclscanline.o lclsyntable.o lcltokentable.o sort.o symtable.o lclinit.o shift.o lclscan.o lsymbol.o mapping.o -lfl make[3]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/src' * Making signature.c signature.y:59.1-12: warning: deprecated directive: '%pure_parser', use '%define api.pure' [-Wdeprecated] 59 | %pure_parser | ^~~~~~~~~~~~ | %define api.pure make[3]: Nothing to be done for 'install-data-am'. signature.y: warning: fix-its can be applied. Rerun with option '--update'. [-Wother] Compiling signature.c... i486-slitaz-linux-gcc -march=i486 -Os -pipe -mindirect-branch=thunk -Wl,-Os,--as-needed -o splint cgrammar.o cscanner.o mtscanner.o mtgrammar.o llgrammar.o signature.o cppmain.o cpplib.o cppexp.o cpphash.o cpperror.o context.o uentry.o cprim.o macrocache.o qual.o qtype.o stateClause.o stateClauseList.o ctype.o cvar.o clabstract.o idDecl.o clause.o globalsClause.o modifiesClause.o warnClause.o functionClause.o functionClauseList.o metaStateConstraint.o metaStateConstraintList.o metaStateExpression.o metaStateSpecifier.o functionConstraint.o pointers.o cscannerHelp.o structNames.o transferChecks.o varKinds.o nameChecks.o exprData.o cstring.o fileloc.o message.o inputStream.o fileTable.o cstringTable.o valueTable.o stateValue.o llerror.o messageLog.o flagMarker.o aliasTable.o ynm.o sRefTable.o genericTable.o ekind.o usymtab.o multiVal.o lltok.o sRef.o lcllib.o randomNumbers.o fileLib.o globals.o flags.o general.o osd.o reader.o mtreader.o clauseStack.o filelocStack.o cstringList.o cstringSList.o sRefSetList.o ctypeList.o enumNameList.o enumNameSList.o exprNodeList.o exprNodeSList.o uentryList.o fileIdList.o filelocList.o qualList.o sRefList.o flagMarkerList.o idDeclList.o flagSpec.o globSet.o intSet.o typeIdSet.o guardSet.o usymIdSet.o sRefSet.o stateInfo.o stateCombinationTable.o metaStateTable.o metaStateInfo.o annotationTable.o annotationInfo.o mttok.o mtDeclarationNode.o mtDeclarationPieces.o mtDeclarationPiece.o mtContextNode.o mtValuesNode.o mtDefaultsNode.o mtAnnotationsNode.o mtMergeNode.o mtAnnotationList.o mtAnnotationDecl.o mtTransferClauseList.o mtTransferClause.o mtTransferAction.o mtLoseReferenceList.o mtLoseReference.o mtDefaultsDeclList.o mtDefaultsDecl.o mtMergeItem.o mtMergeClause.o mtMergeClauseList.o exprNode.o exprChecks.o llmain.o help.o rcfiles.o constraintList.o constraintResolve.o constraintGeneration.o constraintTerm.o constraintExprData.o constraintExpr.o constraint.o loopHeuristics.o lsymbolSet.o sigNodeSet.o lslOpSet.o sortSet.o initDeclNodeList.o sortList.o declaratorInvNodeList.o interfaceNodeList.o sortSetList.o declaratorNodeList.o letDeclNodeList.o stDeclNodeList.o storeRefNodeList.o lslOpList.o lsymbolList.o termNodeList.o ltokenList.o traitRefNodeList.o pairNodeList.o typeNameNodeList.o fcnNodeList.o paramNodeList.o programNodeList.o varDeclarationNodeList.o varNodeList.o quantifierNodeList.o replaceNodeList.o importNodeList.o tokentable.o scan.o scanline.o lslparse.o lh.o checking.o lclctypes.o imports.o lslinit.o syntable.o usymtab_interface.o abstract.o ltoken.o lclscanline.o lclsyntable.o lcltokentable.o sort.o symtable.o lclinit.o shift.o lclscan.o lsymbol.o mapping.o -lfl ../config/install-sh -c -d '/home/slitaz/wok/splint/install/usr/bin' /usr/bin/install -c splint '/home/slitaz/wok/splint/install/usr/bin' make[3]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/src' make[2]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/src' make[1]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/src' Making install in lib make[1]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/lib' ../src/splint -nof -nolib +impconj standard.h -dump standard ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict ../src/splint -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix Splint 3.1.2 --- 13 Sep 2020 ../src/splint -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h stdio.h stdlib.h -dump unixstrict Splint 3.1.2 --- 13 Sep 2020 Splint 3.1.2 --- 13 Sep 2020 Splint 3.1.2 --- 13 Sep 2020 Splint 3.1.2 --- 13 Sep 2020 Splint 3.1.2 --- 13 Sep 2020 Finished checking --- no warnings Finished checking --- no warnings Finished checking --- no warnings Finished checking --- no warnings Finished checking --- no warnings Finished checking --- no warnings make[2]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/lib' make[2]: Nothing to be done for 'install-exec-am'. ../src/splint -nof -nolib +impconj standard.h -dump standard ../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict ../src/splint -nof -nolib +impconj standard.h posix.h -dump posix ../src/splint -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict ../src/splint -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix ../src/splint -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h stdio.h stdlib.h -dump unixstrict Splint 3.1.2 --- 13 Sep 2020 Splint 3.1.2 --- 13 Sep 2020 Splint 3.1.2 --- 13 Sep 2020 Splint 3.1.2 --- 13 Sep 2020 Splint 3.1.2 --- 13 Sep 2020 Splint 3.1.2 --- 13 Sep 2020 Finished checking --- no warnings Finished checking --- no warnings Finished checking --- no warnings Finished checking --- no warnings Finished checking --- no warnings Finished checking --- no warnings ../config/install-sh -c -d '/home/slitaz/wok/splint/install/usr/share/splint/lib' /usr/bin/install -c -m 644 standard.h standard.lcd standardstrict.lcd posix.h posix.lcd posixstrict.lcd unix.h unix.lcd unixstrict.lcd CTrait.syms CTraitGen.lcl bool.h file.mts file.xh filerw.mts filerw.xh lclinit.lci linux.h lslinit.lsi tainted.mts tainted.xh stdio.h stdlib.h stdio.h stdlib.h '/home/slitaz/wok/splint/install/usr/share/splint/lib' make[2]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/lib' make[1]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/lib' Making install in imports make[1]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/imports' make[2]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/imports' make[2]: Nothing to be done for 'install-exec-am'. ../config/install-sh -c -d '/home/slitaz/wok/splint/install/usr/share/splint/imports' /usr/bin/install -c -m 644 assert.lcl assert.lcs ctype.lcl ctype.lcs errno.lcl errno.lcs limits.lcl limits.lcs locale.lcl locale.lcs math.lcl math.lcs setjmp.lcl setjmp.lcs signal.lcl signal.lcs stdarg.lcl stdarg.lcs stdio.lcl stdio.lcs stdlib.lcl stdlib.lcs string.lcl string.lcs strings.lcl strings.lcs time.lcl time.lcs '/home/slitaz/wok/splint/install/usr/share/splint/imports' make[2]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/imports' make[1]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/imports' Making install in test make[1]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/test' make[2]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/test' make[2]: Nothing to be done for 'install-exec-am'. make[2]: Nothing to be done for 'install-data-am'. make[2]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/test' make[1]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/test' Making install in doc make[1]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/doc' make[2]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2/doc' make[2]: Nothing to be done for 'install-exec-am'. ../config/install-sh -c -d '/home/slitaz/wok/splint/install/usr/share/man/man1' /usr/bin/install -c -m 644 splint.1 '/home/slitaz/wok/splint/install/usr/share/man/man1' make[2]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/doc' make[1]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2/doc' make[1]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2' make[2]: Entering directory '/home/slitaz/wok/splint/source/splint-3.1.2' make[2]: Nothing to be done for 'install-exec-am'. make[2]: Nothing to be done for 'install-data-am'. make[2]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2' make[1]: Leaving directory '/home/slitaz/wok/splint/source/splint-3.1.2' ================================================================================ Executing strip on all files... Done Time: 2.37s. Size: 1668064 B -> 1502148 B. Save: 162 KB. Installing (pkg/local): advancecomp-static-2.1-i486 Compressing man pages... Done Time: 1.81s. Size: 8876 B -> 3278 B. Save: 5 KB. Cache hit: 0/1. ================================================================================ Build dependencies to remove: 8 Removing: advancecomp-static autoconf automake libgdbm libltdl libtool perl perl-core Pack: splint 3.1.2 ================================================================================ Executing: genpkg_rules Copying "receipt"... Done Determining package architecture... i486 Creating the list of files... Done Creating md5sum of files... Done Compressing the FS... Done Creating full cpio archive... Done QA: checking for empty package... Done Removing old package "splint-3.1.2-i486.tazpkg" Done The release checksum has changed. ================================================================================ Package "splint-3.1.2-i486.tazpkg" created Post-check ================================================================================ Checking build... Done Checking 'any' arch... Done Checking libtool in source/splint-3.1.2... Done Checking site script in source/splint-3.1.2... Done Checking ownership in install... Done Checking permissions in install... Done Checking broken symlinks in install... Done Querying Repology... Done Updating activity log... Done ================================================================================ Summary for: splint 3.1.2 ================================================================================ Src file : splint-3.1.2.src.tgz Src size : 2.2M Source dir : 22.8M Produced : 2.4M Cook time : 113s ~ 01m 53s Cook date : 2020-09-13 04:42 Target arch : i486 -------------------------------------------------------------------------------- # : Packed : Compressed : Files : Package name -------------------------------------------------------------------------------- 1 : 2.5M : 568.2K : 53 : splint-3.1.2-i486.tazpkg ================================================================================