configure.ac:14: error: required directory ./config does not exist configure.ac: error: no proper invocation of AM_INIT_AUTOMAKE was found. configure.ac: You should verify that configure.ac invokes AM_INIT_AUTOMAKE, configure.ac: that aclocal.m4 is present in the top-level directory, configure.ac: and that aclocal.m4 was recently regenerated (using aclocal) configure.ac:34: error: installing 'config/install-sh'; error while making link: No such file or directory configure.ac:22: error: required file 'config.h.in' not found src/Makefile.am: error: installing 'config/depcomp'; error while making link: No such file or directory /usr/share/automake-1.16/am/depend2.am: error: am__fastdepCC does not appear in AM_CONDITIONAL /usr/share/automake-1.16/am/depend2.am: The usual way to define 'am__fastdepCC' is to add 'AC_PROG_CC' /usr/share/automake-1.16/am/depend2.am: to 'configure.ac' and run 'aclocal' and 'autoconf' again /usr/share/automake-1.16/am/depend2.am: error: AMDEP does not appear in AM_CONDITIONAL /usr/share/automake-1.16/am/depend2.am: The usual way to define 'AMDEP' is to add one of the compiler tests /usr/share/automake-1.16/am/depend2.am: AC_PROG_CC, AC_PROG_CXX, AC_PROG_OBJC, AC_PROG_OBJCXX, /usr/share/automake-1.16/am/depend2.am: AM_PROG_AS, AM_PROG_GCJ, AM_PROG_UPC /usr/share/automake-1.16/am/depend2.am: to 'configure.ac' and run 'aclocal' and 'autoconf' again src/Makefile.am: error: Lex source seen but 'LEX' is undefined src/Makefile.am: The usual way to define 'LEX' is to add 'AM_PROG_LEX' src/Makefile.am: to 'configure.ac' and run 'aclocal' and 'autoconf' again. configure.ac: error: installing 'config/ylwrap'; error while making link: No such file or directory configure.ac:29: error: required file 'config/compile' not found configure.ac:29: 'automake --add-missing' can install 'compile' configure.ac:16: error: required file 'config/install-sh' not found configure.ac:16: 'automake --add-missing' can install 'install-sh' configure.ac:16: error: required file 'config/missing' not found configure.ac:16: 'automake --add-missing' can install 'missing' src/Makefile.am: error: required file 'config/depcomp' not found src/Makefile.am: 'automake --add-missing' can install 'depcomp' configure.ac: error: required file 'config/ylwrap' not found configure.ac: 'automake --add-missing' can install 'ylwrap' autoreconf: automake failed with exit status: 1 configure.ac:29: installing 'config/compile' configure.ac:16: installing 'config/install-sh' configure.ac:16: installing 'config/missing' src/Makefile.am: installing 'config/depcomp' configure.ac: installing 'config/ylwrap' 8d/lib/file.xh splint-patched-20170327_3fb908d/lib/filerw.mts splint-patched-20170327_3fb908d/lib/filerw.xh splint-patched-20170327_3fb908d/lib/include/ splint-patched-20170327_3fb908d/lib/include/assert.h splint-patched-20170327_3fb908d/lib/include/ctype.h splint-patched-20170327_3fb908d/lib/include/dirent.h splint-patched-20170327_3fb908d/lib/include/errno.h splint-patched-20170327_3fb908d/lib/include/fcntl.h splint-patched-20170327_3fb908d/lib/include/float.h splint-patched-20170327_3fb908d/lib/include/grp.h splint-patched-20170327_3fb908d/lib/include/inttypes.h splint-patched-20170327_3fb908d/lib/include/limits.h splint-patched-20170327_3fb908d/lib/include/locale.h splint-patched-20170327_3fb908d/lib/include/math.h splint-patched-20170327_3fb908d/lib/include/poll.h splint-patched-20170327_3fb908d/lib/include/pwd.h splint-patched-20170327_3fb908d/lib/include/regex.h splint-patched-20170327_3fb908d/lib/include/setjmp.h splint-patched-20170327_3fb908d/lib/include/signal.h splint-patched-20170327_3fb908d/lib/include/stdarg.h splint-patched-20170327_3fb908d/lib/include/stdbool.h splint-patched-20170327_3fb908d/lib/include/stddef.h splint-patched-20170327_3fb908d/lib/include/stdint.h splint-patched-20170327_3fb908d/lib/include/stdio.h splint-patched-20170327_3fb908d/lib/include/stdlib.h splint-patched-20170327_3fb908d/lib/include/string.h splint-patched-20170327_3fb908d/lib/include/strings.h splint-patched-20170327_3fb908d/lib/include/sys/ splint-patched-20170327_3fb908d/lib/include/sys/socket.h splint-patched-20170327_3fb908d/lib/include/sys/stat.h splint-patched-20170327_3fb908d/lib/include/sys/times.h splint-patched-20170327_3fb908d/lib/include/sys/types.h splint-patched-20170327_3fb908d/lib/include/sys/uio.h splint-patched-20170327_3fb908d/lib/include/sys/utsname.h splint-patched-20170327_3fb908d/lib/include/sys/wait.h splint-patched-20170327_3fb908d/lib/include/termios.h splint-patched-20170327_3fb908d/lib/include/time.h splint-patched-20170327_3fb908d/lib/include/ucontext.h splint-patched-20170327_3fb908d/lib/include/unistd.h splint-patched-20170327_3fb908d/lib/include/utime.h splint-patched-20170327_3fb908d/lib/include/wchar.h splint-patched-20170327_3fb908d/lib/include/wctype.h splint-patched-20170327_3fb908d/lib/lclinit.lci splint-patched-20170327_3fb908d/lib/lslinit.lsi splint-patched-20170327_3fb908d/lib/tainted.mts splint-patched-20170327_3fb908d/lib/tainted.xh splint-patched-20170327_3fb908d/lib/unix.h splint-patched-20170327_3fb908d/os2/ splint-patched-20170327_3fb908d/os2/BUILD.OS2 splint-patched-20170327_3fb908d/os2/README.OS2 splint-patched-20170327_3fb908d/os2/make.vars splint-patched-20170327_3fb908d/os2/makeos2.cmd splint-patched-20170327_3fb908d/os2/os2config.h.in splint-patched-20170327_3fb908d/os2/run_splint.cmd splint-patched-20170327_3fb908d/os2/setenv.cmd.in splint-patched-20170327_3fb908d/os2/splint.def splint-patched-20170327_3fb908d/pkg/ splint-patched-20170327_3fb908d/pkg/rpm/ splint-patched-20170327_3fb908d/pkg/rpm/splint.spec splint-patched-20170327_3fb908d/src/ splint-patched-20170327_3fb908d/src/.gitignore splint-patched-20170327_3fb908d/src/.splintrc splint-patched-20170327_3fb908d/src/Headers/ splint-patched-20170327_3fb908d/src/Headers/CTypesNode.h splint-patched-20170327_3fb908d/src/Headers/abstBodyNode.h splint-patched-20170327_3fb908d/src/Headers/abstract.h splint-patched-20170327_3fb908d/src/Headers/abstractNode.h splint-patched-20170327_3fb908d/src/Headers/aliasTable.h splint-patched-20170327_3fb908d/src/Headers/annotationInfo.h splint-patched-20170327_3fb908d/src/Headers/annotationTable.h splint-patched-20170327_3fb908d/src/Headers/arrayQualNode.h splint-patched-20170327_3fb908d/src/Headers/basic.h splint-patched-20170327_3fb908d/src/Headers/bool.h splint-patched-20170327_3fb908d/src/Headers/checking.h splint-patched-20170327_3fb908d/src/Headers/clabstract.h splint-patched-20170327_3fb908d/src/Headers/claimNode.h splint-patched-20170327_3fb908d/src/Headers/clause.h splint-patched-20170327_3fb908d/src/Headers/clauseStack.h splint-patched-20170327_3fb908d/src/Headers/code.h splint-patched-20170327_3fb908d/src/Headers/constDeclarationNode.h splint-patched-20170327_3fb908d/src/Headers/constants.h splint-patched-20170327_3fb908d/src/Headers/constraint.h splint-patched-20170327_3fb908d/src/Headers/constraintExpr.h splint-patched-20170327_3fb908d/src/Headers/constraintExprData.h splint-patched-20170327_3fb908d/src/Headers/constraintList.h splint-patched-20170327_3fb908d/src/Headers/constraintOutput.h splint-patched-20170327_3fb908d/src/Headers/constraintResolve.h splint-patched-20170327_3fb908d/src/Headers/constraintTerm.h splint-patched-20170327_3fb908d/src/Headers/context.h splint-patched-20170327_3fb908d/src/Headers/cpp.h splint-patched-20170327_3fb908d/src/Headers/cppconf.h splint-patched-20170327_3fb908d/src/Headers/cpperror.h splint-patched-20170327_3fb908d/src/Headers/cppexp.h splint-patched-20170327_3fb908d/src/Headers/cpphash.h splint-patched-20170327_3fb908d/src/Headers/cpplib.h splint-patched-20170327_3fb908d/src/Headers/cprim.h splint-patched-20170327_3fb908d/src/Headers/cscanner.h splint-patched-20170327_3fb908d/src/Headers/cscannerHelp.h splint-patched-20170327_3fb908d/src/Headers/cstring.h splint-patched-20170327_3fb908d/src/Headers/cstringHash.h splint-patched-20170327_3fb908d/src/Headers/cstringList.h splint-patched-20170327_3fb908d/src/Headers/cstringSList.h splint-patched-20170327_3fb908d/src/Headers/cstringTable.h splint-patched-20170327_3fb908d/src/Headers/ctypeList.h splint-patched-20170327_3fb908d/src/Headers/declaratorInvNode.h splint-patched-20170327_3fb908d/src/Headers/declaratorInvNodeList.h splint-patched-20170327_3fb908d/src/Headers/declaratorNode.h splint-patched-20170327_3fb908d/src/Headers/declaratorNodeList.h splint-patched-20170327_3fb908d/src/Headers/ekind.h splint-patched-20170327_3fb908d/src/Headers/enumNameList.h splint-patched-20170327_3fb908d/src/Headers/enumNameSList.h splint-patched-20170327_3fb908d/src/Headers/enumSpecNode.h splint-patched-20170327_3fb908d/src/Headers/exportNode.h splint-patched-20170327_3fb908d/src/Headers/exposedNode.h splint-patched-20170327_3fb908d/src/Headers/exprChecks.h splint-patched-20170327_3fb908d/src/Headers/exprData.h splint-patched-20170327_3fb908d/src/Headers/exprNode.h splint-patched-20170327_3fb908d/src/Headers/exprNodeList.h splint-patched-20170327_3fb908d/src/Headers/exprNodeSList.h splint-patched-20170327_3fb908d/src/Headers/fcnNode.h splint-patched-20170327_3fb908d/src/Headers/fcnNodeList.h splint-patched-20170327_3fb908d/src/Headers/fileId.h splint-patched-20170327_3fb908d/src/Headers/fileIdList.h splint-patched-20170327_3fb908d/src/Headers/fileLib.h splint-patched-20170327_3fb908d/src/Headers/fileTable.h splint-patched-20170327_3fb908d/src/Headers/fileloc.h splint-patched-20170327_3fb908d/src/Headers/filelocList.h splint-patched-20170327_3fb908d/src/Headers/filelocStack.h splint-patched-20170327_3fb908d/src/Headers/flagMarker.h splint-patched-20170327_3fb908d/src/Headers/flagMarkerList.h splint-patched-20170327_3fb908d/src/Headers/flagSpec.h splint-patched-20170327_3fb908d/src/Headers/flags.h splint-patched-20170327_3fb908d/src/Headers/forwardTypes.h splint-patched-20170327_3fb908d/src/Headers/functionClause.h splint-patched-20170327_3fb908d/src/Headers/functionClauseList.h splint-patched-20170327_3fb908d/src/Headers/functionConstraint.h splint-patched-20170327_3fb908d/src/Headers/general.h splint-patched-20170327_3fb908d/src/Headers/genericTable.h splint-patched-20170327_3fb908d/src/Headers/globSet.h splint-patched-20170327_3fb908d/src/Headers/globalList.h splint-patched-20170327_3fb908d/src/Headers/globals.h splint-patched-20170327_3fb908d/src/Headers/globalsClause.h splint-patched-20170327_3fb908d/src/Headers/guardSet.h splint-patched-20170327_3fb908d/src/Headers/help.h splint-patched-20170327_3fb908d/src/Headers/idDecl.h splint-patched-20170327_3fb908d/src/Headers/idDeclList.h splint-patched-20170327_3fb908d/src/Headers/importNode.h splint-patched-20170327_3fb908d/src/Headers/importNodeList.h splint-patched-20170327_3fb908d/src/Headers/imports.h splint-patched-20170327_3fb908d/src/Headers/initDeclNode.h splint-patched-20170327_3fb908d/src/Headers/initDeclNodeList.h splint-patched-20170327_3fb908d/src/Headers/inputStream.h splint-patched-20170327_3fb908d/src/Headers/intSet.h splint-patched-20170327_3fb908d/src/Headers/interfaceNode.h splint-patched-20170327_3fb908d/src/Headers/interfaceNodeList.h splint-patched-20170327_3fb908d/src/Headers/iterNode.h splint-patched-20170327_3fb908d/src/Headers/lclForwardTypes.h splint-patched-20170327_3fb908d/src/Headers/lclMisc.h splint-patched-20170327_3fb908d/src/Headers/lclPredicateNode.h splint-patched-20170327_3fb908d/src/Headers/lclTypeSpecNode.h splint-patched-20170327_3fb908d/src/Headers/lcl_constants.h splint-patched-20170327_3fb908d/src/Headers/lclctypes.h splint-patched-20170327_3fb908d/src/Headers/lclinit.h splint-patched-20170327_3fb908d/src/Headers/lclscan.h splint-patched-20170327_3fb908d/src/Headers/lclscanline.h splint-patched-20170327_3fb908d/src/Headers/lclsyntable.h splint-patched-20170327_3fb908d/src/Headers/lcltokentable.h splint-patched-20170327_3fb908d/src/Headers/lctype.h splint-patched-20170327_3fb908d/src/Headers/letDeclNode.h splint-patched-20170327_3fb908d/src/Headers/letDeclNodeList.h splint-patched-20170327_3fb908d/src/Headers/lh.h splint-patched-20170327_3fb908d/src/Headers/library.h splint-patched-20170327_3fb908d/src/Headers/libversion.h splint-patched-20170327_3fb908d/src/Headers/llerror.h splint-patched-20170327_3fb908d/src/Headers/llglobals.h splint-patched-20170327_3fb908d/src/Headers/llmain.h splint-patched-20170327_3fb908d/src/Headers/lltok.h splint-patched-20170327_3fb908d/src/Headers/lslOp.h splint-patched-20170327_3fb908d/src/Headers/lslOpList.h splint-patched-20170327_3fb908d/src/Headers/lslOpSet.h splint-patched-20170327_3fb908d/src/Headers/lslinit.h splint-patched-20170327_3fb908d/src/Headers/lslparse.h splint-patched-20170327_3fb908d/src/Headers/lslscan.h splint-patched-20170327_3fb908d/src/Headers/lslscanline.h splint-patched-20170327_3fb908d/src/Headers/lslsyntable.h splint-patched-20170327_3fb908d/src/Headers/lsltokentable.h splint-patched-20170327_3fb908d/src/Headers/lsymbol.h splint-patched-20170327_3fb908d/src/Headers/lsymbolList.h splint-patched-20170327_3fb908d/src/Headers/lsymbolSet.h splint-patched-20170327_3fb908d/src/Headers/ltoken.h splint-patched-20170327_3fb908d/src/Headers/ltokenList.h splint-patched-20170327_3fb908d/src/Headers/macrocache.h splint-patched-20170327_3fb908d/src/Headers/mapping.h splint-patched-20170327_3fb908d/src/Headers/message.h splint-patched-20170327_3fb908d/src/Headers/messageLog.h splint-patched-20170327_3fb908d/src/Headers/metaStateConstraint.h splint-patched-20170327_3fb908d/src/Headers/metaStateConstraintList.h splint-patched-20170327_3fb908d/src/Headers/metaStateExpression.h splint-patched-20170327_3fb908d/src/Headers/metaStateInfo.h splint-patched-20170327_3fb908d/src/Headers/metaStateSpecifier.h splint-patched-20170327_3fb908d/src/Headers/metaStateTable.h splint-patched-20170327_3fb908d/src/Headers/misc.h splint-patched-20170327_3fb908d/src/Headers/modifiesClause.h splint-patched-20170327_3fb908d/src/Headers/modifyNode.h splint-patched-20170327_3fb908d/src/Headers/mstring.h splint-patched-20170327_3fb908d/src/Headers/mtAnnotationDecl.h splint-patched-20170327_3fb908d/src/Headers/mtAnnotationList.h splint-patched-20170327_3fb908d/src/Headers/mtAnnotationsNode.h splint-patched-20170327_3fb908d/src/Headers/mtContextNode.h splint-patched-20170327_3fb908d/src/Headers/mtDeclarationNode.h splint-patched-20170327_3fb908d/src/Headers/mtDeclarationPiece.h splint-patched-20170327_3fb908d/src/Headers/mtDeclarationPieces.h splint-patched-20170327_3fb908d/src/Headers/mtDefaultsDecl.h splint-patched-20170327_3fb908d/src/Headers/mtDefaultsDeclList.h splint-patched-20170327_3fb908d/src/Headers/mtDefaultsNode.h splint-patched-20170327_3fb908d/src/Headers/mtLoseReference.h splint-patched-20170327_3fb908d/src/Headers/mtLoseReferenceList.h splint-patched-20170327_3fb908d/src/Headers/mtMergeClause.h splint-patched-20170327_3fb908d/src/Headers/mtMergeClauseList.h splint-patched-20170327_3fb908d/src/Headers/mtMergeItem.h splint-patched-20170327_3fb908d/src/Headers/mtMergeNode.h splint-patched-20170327_3fb908d/src/Headers/mtTransferAction.h splint-patched-20170327_3fb908d/src/Headers/mtTransferClause.h splint-patched-20170327_3fb908d/src/Headers/mtTransferClauseList.h splint-patched-20170327_3fb908d/src/Headers/mtValuesNode.h splint-patched-20170327_3fb908d/src/Headers/mtincludes.h splint-patched-20170327_3fb908d/src/Headers/mtreader.h splint-patched-20170327_3fb908d/src/Headers/mtscanner.h splint-patched-20170327_3fb908d/src/Headers/mttok.h splint-patched-20170327_3fb908d/src/Headers/multiVal.h splint-patched-20170327_3fb908d/src/Headers/nameChecks.h splint-patched-20170327_3fb908d/src/Headers/nameNode.h splint-patched-20170327_3fb908d/src/Headers/opFormNode.h splint-patched-20170327_3fb908d/src/Headers/osd.h splint-patched-20170327_3fb908d/src/Headers/pairNode.h splint-patched-20170327_3fb908d/src/Headers/pairNodeList.h splint-patched-20170327_3fb908d/src/Headers/paramNode.h splint-patched-20170327_3fb908d/src/Headers/paramNodeList.h splint-patched-20170327_3fb908d/src/Headers/pointers.h splint-patched-20170327_3fb908d/src/Headers/privateNode.h splint-patched-20170327_3fb908d/src/Headers/programNode.h splint-patched-20170327_3fb908d/src/Headers/programNodeList.h splint-patched-20170327_3fb908d/src/Headers/qtype.h splint-patched-20170327_3fb908d/src/Headers/qual.h splint-patched-20170327_3fb908d/src/Headers/qualList.h splint-patched-20170327_3fb908d/src/Headers/quantifiedTermNode.h splint-patched-20170327_3fb908d/src/Headers/quantifierNode.h splint-patched-20170327_3fb908d/src/Headers/quantifierNodeList.h splint-patched-20170327_3fb908d/src/Headers/rcfiles.h splint-patched-20170327_3fb908d/src/Headers/reader.h splint-patched-20170327_3fb908d/src/Headers/renamingNode.h splint-patched-20170327_3fb908d/src/Headers/replaceNode.h splint-patched-20170327_3fb908d/src/Headers/replaceNodeList.h splint-patched-20170327_3fb908d/src/Headers/reservedNames.h splint-patched-20170327_3fb908d/src/Headers/sRef.h splint-patched-20170327_3fb908d/src/Headers/sRefSet.h splint-patched-20170327_3fb908d/src/Headers/sRefSetList.h splint-patched-20170327_3fb908d/src/Headers/sRefTable.h splint-patched-20170327_3fb908d/src/Headers/shift.h splint-patched-20170327_3fb908d/src/Headers/sigNode.h splint-patched-20170327_3fb908d/src/Headers/sigNodeSet.h splint-patched-20170327_3fb908d/src/Headers/signNode.h splint-patched-20170327_3fb908d/src/Headers/sort.h splint-patched-20170327_3fb908d/src/Headers/sortList.h splint-patched-20170327_3fb908d/src/Headers/sortSet.h splint-patched-20170327_3fb908d/src/Headers/sortSetList.h splint-patched-20170327_3fb908d/src/Headers/splintMacros.nf splint-patched-20170327_3fb908d/src/Headers/stDeclNode.h splint-patched-20170327_3fb908d/src/Headers/stDeclNodeList.h splint-patched-20170327_3fb908d/src/Headers/stateClause.h splint-patched-20170327_3fb908d/src/Headers/stateClauseList.h splint-patched-20170327_3fb908d/src/Headers/stateCombinationTable.h splint-patched-20170327_3fb908d/src/Headers/stateInfo.h splint-patched-20170327_3fb908d/src/Headers/stateValue.h splint-patched-20170327_3fb908d/src/Headers/stmtNode.h splint-patched-20170327_3fb908d/src/Headers/storeRefNode.h splint-patched-20170327_3fb908d/src/Headers/storeRefNodeList.h splint-patched-20170327_3fb908d/src/Headers/strOrUnionNode.h splint-patched-20170327_3fb908d/src/Headers/structNames.h splint-patched-20170327_3fb908d/src/Headers/symtable.h splint-patched-20170327_3fb908d/src/Headers/system_constants.h splint-patched-20170327_3fb908d/src/Headers/taggedUnionNode.h splint-patched-20170327_3fb908d/src/Headers/termNode.h splint-patched-20170327_3fb908d/src/Headers/termNodeList.h splint-patched-20170327_3fb908d/src/Headers/traitRefNode.h splint-patched-20170327_3fb908d/src/Headers/traitRefNodeList.h splint-patched-20170327_3fb908d/src/Headers/transferChecks.h splint-patched-20170327_3fb908d/src/Headers/typeExpr.h splint-patched-20170327_3fb908d/src/Headers/typeId.h splint-patched-20170327_3fb908d/src/Headers/typeIdSet.h splint-patched-20170327_3fb908d/src/Headers/typeNameNode.h splint-patched-20170327_3fb908d/src/Headers/typeNameNodeList.h splint-patched-20170327_3fb908d/src/Headers/typeNamePack.h splint-patched-20170327_3fb908d/src/Headers/typeNode.h splint-patched-20170327_3fb908d/src/Headers/uentry.h splint-patched-20170327_3fb908d/src/Headers/uentryList.h splint-patched-20170327_3fb908d/src/Headers/usymId.h splint-patched-20170327_3fb908d/src/Headers/usymIdSet.h splint-patched-20170327_3fb908d/src/Headers/usymtab.h splint-patched-20170327_3fb908d/src/Headers/usymtab_interface.h splint-patched-20170327_3fb908d/src/Headers/valueTable.h splint-patched-20170327_3fb908d/src/Headers/varDeclarationNode.h splint-patched-20170327_3fb908d/src/Headers/varDeclarationNodeList.h splint-patched-20170327_3fb908d/src/Headers/varKinds.h splint-patched-20170327_3fb908d/src/Headers/varNode.h splint-patched-20170327_3fb908d/src/Headers/varNodeList.h splint-patched-20170327_3fb908d/src/Headers/warnClause.h splint-patched-20170327_3fb908d/src/Headers/ynm.h splint-patched-20170327_3fb908d/src/LICENSE splint-patched-20170327_3fb908d/src/Makefile.am splint-patched-20170327_3fb908d/src/Makefile.os2 splint-patched-20170327_3fb908d/src/abstract.c splint-patched-20170327_3fb908d/src/aliasTable.c splint-patched-20170327_3fb908d/src/annotationInfo.c splint-patched-20170327_3fb908d/src/annotationTable.c splint-patched-20170327_3fb908d/src/bison.head splint-patched-20170327_3fb908d/src/bison.reset splint-patched-20170327_3fb908d/src/cgrammar.y splint-patched-20170327_3fb908d/src/checking.c splint-patched-20170327_3fb908d/src/clabstract.c splint-patched-20170327_3fb908d/src/clause.c splint-patched-20170327_3fb908d/src/clauseStack.c splint-patched-20170327_3fb908d/src/constraint.c splint-patched-20170327_3fb908d/src/constraintExpr.c splint-patched-20170327_3fb908d/src/constraintExprData.c splint-patched-20170327_3fb908d/src/constraintGeneration.c splint-patched-20170327_3fb908d/src/constraintList.c splint-patched-20170327_3fb908d/src/constraintResolve.c splint-patched-20170327_3fb908d/src/constraintTerm.c splint-patched-20170327_3fb908d/src/context.c splint-patched-20170327_3fb908d/src/cpperror.c splint-patched-20170327_3fb908d/src/cppexp.c splint-patched-20170327_3fb908d/src/cpphash.c splint-patched-20170327_3fb908d/src/cpplib.c splint-patched-20170327_3fb908d/src/cppmain.c splint-patched-20170327_3fb908d/src/cprim.c splint-patched-20170327_3fb908d/src/cscanner.l splint-patched-20170327_3fb908d/src/cscannerHelp.c splint-patched-20170327_3fb908d/src/cstring.c splint-patched-20170327_3fb908d/src/cstringHash.c splint-patched-20170327_3fb908d/src/cstringList.c splint-patched-20170327_3fb908d/src/cstringSList.c splint-patched-20170327_3fb908d/src/cstringTable.c splint-patched-20170327_3fb908d/src/ctbase.i splint-patched-20170327_3fb908d/src/cttable.i splint-patched-20170327_3fb908d/src/ctype.c splint-patched-20170327_3fb908d/src/ctypeList.c splint-patched-20170327_3fb908d/src/declaratorInvNodeList.c splint-patched-20170327_3fb908d/src/declaratorNodeList.c splint-patched-20170327_3fb908d/src/ekind.c splint-patched-20170327_3fb908d/src/enumNameList.c splint-patched-20170327_3fb908d/src/enumNameSList.c splint-patched-20170327_3fb908d/src/exprChecks.c splint-patched-20170327_3fb908d/src/exprData.c splint-patched-20170327_3fb908d/src/exprNode.c splint-patched-20170327_3fb908d/src/exprNodeList.c splint-patched-20170327_3fb908d/src/exprNodeSList.c splint-patched-20170327_3fb908d/src/fcnNodeList.c splint-patched-20170327_3fb908d/src/fileLib.c splint-patched-20170327_3fb908d/src/fileTable.c splint-patched-20170327_3fb908d/src/fileloc.c splint-patched-20170327_3fb908d/src/filelocList.c splint-patched-20170327_3fb908d/src/filelocStack.c splint-patched-20170327_3fb908d/src/flagMarker.c splint-patched-20170327_3fb908d/src/flagMarkerList.c splint-patched-20170327_3fb908d/src/flagSpec.c splint-patched-20170327_3fb908d/src/flags.c splint-patched-20170327_3fb908d/src/flags.def splint-patched-20170327_3fb908d/src/flex.head splint-patched-20170327_3fb908d/src/flex.reset splint-patched-20170327_3fb908d/src/functionClause.c splint-patched-20170327_3fb908d/src/functionClauseList.c splint-patched-20170327_3fb908d/src/functionConstraint.c splint-patched-20170327_3fb908d/src/general.c splint-patched-20170327_3fb908d/src/genericTable.c splint-patched-20170327_3fb908d/src/genflagcodes splint-patched-20170327_3fb908d/src/globSet.c splint-patched-20170327_3fb908d/src/globals.c splint-patched-20170327_3fb908d/src/globalsClause.c splint-patched-20170327_3fb908d/src/guardSet.c splint-patched-20170327_3fb908d/src/help.c splint-patched-20170327_3fb908d/src/idDecl.c splint-patched-20170327_3fb908d/src/idDeclList.c splint-patched-20170327_3fb908d/src/importNodeList.c splint-patched-20170327_3fb908d/src/imports.c splint-patched-20170327_3fb908d/src/initDeclNodeList.c splint-patched-20170327_3fb908d/src/inputStream.c splint-patched-20170327_3fb908d/src/intSet.c splint-patched-20170327_3fb908d/src/interfaceNodeList.c splint-patched-20170327_3fb908d/src/lclctypes.c splint-patched-20170327_3fb908d/src/lclinit.c splint-patched-20170327_3fb908d/src/lclscan.c splint-patched-20170327_3fb908d/src/lclscanline.c splint-patched-20170327_3fb908d/src/lclsyntable.c splint-patched-20170327_3fb908d/src/lcltokentable.c splint-patched-20170327_3fb908d/src/letDeclNodeList.c splint-patched-20170327_3fb908d/src/lh.c splint-patched-20170327_3fb908d/src/library.c splint-patched-20170327_3fb908d/src/llerror.c splint-patched-20170327_3fb908d/src/llgrammar.y splint-patched-20170327_3fb908d/src/llmain.c splint-patched-20170327_3fb908d/src/lltok.c splint-patched-20170327_3fb908d/src/loopHeuristics.c splint-patched-20170327_3fb908d/src/lslOpList.c splint-patched-20170327_3fb908d/src/lslOpSet.c splint-patched-20170327_3fb908d/src/lslgrammar.y splint-patched-20170327_3fb908d/src/lslinit.c splint-patched-20170327_3fb908d/src/lslparse.c splint-patched-20170327_3fb908d/src/lslscan.c splint-patched-20170327_3fb908d/src/lslscanline.c splint-patched-20170327_3fb908d/src/lslsyntable.c splint-patched-20170327_3fb908d/src/lsltokentable.c splint-patched-20170327_3fb908d/src/lsymbol.c splint-patched-20170327_3fb908d/src/lsymbolList.c splint-patched-20170327_3fb908d/src/lsymbolSet.c splint-patched-20170327_3fb908d/src/ltoken.c splint-patched-20170327_3fb908d/src/ltokenList.c splint-patched-20170327_3fb908d/src/macrocache.c splint-patched-20170327_3fb908d/src/maketags splint-patched-20170327_3fb908d/src/mapping.c splint-patched-20170327_3fb908d/src/message.c splint-patched-20170327_3fb908d/src/messageLog.c splint-patched-20170327_3fb908d/src/metaStateConstraint.c splint-patched-20170327_3fb908d/src/metaStateConstraintList.c splint-patched-20170327_3fb908d/src/metaStateExpression.c splint-patched-20170327_3fb908d/src/metaStateInfo.c splint-patched-20170327_3fb908d/src/metaStateSpecifier.c splint-patched-20170327_3fb908d/src/metaStateTable.c splint-patched-20170327_3fb908d/src/misc.c splint-patched-20170327_3fb908d/src/modifiesClause.c splint-patched-20170327_3fb908d/src/mstring.c splint-patched-20170327_3fb908d/src/mtAnnotationDecl.c splint-patched-20170327_3fb908d/src/mtAnnotationList.c splint-patched-20170327_3fb908d/src/mtAnnotationsNode.c splint-patched-20170327_3fb908d/src/mtContextNode.c splint-patched-20170327_3fb908d/src/mtDeclarationNode.c splint-patched-20170327_3fb908d/src/mtDeclarationPiece.c splint-patched-20170327_3fb908d/src/mtDeclarationPieces.c splint-patched-20170327_3fb908d/src/mtDefaultsDecl.c splint-patched-20170327_3fb908d/src/mtDefaultsDeclList.c splint-patched-20170327_3fb908d/src/mtDefaultsNode.c splint-patched-20170327_3fb908d/src/mtLoseReference.c splint-patched-20170327_3fb908d/src/mtLoseReferenceList.c splint-patched-20170327_3fb908d/src/mtMergeClause.c splint-patched-20170327_3fb908d/src/mtMergeClauseList.c splint-patched-20170327_3fb908d/src/mtMergeItem.c splint-patched-20170327_3fb908d/src/mtMergeNode.c splint-patched-20170327_3fb908d/src/mtTransferAction.c splint-patched-20170327_3fb908d/src/mtTransferClause.c splint-patched-20170327_3fb908d/src/mtTransferClauseList.c splint-patched-20170327_3fb908d/src/mtValuesNode.c splint-patched-20170327_3fb908d/src/mtgrammar.y splint-patched-20170327_3fb908d/src/mtreader.c splint-patched-20170327_3fb908d/src/mtscanner.c splint-patched-20170327_3fb908d/src/mttok.c splint-patched-20170327_3fb908d/src/multiVal.c splint-patched-20170327_3fb908d/src/nameChecks.c splint-patched-20170327_3fb908d/src/osd.c splint-patched-20170327_3fb908d/src/pairNodeList.c splint-patched-20170327_3fb908d/src/paramNodeList.c splint-patched-20170327_3fb908d/src/pointers.c splint-patched-20170327_3fb908d/src/programNodeList.c splint-patched-20170327_3fb908d/src/qtype.c splint-patched-20170327_3fb908d/src/qual.c splint-patched-20170327_3fb908d/src/qualList.c splint-patched-20170327_3fb908d/src/quantifierNodeList.c splint-patched-20170327_3fb908d/src/rcfiles.c splint-patched-20170327_3fb908d/src/reader.c splint-patched-20170327_3fb908d/src/replaceNodeList.c splint-patched-20170327_3fb908d/src/reservedNames.c splint-patched-20170327_3fb908d/src/sRef.c splint-patched-20170327_3fb908d/src/sRefSet.c splint-patched-20170327_3fb908d/src/sRefSetList.c splint-patched-20170327_3fb908d/src/sRefTable.c splint-patched-20170327_3fb908d/src/shift.c splint-patched-20170327_3fb908d/src/sigNodeSet.c splint-patched-20170327_3fb908d/src/sort.c splint-patched-20170327_3fb908d/src/sortList.c splint-patched-20170327_3fb908d/src/sortSet.c splint-patched-20170327_3fb908d/src/sortSetList.c splint-patched-20170327_3fb908d/src/stDeclNodeList.c splint-patched-20170327_3fb908d/src/stateClause.c splint-patched-20170327_3fb908d/src/stateClauseList.c splint-patched-20170327_3fb908d/src/stateCombinationTable.c splint-patched-20170327_3fb908d/src/stateInfo.c splint-patched-20170327_3fb908d/src/stateValue.c splint-patched-20170327_3fb908d/src/storeRefNodeList.c splint-patched-20170327_3fb908d/src/structNames.c splint-patched-20170327_3fb908d/src/symtable.c splint-patched-20170327_3fb908d/src/termNodeList.c splint-patched-20170327_3fb908d/src/traitRefNodeList.c splint-patched-20170327_3fb908d/src/transferChecks.c splint-patched-20170327_3fb908d/src/typeIdSet.c splint-patched-20170327_3fb908d/src/typeNameNodeList.c splint-patched-20170327_3fb908d/src/uentry.c splint-patched-20170327_3fb908d/src/uentryList.c splint-patched-20170327_3fb908d/src/usymIdSet.c splint-patched-20170327_3fb908d/src/usymtab.c splint-patched-20170327_3fb908d/src/usymtab_interface.c splint-patched-20170327_3fb908d/src/valueTable.c splint-patched-20170327_3fb908d/src/varDeclarationNodeList.c splint-patched-20170327_3fb908d/src/varKinds.c splint-patched-20170327_3fb908d/src/varNodeList.c splint-patched-20170327_3fb908d/src/warnClause.c splint-patched-20170327_3fb908d/src/ynm.c splint-patched-20170327_3fb908d/stamp-h splint-patched-20170327_3fb908d/stamp-h.in splint-patched-20170327_3fb908d/test/ splint-patched-20170327_3fb908d/test/Makefile splint-patched-20170327_3fb908d/test/Makefile.os2 splint-patched-20170327_3fb908d/test/UNUSED/ splint-patched-20170327_3fb908d/test/UNUSED/conditions/ splint-patched-20170327_3fb908d/test/UNUSED/conditions/Makefile splint-patched-20170327_3fb908d/test/UNUSED/conditions/miroslaw.c splint-patched-20170327_3fb908d/test/UNUSED/conditions/releases.c splint-patched-20170327_3fb908d/test/UNUSED/dkf5kEnum.c splint-patched-20170327_3fb908d/test/UNUSED/dkf5kRange.c splint-patched-20170327_3fb908d/test/UNUSED/dkf5kSprintf.c splint-patched-20170327_3fb908d/test/UNUSED/globals2.c splint-patched-20170327_3fb908d/test/UNUSED/innerfree.c splint-patched-20170327_3fb908d/test/UNUSED/mparen.c splint-patched-20170327_3fb908d/test/UNUSED/nullterminatedtest.expect splint-patched-20170327_3fb908d/test/UNUSED/nullterminatedtest/ splint-patched-20170327_3fb908d/test/UNUSED/nullterminatedtest/buggy1.c splint-patched-20170327_3fb908d/test/UNUSED/nullterminatedtest/buggy_support1.c splint-patched-20170327_3fb908d/test/UNUSED/nullterminatedtest/buggy_support_fmakeword.c splint-patched-20170327_3fb908d/test/UNUSED/nullterminatedtest/test1.c splint-patched-20170327_3fb908d/test/UNUSED/nullterminatedtest/test3.c splint-patched-20170327_3fb908d/test/UNUSED/specclauses6.c splint-patched-20170327_3fb908d/test/UNUSED/suppressfile/ splint-patched-20170327_3fb908d/test/UNUSED/suppressfile/test.c splint-patched-20170327_3fb908d/test/UNUSED/suppressfile/test.h splint-patched-20170327_3fb908d/test/UNUSED/tclauses/ splint-patched-20170327_3fb908d/test/UNUSED/tclauses/globals.c splint-patched-20170327_3fb908d/test/UNUSED/tclauses/gt.c splint-patched-20170327_3fb908d/test/UNUSED/tclauses/modifies.c splint-patched-20170327_3fb908d/test/UNUSED/tclauses/struct.c splint-patched-20170327_3fb908d/test/UNUSED/tclauses/undef.c splint-patched-20170327_3fb908d/test/UNUSED/warnuse.expect splint-patched-20170327_3fb908d/test/UNUSED/warnuse/ splint-patched-20170327_3fb908d/test/UNUSED/warnuse/Makefile splint-patched-20170327_3fb908d/test/UNUSED/warnuse/warngets.c splint-patched-20170327_3fb908d/test/UNUSED/warnuse/warnuse.c splint-patched-20170327_3fb908d/test/abst_t.lcl splint-patched-20170327_3fb908d/test/abstptr.c splint-patched-20170327_3fb908d/test/abstptr.expect splint-patched-20170327_3fb908d/test/abstptr.lcl splint-patched-20170327_3fb908d/test/abstract.expect splint-patched-20170327_3fb908d/test/alias.c splint-patched-20170327_3fb908d/test/alias.expect splint-patched-20170327_3fb908d/test/alias.lcl splint-patched-20170327_3fb908d/test/alias2.c splint-patched-20170327_3fb908d/test/alias2.lcl splint-patched-20170327_3fb908d/test/alias3.c splint-patched-20170327_3fb908d/test/alias3.lcl splint-patched-20170327_3fb908d/test/alias4.c splint-patched-20170327_3fb908d/test/alias4.lcl splint-patched-20170327_3fb908d/test/alias5.c splint-patched-20170327_3fb908d/test/alias5.lcl splint-patched-20170327_3fb908d/test/alttypes.c splint-patched-20170327_3fb908d/test/alttypes.expect splint-patched-20170327_3fb908d/test/ansireserved.c splint-patched-20170327_3fb908d/test/ansireserved.expect splint-patched-20170327_3fb908d/test/ansireserved2.c splint-patched-20170327_3fb908d/test/argorder.c splint-patched-20170327_3fb908d/test/argorder.expect splint-patched-20170327_3fb908d/test/argorder2.c splint-patched-20170327_3fb908d/test/argorder2.lcl splint-patched-20170327_3fb908d/test/argorder3.c splint-patched-20170327_3fb908d/test/argorder4.c splint-patched-20170327_3fb908d/test/argorder4.lcl splint-patched-20170327_3fb908d/test/argorder5.c splint-patched-20170327_3fb908d/test/args.c splint-patched-20170327_3fb908d/test/args.expect splint-patched-20170327_3fb908d/test/args.lcl splint-patched-20170327_3fb908d/test/arraydims.c splint-patched-20170327_3fb908d/test/arraydims.expect splint-patched-20170327_3fb908d/test/arrayinit.c splint-patched-20170327_3fb908d/test/arrayinit.expect splint-patched-20170327_3fb908d/test/arraylit.c splint-patched-20170327_3fb908d/test/arraylit.expect splint-patched-20170327_3fb908d/test/blocks.c splint-patched-20170327_3fb908d/test/blocks.expect splint-patched-20170327_3fb908d/test/bool.h splint-patched-20170327_3fb908d/test/branchstate.c splint-patched-20170327_3fb908d/test/branchstate.expect splint-patched-20170327_3fb908d/test/break.c splint-patched-20170327_3fb908d/test/break.expect splint-patched-20170327_3fb908d/test/buffertest.expect splint-patched-20170327_3fb908d/test/buffertest1.c splint-patched-20170327_3fb908d/test/c99decl.c splint-patched-20170327_3fb908d/test/c99decl.expect splint-patched-20170327_3fb908d/test/cases.c splint-patched-20170327_3fb908d/test/cases.expect splint-patched-20170327_3fb908d/test/cases2.c splint-patched-20170327_3fb908d/test/cast.c splint-patched-20170327_3fb908d/test/cast.expect splint-patched-20170327_3fb908d/test/cast.lcl splint-patched-20170327_3fb908d/test/cast2.c splint-patched-20170327_3fb908d/test/chararraylit.c splint-patched-20170327_3fb908d/test/chararraylit.expect splint-patched-20170327_3fb908d/test/charlit.c splint-patched-20170327_3fb908d/test/charlit.expect splint-patched-20170327_3fb908d/test/clauses.c splint-patched-20170327_3fb908d/test/clauses.expect splint-patched-20170327_3fb908d/test/clauses2.c splint-patched-20170327_3fb908d/test/clauses3.c splint-patched-20170327_3fb908d/test/commentchar.c splint-patched-20170327_3fb908d/test/commentchar.expect splint-patched-20170327_3fb908d/test/commentcmd.c splint-patched-20170327_3fb908d/test/compdestroy.c splint-patched-20170327_3fb908d/test/compdestroy.expect splint-patched-20170327_3fb908d/test/compoundliterals.c splint-patched-20170327_3fb908d/test/compoundliterals.expect splint-patched-20170327_3fb908d/test/compoundstmt.c splint-patched-20170327_3fb908d/test/compoundstmt.expect splint-patched-20170327_3fb908d/test/condifomit.c splint-patched-20170327_3fb908d/test/condifomit.expect splint-patched-20170327_3fb908d/test/constannot.c splint-patched-20170327_3fb908d/test/constannot.expect splint-patched-20170327_3fb908d/test/controldepth.c splint-patched-20170327_3fb908d/test/controldepth.expect splint-patched-20170327_3fb908d/test/csyntax.c splint-patched-20170327_3fb908d/test/csyntax.expect splint-patched-20170327_3fb908d/test/csyntax10.c splint-patched-20170327_3fb908d/test/csyntax11.c splint-patched-20170327_3fb908d/test/csyntax12.c splint-patched-20170327_3fb908d/test/csyntax13.c splint-patched-20170327_3fb908d/test/csyntax14.c splint-patched-20170327_3fb908d/test/csyntax15.c splint-patched-20170327_3fb908d/test/csyntax16.c splint-patched-20170327_3fb908d/test/csyntax17.c splint-patched-20170327_3fb908d/test/csyntax2.c splint-patched-20170327_3fb908d/test/csyntax3.c splint-patched-20170327_3fb908d/test/csyntax4.c splint-patched-20170327_3fb908d/test/csyntax5.c splint-patched-20170327_3fb908d/test/csyntax6.c splint-patched-20170327_3fb908d/test/csyntax7.c splint-patched-20170327_3fb908d/test/csyntax8.c splint-patched-20170327_3fb908d/test/csyntax9.c splint-patched-20170327_3fb908d/test/czechnames.c splint-patched-20170327_3fb908d/test/czechnames.expect splint-patched-20170327_3fb908d/test/czechoslovaknames.c splint-patched-20170327_3fb908d/test/czechoslovaknames.expect splint-patched-20170327_3fb908d/test/db1.expect splint-patched-20170327_3fb908d/test/db1/ splint-patched-20170327_3fb908d/test/db1/Makefile splint-patched-20170327_3fb908d/test/db1/README splint-patched-20170327_3fb908d/test/db1/bool.h splint-patched-20170327_3fb908d/test/db1/bool.lcl splint-patched-20170327_3fb908d/test/db1/dbase.c splint-patched-20170327_3fb908d/test/db1/dbase.h splint-patched-20170327_3fb908d/test/db1/dbase.lcl splint-patched-20170327_3fb908d/test/db1/drive.c splint-patched-20170327_3fb908d/test/db1/employee.c splint-patched-20170327_3fb908d/test/db1/employee.h splint-patched-20170327_3fb908d/test/db1/employee.lcl splint-patched-20170327_3fb908d/test/db1/empset.c splint-patched-20170327_3fb908d/test/db1/empset.h splint-patched-20170327_3fb908d/test/db1/empset.lcl splint-patched-20170327_3fb908d/test/db1/erc.c splint-patched-20170327_3fb908d/test/db1/erc.h splint-patched-20170327_3fb908d/test/db1/erc.lcl splint-patched-20170327_3fb908d/test/db1/eref.c splint-patched-20170327_3fb908d/test/db1/eref.h splint-patched-20170327_3fb908d/test/db1/eref.lcl splint-patched-20170327_3fb908d/test/db1/ereftab.c splint-patched-20170327_3fb908d/test/db1/ereftab.h splint-patched-20170327_3fb908d/test/db1/ereftab.lcl splint-patched-20170327_3fb908d/test/db2.expect splint-patched-20170327_3fb908d/test/db2/ splint-patched-20170327_3fb908d/test/db2/Makefile splint-patched-20170327_3fb908d/test/db2/bool.h splint-patched-20170327_3fb908d/test/db2/dbase.c splint-patched-20170327_3fb908d/test/db2/dbase.h splint-patched-20170327_3fb908d/test/db2/dbase.lcl splint-patched-20170327_3fb908d/test/db2/drive.c splint-patched-20170327_3fb908d/test/db2/employee.c splint-patched-20170327_3fb908d/test/db2/employee.h splint-patched-20170327_3fb908d/test/db2/employee.lcl splint-patched-20170327_3fb908d/test/db2/empset.c splint-patched-20170327_3fb908d/test/db2/empset.h splint-patched-20170327_3fb908d/test/db2/empset.lcl splint-patched-20170327_3fb908d/test/db2/erc.c splint-patched-20170327_3fb908d/test/db2/erc.h splint-patched-20170327_3fb908d/test/db2/erc.lcl splint-patched-20170327_3fb908d/test/db2/eref.c splint-patched-20170327_3fb908d/test/db2/eref.h splint-patched-20170327_3fb908d/test/db2/eref.lcl splint-patched-20170327_3fb908d/test/db2/ereftab.c splint-patched-20170327_3fb908d/test/db2/ereftab.h splint-patched-20170327_3fb908d/test/db2/ereftab.lcl splint-patched-20170327_3fb908d/test/db2/etest.c splint-patched-20170327_3fb908d/test/db2/etest.lcl splint-patched-20170327_3fb908d/test/db3.expect splint-patched-20170327_3fb908d/test/db3/ splint-patched-20170327_3fb908d/test/db3/.splintrc splint-patched-20170327_3fb908d/test/db3/Makefile splint-patched-20170327_3fb908d/test/db3/README splint-patched-20170327_3fb908d/test/db3/bool.h splint-patched-20170327_3fb908d/test/db3/bool.lcl splint-patched-20170327_3fb908d/test/db3/check.lcl splint-patched-20170327_3fb908d/test/db3/dbase.c splint-patched-20170327_3fb908d/test/db3/dbase.h splint-patched-20170327_3fb908d/test/db3/dbase.lcl splint-patched-20170327_3fb908d/test/db3/drive.c splint-patched-20170327_3fb908d/test/db3/employee.c splint-patched-20170327_3fb908d/test/db3/employee.h splint-patched-20170327_3fb908d/test/db3/employee.lcl splint-patched-20170327_3fb908d/test/db3/empset.c splint-patched-20170327_3fb908d/test/db3/empset.h splint-patched-20170327_3fb908d/test/db3/empset.lcl splint-patched-20170327_3fb908d/test/db3/erc.c splint-patched-20170327_3fb908d/test/db3/erc.h splint-patched-20170327_3fb908d/test/db3/erc.lcl splint-patched-20170327_3fb908d/test/db3/eref.c splint-patched-20170327_3fb908d/test/db3/eref.h splint-patched-20170327_3fb908d/test/db3/eref.lcl splint-patched-20170327_3fb908d/test/db3/ereftab.c splint-patched-20170327_3fb908d/test/db3/ereftab.h splint-patched-20170327_3fb908d/test/db3/ereftab.lcl splint-patched-20170327_3fb908d/test/deadparam.c splint-patched-20170327_3fb908d/test/deadparam.expect splint-patched-20170327_3fb908d/test/decl.c splint-patched-20170327_3fb908d/test/decl.expect splint-patched-20170327_3fb908d/test/decl2.c splint-patched-20170327_3fb908d/test/decl2.h splint-patched-20170327_3fb908d/test/decl2.lcl splint-patched-20170327_3fb908d/test/divzero.c splint-patched-20170327_3fb908d/test/divzero.expect splint-patched-20170327_3fb908d/test/duffextensive.c splint-patched-20170327_3fb908d/test/duffextensive.expect splint-patched-20170327_3fb908d/test/ensures.c splint-patched-20170327_3fb908d/test/ensures.expect splint-patched-20170327_3fb908d/test/enum.c splint-patched-20170327_3fb908d/test/enum.expect splint-patched-20170327_3fb908d/test/enum.lcl splint-patched-20170327_3fb908d/test/enuminitredeftype.c splint-patched-20170327_3fb908d/test/enuminitredeftype.expect splint-patched-20170327_3fb908d/test/enumredefmacro.expect splint-patched-20170327_3fb908d/test/enumredefmacro/ splint-patched-20170327_3fb908d/test/enumredefmacro/Makefile splint-patched-20170327_3fb908d/test/enumredefmacro/include/ splint-patched-20170327_3fb908d/test/enumredefmacro/include/system.h splint-patched-20170327_3fb908d/test/enumredefmacro/main.c splint-patched-20170327_3fb908d/test/enumredefmacro/syslib.h splint-patched-20170327_3fb908d/test/enumredefmacro/user.h splint-patched-20170327_3fb908d/test/enumtag.c splint-patched-20170327_3fb908d/test/enumtag.expect splint-patched-20170327_3fb908d/test/exports.c splint-patched-20170327_3fb908d/test/exports.expect splint-patched-20170327_3fb908d/test/exports.h splint-patched-20170327_3fb908d/test/external.c splint-patched-20170327_3fb908d/test/external.expect splint-patched-20170327_3fb908d/test/fields.c splint-patched-20170327_3fb908d/test/fields.expect splint-patched-20170327_3fb908d/test/fields2.c splint-patched-20170327_3fb908d/test/fields3.c splint-patched-20170327_3fb908d/test/fileio.expect splint-patched-20170327_3fb908d/test/fileio/ splint-patched-20170327_3fb908d/test/fileio/Makefile splint-patched-20170327_3fb908d/test/fileio/NOTES splint-patched-20170327_3fb908d/test/fileio/eof.mts splint-patched-20170327_3fb908d/test/fileio/file.c splint-patched-20170327_3fb908d/test/fileio/file.mts splint-patched-20170327_3fb908d/test/fileio/file.xh splint-patched-20170327_3fb908d/test/fileio/filebranch.c splint-patched-20170327_3fb908d/test/fileio/filerw.c splint-patched-20170327_3fb908d/test/fileio/filerw.mts splint-patched-20170327_3fb908d/test/fileio/filerw.xh splint-patched-20170327_3fb908d/test/flags.c splint-patched-20170327_3fb908d/test/flags.expect splint-patched-20170327_3fb908d/test/for.expect splint-patched-20170327_3fb908d/test/for/ splint-patched-20170327_3fb908d/test/for/.splintrc splint-patched-20170327_3fb908d/test/for/Makefile splint-patched-20170327_3fb908d/test/for/for.c splint-patched-20170327_3fb908d/test/forbody.c splint-patched-20170327_3fb908d/test/forbody.expect splint-patched-20170327_3fb908d/test/format.c splint-patched-20170327_3fb908d/test/format.expect splint-patched-20170327_3fb908d/test/freearray.c splint-patched-20170327_3fb908d/test/freearray.expect splint-patched-20170327_3fb908d/test/funcpointer.c splint-patched-20170327_3fb908d/test/funcpointer.expect splint-patched-20170327_3fb908d/test/functionmacro.c splint-patched-20170327_3fb908d/test/functionmacro.expect splint-patched-20170327_3fb908d/test/glob.c splint-patched-20170327_3fb908d/test/glob.expect splint-patched-20170327_3fb908d/test/glob.lcl splint-patched-20170327_3fb908d/test/globalalias.c splint-patched-20170327_3fb908d/test/globalbufferannotation.expect splint-patched-20170327_3fb908d/test/globalbufferannotation/ splint-patched-20170327_3fb908d/test/globalbufferannotation/.splintrc splint-patched-20170327_3fb908d/test/globalbufferannotation/Makefile splint-patched-20170327_3fb908d/test/globalbufferannotation/globalvariable.c splint-patched-20170327_3fb908d/test/globals.c splint-patched-20170327_3fb908d/test/globals.expect splint-patched-20170327_3fb908d/test/help.expect splint-patched-20170327_3fb908d/test/impabstract.c splint-patched-20170327_3fb908d/test/impabstract.expect splint-patched-20170327_3fb908d/test/impabstract.lcl splint-patched-20170327_3fb908d/test/info.c splint-patched-20170327_3fb908d/test/info.expect splint-patched-20170327_3fb908d/test/init.c splint-patched-20170327_3fb908d/test/init.expect splint-patched-20170327_3fb908d/test/innerarray.c splint-patched-20170327_3fb908d/test/innerarray.expect splint-patched-20170327_3fb908d/test/inparam.c splint-patched-20170327_3fb908d/test/inparam.expect splint-patched-20170327_3fb908d/test/internal.c splint-patched-20170327_3fb908d/test/internal.expect splint-patched-20170327_3fb908d/test/iter.c splint-patched-20170327_3fb908d/test/iter.expect splint-patched-20170327_3fb908d/test/iter.h splint-patched-20170327_3fb908d/test/iter.lcl splint-patched-20170327_3fb908d/test/iter2.c splint-patched-20170327_3fb908d/test/iter2.h splint-patched-20170327_3fb908d/test/keep.c splint-patched-20170327_3fb908d/test/keep.expect splint-patched-20170327_3fb908d/test/libs.c splint-patched-20170327_3fb908d/test/libs.expect splint-patched-20170327_3fb908d/test/linked.c splint-patched-20170327_3fb908d/test/linked.expect splint-patched-20170327_3fb908d/test/linked2.c splint-patched-20170327_3fb908d/test/linked3.c splint-patched-20170327_3fb908d/test/linked4.c splint-patched-20170327_3fb908d/test/linked5.c splint-patched-20170327_3fb908d/test/linked6.c splint-patched-20170327_3fb908d/test/lintcomments.c splint-patched-20170327_3fb908d/test/lintcomments.expect splint-patched-20170327_3fb908d/test/list.c splint-patched-20170327_3fb908d/test/list.expect splint-patched-20170327_3fb908d/test/longconstants.c splint-patched-20170327_3fb908d/test/longconstants.expect splint-patched-20170327_3fb908d/test/longint.c splint-patched-20170327_3fb908d/test/longint.expect splint-patched-20170327_3fb908d/test/loopexec.c splint-patched-20170327_3fb908d/test/loopexec.expect splint-patched-20170327_3fb908d/test/looptesteffect.c splint-patched-20170327_3fb908d/test/looptesteffect.expect splint-patched-20170327_3fb908d/test/macros.c splint-patched-20170327_3fb908d/test/macros.expect splint-patched-20170327_3fb908d/test/macros.lcl splint-patched-20170327_3fb908d/test/macrosef.c splint-patched-20170327_3fb908d/test/macrosef.expect splint-patched-20170327_3fb908d/test/macrosef.lcl splint-patched-20170327_3fb908d/test/malloc.c splint-patched-20170327_3fb908d/test/malloc.expect splint-patched-20170327_3fb908d/test/manual.expect splint-patched-20170327_3fb908d/test/manual/ splint-patched-20170327_3fb908d/test/manual/Makefile splint-patched-20170327_3fb908d/test/manual/annotglobs.c splint-patched-20170327_3fb908d/test/manual/bool.c splint-patched-20170327_3fb908d/test/manual/bool.h splint-patched-20170327_3fb908d/test/manual/bounds.c splint-patched-20170327_3fb908d/test/manual/clauses.c splint-patched-20170327_3fb908d/test/manual/employee.h splint-patched-20170327_3fb908d/test/manual/exposure.c splint-patched-20170327_3fb908d/test/manual/globals.c splint-patched-20170327_3fb908d/test/manual/ignore.c splint-patched-20170327_3fb908d/test/manual/implicit.c splint-patched-20170327_3fb908d/test/manual/intSet.h splint-patched-20170327_3fb908d/test/manual/list.c splint-patched-20170327_3fb908d/test/manual/loop.c splint-patched-20170327_3fb908d/test/manual/macros.c splint-patched-20170327_3fb908d/test/manual/modify.c splint-patched-20170327_3fb908d/test/manual/mstring.c splint-patched-20170327_3fb908d/test/manual/mstring.h splint-patched-20170327_3fb908d/test/manual/mstringnn.c splint-patched-20170327_3fb908d/test/manual/multiError.c splint-patched-20170327_3fb908d/test/manual/names.c splint-patched-20170327_3fb908d/test/manual/noeffect.c splint-patched-20170327_3fb908d/test/manual/null.c splint-patched-20170327_3fb908d/test/manual/only.c splint-patched-20170327_3fb908d/test/manual/order.c splint-patched-20170327_3fb908d/test/manual/palindrome.c splint-patched-20170327_3fb908d/test/manual/palindrome.h splint-patched-20170327_3fb908d/test/manual/refs.c splint-patched-20170327_3fb908d/test/manual/returned.c splint-patched-20170327_3fb908d/test/manual/rgb.c splint-patched-20170327_3fb908d/test/manual/rstring.c splint-patched-20170327_3fb908d/test/manual/rstring.h splint-patched-20170327_3fb908d/test/manual/sample.c splint-patched-20170327_3fb908d/test/manual/setChar.c splint-patched-20170327_3fb908d/test/manual/setname.c splint-patched-20170327_3fb908d/test/manual/setname.h splint-patched-20170327_3fb908d/test/manual/special.c splint-patched-20170327_3fb908d/test/manual/stack.c splint-patched-20170327_3fb908d/test/manual/sumsquares.c splint-patched-20170327_3fb908d/test/manual/switch.c splint-patched-20170327_3fb908d/test/manual/testpal.c splint-patched-20170327_3fb908d/test/manual/types.c splint-patched-20170327_3fb908d/test/manual/unique.c splint-patched-20170327_3fb908d/test/manual/usedef.c splint-patched-20170327_3fb908d/test/maxset.expect splint-patched-20170327_3fb908d/test/maxset/ splint-patched-20170327_3fb908d/test/maxset/.splintrc splint-patched-20170327_3fb908d/test/maxset/Makefile splint-patched-20170327_3fb908d/test/maxset/maxsetannotations.c splint-patched-20170327_3fb908d/test/maxset/maxsetnoannotations.c splint-patched-20170327_3fb908d/test/merge.c splint-patched-20170327_3fb908d/test/merge.expect splint-patched-20170327_3fb908d/test/mergenull.c splint-patched-20170327_3fb908d/test/mergenull.expect splint-patched-20170327_3fb908d/test/mergestate.expect splint-patched-20170327_3fb908d/test/mergestate/ splint-patched-20170327_3fb908d/test/mergestate/Makefile splint-patched-20170327_3fb908d/test/mergestate/tainted.mts splint-patched-20170327_3fb908d/test/mergestate/tainted.xh splint-patched-20170327_3fb908d/test/mergestate/taintednm.c splint-patched-20170327_3fb908d/test/mergestate/taintednm.mts splint-patched-20170327_3fb908d/test/mergestate/taintednm.xh splint-patched-20170327_3fb908d/test/metastate.expect splint-patched-20170327_3fb908d/test/metastate/ splint-patched-20170327_3fb908d/test/metastate/Makefile splint-patched-20170327_3fb908d/test/metastate/file.c splint-patched-20170327_3fb908d/test/metastate/file.mts splint-patched-20170327_3fb908d/test/metastate/file.xh splint-patched-20170327_3fb908d/test/metastate/file1.c splint-patched-20170327_3fb908d/test/metastate/file2.c splint-patched-20170327_3fb908d/test/metastate/file3.c splint-patched-20170327_3fb908d/test/metastate/file4.c splint-patched-20170327_3fb908d/test/metastate/file5.c splint-patched-20170327_3fb908d/test/metastate/file6.c splint-patched-20170327_3fb908d/test/metastate/file7.c splint-patched-20170327_3fb908d/test/metastate/filebad.c splint-patched-20170327_3fb908d/test/metastate/global.c splint-patched-20170327_3fb908d/test/metastate/global.h splint-patched-20170327_3fb908d/test/metastate/nullbranch.c splint-patched-20170327_3fb908d/test/metastate/nullbranch2.c splint-patched-20170327_3fb908d/test/metastate/nullret.c splint-patched-20170327_3fb908d/test/metastate/nullterminated.mts splint-patched-20170327_3fb908d/test/metastate/osd.c splint-patched-20170327_3fb908d/test/metastate/sockets.c splint-patched-20170327_3fb908d/test/metastate/sockets.mts splint-patched-20170327_3fb908d/test/metastate/sockets2.c splint-patched-20170327_3fb908d/test/metastate/struct.c splint-patched-20170327_3fb908d/test/metastate/test.c splint-patched-20170327_3fb908d/test/metastate/voidptr.c splint-patched-20170327_3fb908d/test/minc1.h splint-patched-20170327_3fb908d/test/minc2.h splint-patched-20170327_3fb908d/test/minc3.h splint-patched-20170327_3fb908d/test/minc4.h splint-patched-20170327_3fb908d/test/minc5.h splint-patched-20170327_3fb908d/test/mixedstyle.c splint-patched-20170327_3fb908d/test/mixedstyle.expect splint-patched-20170327_3fb908d/test/modclient.c splint-patched-20170327_3fb908d/test/modifies.c splint-patched-20170327_3fb908d/test/modifies.expect splint-patched-20170327_3fb908d/test/modifies.h splint-patched-20170327_3fb908d/test/modtest.c splint-patched-20170327_3fb908d/test/modtest.expect splint-patched-20170327_3fb908d/test/modtest.lcl splint-patched-20170327_3fb908d/test/moduncon.c splint-patched-20170327_3fb908d/test/moduncon.expect splint-patched-20170327_3fb908d/test/mongoincludes.c splint-patched-20170327_3fb908d/test/mongoincludes.expect splint-patched-20170327_3fb908d/test/moreBufferTests.expect splint-patched-20170327_3fb908d/test/moreBufferTests/ splint-patched-20170327_3fb908d/test/moreBufferTests/Makefile splint-patched-20170327_3fb908d/test/moreBufferTests/initialization.c splint-patched-20170327_3fb908d/test/moreBufferTests/simplifyTest.c splint-patched-20170327_3fb908d/test/moreBufferTests/strncatNotReallyGood.c splint-patched-20170327_3fb908d/test/moreBufferTests/strncatReallyGood.c splint-patched-20170327_3fb908d/test/moreBufferTests/strrchr.c splint-patched-20170327_3fb908d/test/moreBufferTests/unrecogCall.c splint-patched-20170327_3fb908d/test/moreBufferTests2.expect splint-patched-20170327_3fb908d/test/moreBufferTests2/ splint-patched-20170327_3fb908d/test/moreBufferTests2/Makefile splint-patched-20170327_3fb908d/test/moreBufferTests2/arrayConstExpr.c splint-patched-20170327_3fb908d/test/moreBufferTests2/def.c splint-patched-20170327_3fb908d/test/moreBufferTests2/fixedArrayType.c splint-patched-20170327_3fb908d/test/moreBufferTests2/initBlock.c splint-patched-20170327_3fb908d/test/moreBufferTests2/unknownsize.c splint-patched-20170327_3fb908d/test/mut.c splint-patched-20170327_3fb908d/test/mut.h splint-patched-20170327_3fb908d/test/mut.lcl splint-patched-20170327_3fb908d/test/mystrncat.c splint-patched-20170327_3fb908d/test/mystrncat.expect splint-patched-20170327_3fb908d/test/noeffect.c splint-patched-20170327_3fb908d/test/noeffect.expect splint-patched-20170327_3fb908d/test/null.expect splint-patched-20170327_3fb908d/test/null1.c splint-patched-20170327_3fb908d/test/null2.c splint-patched-20170327_3fb908d/test/null3.c splint-patched-20170327_3fb908d/test/null4.c splint-patched-20170327_3fb908d/test/null5.c splint-patched-20170327_3fb908d/test/null6.c splint-patched-20170327_3fb908d/test/null6.lcl splint-patched-20170327_3fb908d/test/nullassign.c splint-patched-20170327_3fb908d/test/nullassign.expect splint-patched-20170327_3fb908d/test/nullret.c splint-patched-20170327_3fb908d/test/nullret.expect splint-patched-20170327_3fb908d/test/numabstract.c splint-patched-20170327_3fb908d/test/numabstract.expect splint-patched-20170327_3fb908d/test/observer.c splint-patched-20170327_3fb908d/test/observer.expect splint-patched-20170327_3fb908d/test/observer.lcl splint-patched-20170327_3fb908d/test/oldstyle.c splint-patched-20170327_3fb908d/test/oldstyle.expect splint-patched-20170327_3fb908d/test/oldstyle.lcl splint-patched-20170327_3fb908d/test/oldstyle2.c splint-patched-20170327_3fb908d/test/outglob.c splint-patched-20170327_3fb908d/test/outglob.expect splint-patched-20170327_3fb908d/test/outglob.lcl splint-patched-20170327_3fb908d/test/outparam.c splint-patched-20170327_3fb908d/test/outparam.expect splint-patched-20170327_3fb908d/test/outparam.lcl splint-patched-20170327_3fb908d/test/parentype.c splint-patched-20170327_3fb908d/test/parentype.expect splint-patched-20170327_3fb908d/test/pivo.h splint-patched-20170327_3fb908d/test/postnotnull.c splint-patched-20170327_3fb908d/test/postnotnull.expect splint-patched-20170327_3fb908d/test/preds.c splint-patched-20170327_3fb908d/test/preds.expect splint-patched-20170327_3fb908d/test/prefixes.c splint-patched-20170327_3fb908d/test/prefixes.expect splint-patched-20170327_3fb908d/test/print.c splint-patched-20170327_3fb908d/test/print.expect splint-patched-20170327_3fb908d/test/printflike.c splint-patched-20170327_3fb908d/test/printflike.expect splint-patched-20170327_3fb908d/test/qualcombine.c splint-patched-20170327_3fb908d/test/qualcombine.expect splint-patched-20170327_3fb908d/test/rc.c splint-patched-20170327_3fb908d/test/rc.expect splint-patched-20170327_3fb908d/test/rc1.splintrc splint-patched-20170327_3fb908d/test/rc2.splintrc splint-patched-20170327_3fb908d/test/rc3.splintrc splint-patched-20170327_3fb908d/test/rc3.splintrc.os2 splint-patched-20170327_3fb908d/test/refcounts.c splint-patched-20170327_3fb908d/test/refcounts.expect splint-patched-20170327_3fb908d/test/release.c splint-patched-20170327_3fb908d/test/release.expect splint-patched-20170327_3fb908d/test/repexpose.c splint-patched-20170327_3fb908d/test/repexpose.expect splint-patched-20170327_3fb908d/test/repexpose.h splint-patched-20170327_3fb908d/test/repexpose.lcl splint-patched-20170327_3fb908d/test/returned.c splint-patched-20170327_3fb908d/test/returned.expect splint-patched-20170327_3fb908d/test/russian.c splint-patched-20170327_3fb908d/test/russian.expect splint-patched-20170327_3fb908d/test/sharing.expect splint-patched-20170327_3fb908d/test/sharing1.c splint-patched-20170327_3fb908d/test/sharing2.c splint-patched-20170327_3fb908d/test/sharing3.c splint-patched-20170327_3fb908d/test/sharing4.c splint-patched-20170327_3fb908d/test/sharing5.c splint-patched-20170327_3fb908d/test/shifts.c splint-patched-20170327_3fb908d/test/shifts.expect splint-patched-20170327_3fb908d/test/simplebufferConstraintTests.expect splint-patched-20170327_3fb908d/test/simplebufferConstraintTests/ splint-patched-20170327_3fb908d/test/simplebufferConstraintTests/Makefile splint-patched-20170327_3fb908d/test/simplebufferConstraintTests/m.c splint-patched-20170327_3fb908d/test/simplebufferConstraintTests/sizeof.c splint-patched-20170327_3fb908d/test/simplebufferConstraintTests/test3.c splint-patched-20170327_3fb908d/test/simplebufferConstraintTests/test7.c splint-patched-20170327_3fb908d/test/sizeof.c splint-patched-20170327_3fb908d/test/sizeof.expect splint-patched-20170327_3fb908d/test/sizeoftest.expect splint-patched-20170327_3fb908d/test/sizeoftest/ splint-patched-20170327_3fb908d/test/sizeoftest/Makefile splint-patched-20170327_3fb908d/test/sizeoftest/sizeof.c splint-patched-20170327_3fb908d/test/sizeoftest/sizeofConst.c splint-patched-20170327_3fb908d/test/sizesigns.c splint-patched-20170327_3fb908d/test/sizesigns.expect splint-patched-20170327_3fb908d/test/skipheader.expect splint-patched-20170327_3fb908d/test/skipheader/ splint-patched-20170327_3fb908d/test/skipheader/Makefile splint-patched-20170327_3fb908d/test/skipheader/main.c splint-patched-20170327_3fb908d/test/slovaknames.c splint-patched-20170327_3fb908d/test/slovaknames.expect splint-patched-20170327_3fb908d/test/specclauses.c splint-patched-20170327_3fb908d/test/specclauses.expect splint-patched-20170327_3fb908d/test/specclauses2.c splint-patched-20170327_3fb908d/test/specclauses3.c splint-patched-20170327_3fb908d/test/specclauses4.c splint-patched-20170327_3fb908d/test/specclauses5.c splint-patched-20170327_3fb908d/test/speccollision.c splint-patched-20170327_3fb908d/test/speccollision.expect splint-patched-20170327_3fb908d/test/special.c splint-patched-20170327_3fb908d/test/special.expect splint-patched-20170327_3fb908d/test/special.lcl splint-patched-20170327_3fb908d/test/stack.c splint-patched-20170327_3fb908d/test/stack.expect splint-patched-20170327_3fb908d/test/staticarray.c splint-patched-20170327_3fb908d/test/staticarray.expect splint-patched-20170327_3fb908d/test/strchr.expect splint-patched-20170327_3fb908d/test/strchr/ splint-patched-20170327_3fb908d/test/strchr/.splintrc splint-patched-20170327_3fb908d/test/strchr/Makefile splint-patched-20170327_3fb908d/test/strchr/strchr.c splint-patched-20170327_3fb908d/test/stringliteral.c splint-patched-20170327_3fb908d/test/stringliteral.expect splint-patched-20170327_3fb908d/test/strings.c splint-patched-20170327_3fb908d/test/strings.expect splint-patched-20170327_3fb908d/test/structassign.c splint-patched-20170327_3fb908d/test/structassign.expect splint-patched-20170327_3fb908d/test/switch.c splint-patched-20170327_3fb908d/test/tainted.expect splint-patched-20170327_3fb908d/test/tainted/ splint-patched-20170327_3fb908d/test/tainted/Makefile splint-patched-20170327_3fb908d/test/tainted/Makefile.os2 splint-patched-20170327_3fb908d/test/tainted/sprintf.c splint-patched-20170327_3fb908d/test/tainted/t1.c splint-patched-20170327_3fb908d/test/tainted/tainted-bad.mts splint-patched-20170327_3fb908d/test/tainted/tainted.c splint-patched-20170327_3fb908d/test/tainted/tainted.mts splint-patched-20170327_3fb908d/test/tainted/tainted.xh splint-patched-20170327_3fb908d/test/tainted/tainted2.c splint-patched-20170327_3fb908d/test/tainted/tainted3.c splint-patched-20170327_3fb908d/test/tainted/tainted4.c splint-patched-20170327_3fb908d/test/tainted/tainted5.c splint-patched-20170327_3fb908d/test/tainted/taintedimplicit.c splint-patched-20170327_3fb908d/test/tainted/taintedmerge.c splint-patched-20170327_3fb908d/test/tainted/taintedx.c splint-patched-20170327_3fb908d/test/tainted/test.c splint-patched-20170327_3fb908d/test/tests2.2.expect splint-patched-20170327_3fb908d/test/tests2.2/ splint-patched-20170327_3fb908d/test/tests2.2/Makefile splint-patched-20170327_3fb908d/test/tests2.2/Makefile.os2 splint-patched-20170327_3fb908d/test/tests2.2/arbints.c splint-patched-20170327_3fb908d/test/tests2.2/arrayfcn.c splint-patched-20170327_3fb908d/test/tests2.2/bool.lcl splint-patched-20170327_3fb908d/test/tests2.2/booldef.c splint-patched-20170327_3fb908d/test/tests2.2/boolenum.c splint-patched-20170327_3fb908d/test/tests2.2/boolops.c splint-patched-20170327_3fb908d/test/tests2.2/break.c splint-patched-20170327_3fb908d/test/tests2.2/bstring.c splint-patched-20170327_3fb908d/test/tests2.2/decl.c splint-patched-20170327_3fb908d/test/tests2.2/enumbool.c splint-patched-20170327_3fb908d/test/tests2.2/extension.c splint-patched-20170327_3fb908d/test/tests2.2/libraries.c splint-patched-20170327_3fb908d/test/tests2.2/mbool.h splint-patched-20170327_3fb908d/test/tests2.2/modarray.c splint-patched-20170327_3fb908d/test/tests2.2/nestext.c splint-patched-20170327_3fb908d/test/tests2.2/offsetof.c splint-patched-20170327_3fb908d/test/tests2.2/posix.c splint-patched-20170327_3fb908d/test/tests2.2/realloc.c splint-patched-20170327_3fb908d/test/tests2.2/rex.c splint-patched-20170327_3fb908d/test/tests2.2/sizeofarray.c splint-patched-20170327_3fb908d/test/tests2.2/struct.c splint-patched-20170327_3fb908d/test/tests2.2a.expect splint-patched-20170327_3fb908d/test/tests2.2a/ splint-patched-20170327_3fb908d/test/tests2.2a/Makefile splint-patched-20170327_3fb908d/test/tests2.2a/addassign.c splint-patched-20170327_3fb908d/test/tests2.2a/arrayparam.c splint-patched-20170327_3fb908d/test/tests2.2a/bitops.c splint-patched-20170327_3fb908d/test/tests2.2a/boolcomp.c splint-patched-20170327_3fb908d/test/tests2.2a/boolenum.c splint-patched-20170327_3fb908d/test/tests2.2a/dobb.c splint-patched-20170327_3fb908d/test/tests2.2a/duff.c splint-patched-20170327_3fb908d/test/tests2.2a/erik.c splint-patched-20170327_3fb908d/test/tests2.2a/floatdouble.c splint-patched-20170327_3fb908d/test/tests2.2a/florian.c splint-patched-20170327_3fb908d/test/tests2.2a/fred.c splint-patched-20170327_3fb908d/test/tests2.2a/isalpha.c splint-patched-20170327_3fb908d/test/tests2.2a/notreached.c splint-patched-20170327_3fb908d/test/tests2.2a/obviousloop.c splint-patched-20170327_3fb908d/test/tests2.2a/popik.c splint-patched-20170327_3fb908d/test/tests2.2a/sizeof.c splint-patched-20170327_3fb908d/test/tests2.2a/toralf.c splint-patched-20170327_3fb908d/test/tests2.4.expect splint-patched-20170327_3fb908d/test/tests2.4/ splint-patched-20170327_3fb908d/test/tests2.4/Makefile splint-patched-20170327_3fb908d/test/tests2.4/Makefile.os2 splint-patched-20170327_3fb908d/test/tests2.4/alignof.c splint-patched-20170327_3fb908d/test/tests2.4/array.c splint-patched-20170327_3fb908d/test/tests2.4/bitfields.c splint-patched-20170327_3fb908d/test/tests2.4/bug1.c splint-patched-20170327_3fb908d/test/tests2.4/bug2.c splint-patched-20170327_3fb908d/test/tests2.4/bug3.c splint-patched-20170327_3fb908d/test/tests2.4/chin.c splint-patched-20170327_3fb908d/test/tests2.4/cpptest.c splint-patched-20170327_3fb908d/test/tests2.4/driverstub.c splint-patched-20170327_3fb908d/test/tests2.4/duffs.c splint-patched-20170327_3fb908d/test/tests2.4/emptycase.c splint-patched-20170327_3fb908d/test/tests2.4/enumtest.c splint-patched-20170327_3fb908d/test/tests2.4/error.c splint-patched-20170327_3fb908d/test/tests2.4/fink.c splint-patched-20170327_3fb908d/test/tests2.4/flagequal.c splint-patched-20170327_3fb908d/test/tests2.4/forward.c splint-patched-20170327_3fb908d/test/tests2.4/forward.h splint-patched-20170327_3fb908d/test/tests2.4/hash.c splint-patched-20170327_3fb908d/test/tests2.4/hash.h splint-patched-20170327_3fb908d/test/tests2.4/hexconstants.c splint-patched-20170327_3fb908d/test/tests2.4/innercomment.c splint-patched-20170327_3fb908d/test/tests2.4/komazi.c splint-patched-20170327_3fb908d/test/tests2.4/longlong.c splint-patched-20170327_3fb908d/test/tests2.4/main.c splint-patched-20170327_3fb908d/test/tests2.4/nothing.c splint-patched-20170327_3fb908d/test/tests2.4/offsetof.c splint-patched-20170327_3fb908d/test/tests2.4/ric.c splint-patched-20170327_3fb908d/test/tests2.4/subdir/ splint-patched-20170327_3fb908d/test/tests2.4/subdir/main.c splint-patched-20170327_3fb908d/test/tests2.4/subdir/main.lcl splint-patched-20170327_3fb908d/test/tests2.4/syncomment.c splint-patched-20170327_3fb908d/test/tests2.4/syslog.c splint-patched-20170327_3fb908d/test/tests2.4/test0.c splint-patched-20170327_3fb908d/test/tests2.4/test1.c splint-patched-20170327_3fb908d/test/tests2.4/test2.c splint-patched-20170327_3fb908d/test/tests2.4/timecard.c splint-patched-20170327_3fb908d/test/tests2.4/timecard.h splint-patched-20170327_3fb908d/test/tests2.4/toothman.c splint-patched-20170327_3fb908d/test/tests2.4/ulrich.c splint-patched-20170327_3fb908d/test/tests2.5.expect splint-patched-20170327_3fb908d/test/tests2.5/ splint-patched-20170327_3fb908d/test/tests2.5/Makefile splint-patched-20170327_3fb908d/test/tests2.5/badcomment.c splint-patched-20170327_3fb908d/test/tests2.5/baz.h splint-patched-20170327_3fb908d/test/tests2.5/bimbim.h splint-patched-20170327_3fb908d/test/tests2.5/boolbad splint-patched-20170327_3fb908d/test/tests2.5/boolbad.c splint-patched-20170327_3fb908d/test/tests2.5/boolt.c splint-patched-20170327_3fb908d/test/tests2.5/booltest.c splint-patched-20170327_3fb908d/test/tests2.5/dummyfile.c splint-patched-20170327_3fb908d/test/tests2.5/hoof.c splint-patched-20170327_3fb908d/test/tests2.5/immutable.c splint-patched-20170327_3fb908d/test/tests2.5/immutable.h splint-patched-20170327_3fb908d/test/tests2.5/impabsmodule.c splint-patched-20170327_3fb908d/test/tests2.5/impabsmodule.h splint-patched-20170327_3fb908d/test/tests2.5/literals.c splint-patched-20170327_3fb908d/test/tests2.5/quals.c splint-patched-20170327_3fb908d/test/tests2.5/socket.h splint-patched-20170327_3fb908d/test/tests2.5/sort.c splint-patched-20170327_3fb908d/test/tests2.5/testalt.c splint-patched-20170327_3fb908d/test/tests2.5/testimmutable.c splint-patched-20170327_3fb908d/test/tests2.5/uconstants.c splint-patched-20170327_3fb908d/test/tests2.5/ull.c splint-patched-20170327_3fb908d/test/tq.h splint-patched-20170327_3fb908d/test/tq.lcl splint-patched-20170327_3fb908d/test/typeof.c splint-patched-20170327_3fb908d/test/typeof.expect splint-patched-20170327_3fb908d/test/typequals.c splint-patched-20170327_3fb908d/test/typequals.expect splint-patched-20170327_3fb908d/test/ud.c splint-patched-20170327_3fb908d/test/ud.expect splint-patched-20170327_3fb908d/test/ud2.c splint-patched-20170327_3fb908d/test/ud2.lcl splint-patched-20170327_3fb908d/test/ullint.c splint-patched-20170327_3fb908d/test/ullint.expect splint-patched-20170327_3fb908d/test/ulstypes.c splint-patched-20170327_3fb908d/test/ulstypes.expect splint-patched-20170327_3fb908d/test/unaryop.c splint-patched-20170327_3fb908d/test/unaryop.expect splint-patched-20170327_3fb908d/test/union.c splint-patched-20170327_3fb908d/test/union.expect splint-patched-20170327_3fb908d/test/unioninit.c splint-patched-20170327_3fb908d/test/unioninit.expect splint-patched-20170327_3fb908d/test/unnamedsu.c splint-patched-20170327_3fb908d/test/unnamedsu.expect splint-patched-20170327_3fb908d/test/unreachable.c splint-patched-20170327_3fb908d/test/unreachable.expect splint-patched-20170327_3fb908d/test/unsignedcompare.c splint-patched-20170327_3fb908d/test/unsignedcompare.expect splint-patched-20170327_3fb908d/test/unused.c splint-patched-20170327_3fb908d/test/unused.expect splint-patched-20170327_3fb908d/test/utypes.c splint-patched-20170327_3fb908d/test/utypes.expect splint-patched-20170327_3fb908d/test/variadicmacro.c splint-patched-20170327_3fb908d/test/variadicmacro.expect splint-patched-20170327_3fb908d/test/void.c splint-patched-20170327_3fb908d/test/void.expect splint-patched-20170327_3fb908d/test/widestrings.c splint-patched-20170327_3fb908d/test/widestrings.expect splint-patched-20170327_3fb908d/win32/ splint-patched-20170327_3fb908d/win32/README.1ST splint-patched-20170327_3fb908d/win32/Splint/ splint-patched-20170327_3fb908d/win32/Splint/Splint.sln splint-patched-20170327_3fb908d/win32/Splint/Splint.suo splint-patched-20170327_3fb908d/win32/Splint/Splint.vcproj splint-patched-20170327_3fb908d/win32/win32config.h checking for a BSD-compatible install... /usr/bin/ginstall -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /usr/bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking whether make supports nested variables... (cached) yes checking for gcc... 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 gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking whether make supports the include directive... yes (GNU style) checking dependency style of gcc... gcc3 checking how to run the C preprocessor... 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 for bison... bison -y checking for grep that handles long lines and -e... /usr/bin/grep checking for a sed that does not truncate output... /usr/bin/sed checking for rm... rm checking for cat... cat checking for diff... diff checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating src/Makefile config.status: creating lib/Makefile config.status: creating imports/Makefile config.status: creating doc/Makefile config.status: creating config.h config.status: executing depfiles commands make all-recursive make[1]: Entering directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d' Making all in src make[2]: Entering directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src' YACC cgrammar.c /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:78.1-7: warning: POSIX Yacc does not support %define [-Wyacc] 78 | %define api.prefix {c_} | ^~~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:314.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 314 | : %empty | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:562.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 562 | : %empty { $$ = functionClauseList_new (); } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:572.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 572 | : %empty { $$ = functionClauseList_new (); } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:643.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 643 | : %empty { $$ = warnClause_undefined; } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:672.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 672 | : %empty { $$ = qualList_undefined; } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:717.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 717 | : %empty | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:786.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 786 | : %empty { $$ = sRefSet_undefined; } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:860.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 860 | : %empty { context_enterSizeof(); } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:864.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 864 | : %empty { context_leaveSizeof(); } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:989.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 989 | : %empty { $$ = exprNode_undefined; } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:1052.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 1052 | : %empty { cscannerHelp_setExpectingTypeName (); } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:1056.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 1056 | : %empty { cscannerHelp_setExpectingTypeName (); context_pushLoc (); } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:1346.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 1346 | : %empty { $$ = qtype_unknown (); } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:1384.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 1384 | : %empty { cscannerHelp_clearExpectingTypeName (); } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:1547.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 1547 | : %empty { $$ = ctype_unknown; } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:1722.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 1722 | : %empty { context_enterInnerContext (); } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:1726.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 1726 | : %empty { context_exitInnerPlain (); } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:1730.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 1730 | : %empty { context_enterStructInnerContext (); } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:1734.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 1734 | : %empty { context_exitStructInnerContext (); } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:1738.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 1738 | : %empty { context_exitInnerSafe (); } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:1983.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 1983 | : %empty { $$ = uentry_undefined; } | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:2025.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 2025 | : %empty | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y:2030.4-9: warning: POSIX Yacc does not support %empty [-Wyacc] 2030 | : %empty | ^~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y: warning: 138 shift/reduce conflicts [-Wconflicts-sr] /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y: warning: 17 reduce/reduce conflicts [-Wconflicts-rr] /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/cgrammar.y: note: rerun with option '-Wcounterexamples' to generate conflict counterexamples updating cgrammar.h YACC mtgrammar.c /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/mtgrammar.y:46.1-12: warning: POSIX Yacc does not support %pure-parser [-Wyacc] 46 | %pure-parser | ^~~~~~~~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/mtgrammar.y:46.1-12: warning: deprecated directive: ‘%pure-parser’, use ‘%define api.pure’ [-Wdeprecated] 46 | %pure-parser | ^~~~~~~~~~~~ | %define api.pure /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/mtgrammar.y:47.1-7: warning: POSIX Yacc does not support %define [-Wyacc] 47 | %define api.prefix {mt} | ^~~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/mtgrammar.y:48.1-7: warning: POSIX Yacc does not support %expect [-Wyacc] 48 | %expect 11 | ^~~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/mtgrammar.y: warning: fix-its can be applied. Rerun with option '--update'. [-Wother] updating mtgrammar.h YACC llgrammar.c /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/llgrammar.y:56.1-7: warning: POSIX Yacc does not support %define [-Wyacc] 56 | %define api.prefix {yl} | ^~~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/llgrammar.y:57.1-7: warning: POSIX Yacc does not support %expect [-Wyacc] 57 | %expect 2 | ^~~~~~~ updating llgrammar.h YACC lslgrammar.c /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/lslgrammar.y:47.1-12: warning: POSIX Yacc does not support %pure-parser [-Wyacc] 47 | %pure-parser | ^~~~~~~~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/lslgrammar.y:47.1-12: warning: deprecated directive: ‘%pure-parser’, use ‘%define api.pure’ [-Wdeprecated] 47 | %pure-parser | ^~~~~~~~~~~~ | %define api.pure /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/lslgrammar.y:48.1-7: warning: POSIX Yacc does not support %define [-Wyacc] 48 | %define api.prefix {lsl} | ^~~~~~~ /usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src/lslgrammar.y: warning: fix-its can be applied. Rerun with option '--update'. [-Wother] updating lslgrammar.h GEN flag_codes.h updating flag_codes.h make all-am make[3]: Entering directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src' CC cppmain.o CC cpplib.o CC cppexp.o CC cpphash.o CC cpperror.o CC clabstract.o CC clause.o CC context.o CC cprim.o CC cscannerHelp.o CC ctype.o ctype.c: In function ‘ctype_getBaseType’: ctype.c:2073:11: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 2073 | return ((ctype)NULL); | ^ CC functionClause.o CC functionClauseList.o CC functionConstraint.o CC globalsClause.o CC idDecl.o CC macrocache.o CC metaStateConstraint.o CC metaStateConstraintList.o CC metaStateExpression.o CC metaStateSpecifier.o CC modifiesClause.o CC pointers.o CC qtype.o CC qual.o CC stateClause.o CC stateClauseList.o CC uentry.o CC warnClause.o CC nameChecks.o CC reservedNames.o CC structNames.o CC transferChecks.o CC varKinds.o CC exprData.o CC cstring.o CC fileloc.o CC message.o message.c: In function ‘identify_control’: message.c:67:32: warning: passing argument 1 of ‘reader_getInt’ from incompatible pointer type [-Wincompatible-pointer-types] 67 | modcode = reader_getInt (s); | ^ | | | const char ** In file included from ./Headers/basic.h:83, from message.c:29: ./Headers/reader.h:13:34: note: expected ‘char **’ but argument is of type ‘const char **’ 13 | extern int reader_getInt (char **p_s) /*@modifies *p_s@*/ ; | ~~~~~~~^~~ CC inputStream.o CC fileTable.o CC cstringHash.o CC cstringTable.o CC valueTable.o CC stateValue.o CC llerror.o CC messageLog.o CC flagMarker.o CC aliasTable.o CC ynm.o CC sRefTable.o CC genericTable.o CC ekind.o CC usymtab.o CC multiVal.o CC lltok.o CC sRef.o CC library.o CC fileLib.o CC globals.o CC flags.o CC general.o CC mstring.o CC misc.o CC osd.o CC reader.o CC mtreader.o CC clauseStack.o CC cstringList.o CC cstringSList.o CC ctypeList.o CC enumNameList.o CC enumNameSList.o CC exprNodeList.o CC exprNodeSList.o CC filelocList.o CC filelocStack.o CC flagMarkerList.o CC flagSpec.o CC idDeclList.o CC qualList.o CC sRefSetList.o CC uentryList.o CC globSet.o CC guardSet.o CC intSet.o CC sRefSet.o CC typeIdSet.o CC usymIdSet.o CC stateInfo.o CC stateCombinationTable.o CC metaStateTable.o CC metaStateInfo.o CC annotationTable.o CC annotationInfo.o CC mttok.o CC mtDeclarationNode.o CC mtDeclarationPieces.o CC mtDeclarationPiece.o CC mtContextNode.o CC mtValuesNode.o CC mtDefaultsNode.o CC mtAnnotationsNode.o CC mtMergeNode.o CC mtAnnotationList.o CC mtAnnotationDecl.o CC mtTransferClauseList.o CC mtTransferClause.o CC mtTransferAction.o CC mtLoseReferenceList.o CC mtLoseReference.o CC mtDefaultsDeclList.o CC mtDefaultsDecl.o CC mtMergeItem.o CC mtMergeClause.o CC mtMergeClauseList.o CC constraintList.o CC constraintResolve.o CC constraintGeneration.o CC constraintTerm.o CC constraintExprData.o CC constraintExpr.o CC constraint.o CC loopHeuristics.o CC exprChecks.o CC exprNode.o CC help.o CC llmain.o CC rcfiles.o CC lsymbolSet.o CC sigNodeSet.o CC lslOpSet.o CC sortSet.o CC initDeclNodeList.o CC sortList.o CC declaratorInvNodeList.o CC interfaceNodeList.o CC sortSetList.o CC declaratorNodeList.o CC letDeclNodeList.o CC stDeclNodeList.o CC storeRefNodeList.o CC lslOpList.o CC lsymbolList.o CC termNodeList.o CC ltokenList.o CC traitRefNodeList.o CC pairNodeList.o CC typeNameNodeList.o CC fcnNodeList.o CC paramNodeList.o CC programNodeList.o CC varDeclarationNodeList.o CC varNodeList.o CC quantifierNodeList.o CC replaceNodeList.o CC importNodeList.o CC lsltokentable.o CC lslscanline.o CC lslparse.o CC lh.o CC checking.o CC lclctypes.o CC imports.o CC lslinit.o CC lslsyntable.o CC usymtab_interface.o CC abstract.o CC ltoken.o CC lclscanline.o CC lclsyntable.o CC lcltokentable.o CC sort.o CC symtable.o CC lclinit.o CC shift.o CC lsymbol.o CC mapping.o CC cgrammar.o CC mtgrammar.o CC llgrammar.o CC lslgrammar.o LEX cscanner.c CC cscanner.o CC lclscan.o CC mtscanner.o CC lslscan.o CCLD splint make[3]: Leaving directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src' make[2]: Leaving directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src' Making all in lib make[2]: Entering directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/lib' GEN standard.lcd GEN standardstrict.lcd GEN posix.lcd GEN posixstrict.lcd GEN unix.lcd GEN unixstrict.lcd make[2]: Leaving directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/lib' Making all in imports make[2]: Entering directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/imports' GEN assert.lcs GEN ctype.lcs GEN errno.lcs GEN limits.lcs GEN locale.lcs GEN math.lcs GEN setjmp.lcs GEN signal.lcs GEN stdarg.lcs GEN stdlib.lcs GEN stdio.lcs GEN string.lcs GEN strings.lcs GEN time.lcs make[2]: Leaving directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/imports' Making all in doc make[2]: Entering directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/doc' make[2]: Nothing to be done for 'all'. make[2]: Leaving directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/doc' make[2]: Entering directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d' make[2]: Leaving directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d' make[1]: Leaving directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d' Making install in src make[1]: Entering directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src' make install-am make[2]: Entering directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src' make[3]: Entering directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src' /usr/bin/mkdir -p '/usr/src/slapt-src/development/splint/package-splint/usr/bin' /usr/bin/ginstall -c splint '/usr/src/slapt-src/development/splint/package-splint/usr/bin' /usr/bin/mkdir -p '/usr/src/slapt-src/development/splint/package-splint/usr/bin' /usr/bin/ginstall -c genflagcodes '/usr/src/slapt-src/development/splint/package-splint/usr/bin' make[3]: Nothing to be done for 'install-data-am'. make[3]: Leaving directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src' make[2]: Leaving directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src' make[1]: Leaving directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/src' Making install in lib make[1]: Entering directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/lib' make[2]: Entering directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/lib' make[2]: Nothing to be done for 'install-exec-am'. /usr/bin/mkdir -p '/usr/src/slapt-src/development/splint/package-splint/usr/share/splint/lib' /usr/bin/ginstall -c -m 644 standard.lcd standardstrict.lcd posix.lcd posixstrict.lcd unix.lcd unixstrict.lcd file.mts file.xh filerw.mts filerw.xh tainted.mts tainted.xh CTrait.syms lclinit.lci lslinit.lsi '/usr/src/slapt-src/development/splint/package-splint/usr/share/splint/lib' make[2]: Leaving directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/lib' make[1]: Leaving directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/lib' Making install in imports make[1]: Entering directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/imports' make[2]: Entering directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/imports' make[2]: Nothing to be done for 'install-exec-am'. /usr/bin/mkdir -p '/usr/src/slapt-src/development/splint/package-splint/usr/share/splint/imports' /usr/bin/ginstall -c -m 644 assert.lcl ctype.lcl errno.lcl limits.lcl locale.lcl math.lcl setjmp.lcl signal.lcl stdarg.lcl stdlib.lcl stdio.lcl string.lcl strings.lcl time.lcl assert.lcs ctype.lcs errno.lcs limits.lcs locale.lcs math.lcs setjmp.lcs signal.lcs stdarg.lcs stdlib.lcs stdio.lcs string.lcs strings.lcs time.lcs '/usr/src/slapt-src/development/splint/package-splint/usr/share/splint/imports' make[2]: Leaving directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/imports' make[1]: Leaving directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/imports' Making install in doc make[1]: Entering directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/doc' make[2]: Entering directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/doc' make[2]: Nothing to be done for 'install-exec-am'. /usr/bin/mkdir -p '/usr/src/slapt-src/development/splint/package-splint/usr/man/man1' /usr/bin/ginstall -c -m 644 splint.1 '/usr/src/slapt-src/development/splint/package-splint/usr/man/man1' make[2]: Leaving directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/doc' make[1]: Leaving directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d/doc' make[1]: Entering directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d' make[2]: Entering directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d' make[2]: Nothing to be done for 'install-exec-am'. make[2]: Nothing to be done for 'install-data-am'. make[2]: Leaving directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d' make[1]: Leaving directory '/usr/src/slapt-src/development/splint/splint-patched-20170327_3fb908d' Slackware package maker, version 3.14159265. Searching for symbolic links: No symbolic links were found, so we won't make an installation script. You can make your own later in ./install/doinst.sh and rebuild the package if you like. This next step is optional - you can set the directories in your package to some sane permissions. If any of the directories in your package have special permissions, then DO NOT reset them here! Would you like to reset all directory permissions to 755 (drwxr-xr-x) and directory ownerships to root.root ([y]es, [n]o)? n Creating Slackware package: /usr/src/slapt-src/development/splint/splint-20170327_3fb908d-x86_64-1salix15.0.txz ./ install/ install/slack-desc usr/ usr/bin/ usr/bin/genflagcodes usr/bin/splint usr/doc/ usr/doc/splint-20170327_3fb908d/ usr/doc/splint-20170327_3fb908d/README usr/doc/splint-20170327_3fb908d/html/ usr/doc/splint-20170327_3fb908d/html/faq.html usr/doc/splint-20170327_3fb908d/html/footer.html usr/doc/splint-20170327_3fb908d/html/header.html usr/doc/splint-20170327_3fb908d/html/manual.htm usr/doc/splint-20170327_3fb908d/html/realloc.htm usr/doc/splint-20170327_3fb908d/manual.pdf usr/doc/splint-20170327_3fb908d/splint.SlackBuild usr/man/ usr/man/man1/ usr/man/man1/splint.1.gz usr/share/ usr/share/splint/ usr/share/splint/imports/ usr/share/splint/imports/assert.lcl usr/share/splint/imports/assert.lcs usr/share/splint/imports/ctype.lcl usr/share/splint/imports/ctype.lcs usr/share/splint/imports/errno.lcl usr/share/splint/imports/errno.lcs usr/share/splint/imports/limits.lcl usr/share/splint/imports/limits.lcs usr/share/splint/imports/locale.lcl usr/share/splint/imports/locale.lcs usr/share/splint/imports/math.lcl usr/share/splint/imports/math.lcs usr/share/splint/imports/setjmp.lcl usr/share/splint/imports/setjmp.lcs usr/share/splint/imports/signal.lcl usr/share/splint/imports/signal.lcs usr/share/splint/imports/stdarg.lcl usr/share/splint/imports/stdarg.lcs usr/share/splint/imports/stdio.lcl usr/share/splint/imports/stdio.lcs usr/share/splint/imports/stdlib.lcl usr/share/splint/imports/stdlib.lcs usr/share/splint/imports/string.lcl usr/share/splint/imports/string.lcs usr/share/splint/imports/strings.lcl usr/share/splint/imports/strings.lcs usr/share/splint/imports/time.lcl usr/share/splint/imports/time.lcs usr/share/splint/lib/ usr/share/splint/lib/CTrait.syms usr/share/splint/lib/file.mts usr/share/splint/lib/file.xh usr/share/splint/lib/filerw.mts usr/share/splint/lib/filerw.xh usr/share/splint/lib/lclinit.lci usr/share/splint/lib/lslinit.lsi usr/share/splint/lib/posix.lcd usr/share/splint/lib/posixstrict.lcd usr/share/splint/lib/standard.lcd usr/share/splint/lib/standardstrict.lcd usr/share/splint/lib/tainted.mts usr/share/splint/lib/tainted.xh usr/share/splint/lib/unix.lcd usr/share/splint/lib/unixstrict.lcd Slackware package /usr/src/slapt-src/development/splint/splint-20170327_3fb908d-x86_64-1salix15.0.txz created. Installing package splint-20170327_3fb908d-x86_64-1salix15.0... | splint (Secure Programming Lint) | | Splint is a tool for statically checking C programs for security | vulnerabilities and coding mistakes. | | Splint is developed and maintained by the Secure Programming Group | at the University of Virginia Department of Computer Science. David | Evans is the project leader and the primary developer of Splint. | | | | |