On gio, 2016-12-29 at 02:45 -0800, xcko shrdlu wrote:
> Leonardo Arena wrote:
> >
> > Does it needs flex at runtime, or it's used only for building
> > sources?
> I believe splint needed it at runtime.
> I no longer have an alpine install, so I'm not able to do a quick
> test.
>
Can't merge until this is fixed.
Thank you
Compiling lsymbol.c...
gcc -Os -fomit-frame-pointer -Wl,--as-needed -lfl -o
splint cgrammar.o cscanner.o mtscanner.o mtgrammar.o llgrammar.o
signature.o cppmain.o cpplib.o cppexp.o cpphash.o cpperror.o context.o
uentry.o cprim.o macrocache.o qual.o qtype.o stateClause.o
stateClauseList.o ctype.o cvar.o clabstract.o idDecl.o clause.o
globalsClause.o modifiesClause.o warnClause.o functionClause.o
functionClauseList.o metaStateConstraint.o metaStateConstraintList.o
metaStateExpression.o metaStateSpecifier.o functionConstraint.o
pointers.o cscannerHelp.o structNames.o transferChecks.o varKinds.o
nameChecks.o exprData.o cstring.o fileloc.o message.o inputStream.o
fileTable.o cstringTable.o valueTable.o stateValue.o llerror.o
messageLog.o flagMarker.o aliasTable.o ynm.o sRefTable.o genericTable.o
ekind.o usymtab.o multiVal.o lltok.o sRef.o lcllib.o randomNumbers.o
fileLib.o globals.o flags.o general.o osd.o reader.o
mtreader.o clauseStack.o filelocStack.o cstringList.o cstringSList.o
sRefSetList.o ctypeList.o enumNameList.o enumNameSList.o exprNodeList.o
exprNodeSList.o uentryList.o fileIdList.o filelocList.o qualList.o
sRefList.o flagMarkerList.o idDeclList.o flagSpec.o globSet.o intSet.o
typeIdSet.o guardSet.o usymIdSet.o sRefSet.o stateInfo.o
stateCombinationTable.o metaStateTable.o metaStateInfo.o
annotationTable.o annotationInfo.o mttok.o mtDeclarationNode.o
mtDeclarationPieces.o mtDeclarationPiece.o mtContextNode.o
mtValuesNode.o mtDefaultsNode.o mtAnnotationsNode.o mtMergeNode.o
mtAnnotationList.o mtAnnotationDecl.o mtTransferClauseList.o
mtTransferClause.o mtTransferAction.o mtLoseReferenceList.o
mtLoseReference.o mtDefaultsDeclList.o mtDefaultsDecl.o mtMergeItem.o
mtMergeClause.o mtMergeClauseList.o exprNode.o exprChecks.o llmain.o
help.o rcfiles.o constraintList.o constraintResolve.o
constraintGeneration.o constraintTerm.o constraintExprData.o
constraintExpr.o constraint.o loopHeuristics.o lsymbolSet.o
sigNodeSet.o lslOpSet.o sortSet.o initDeclNodeList.o sortList.o
declaratorInvNodeList.o interfaceNodeList.o sortSetList.o
declaratorNodeList.o letDeclNodeList.o stDeclNodeList.o
storeRefNodeList.o lslOpList.o lsymbolList.o termNodeList.o
ltokenList.o traitRefNodeList.o pairNodeList.o typeNameNodeList.o
fcnNodeList.o paramNodeList.o programNodeList.o
varDeclarationNodeList.o varNodeList.o quantifierNodeList.o
replaceNodeList.o importNodeList.o tokentable.o scan.o scanline.o
lslparse.o lh.o checking.o lclctypes.o imports.o lslinit.o
syntable.o usymtab_interface.o abstract.o ltoken.o lclscanline.o
lclsyntable.o lcltokentable.o sort.o symtable.o lclinit.o shift.o
lclscan.o lsymbol.o mapping.o -lfl
rm -f ../bin/splint
ln -s ../src/splint ../bin/splint
make all-am
Compiling mapping.c...
make[4]: Entering directory
'/home/larena/aports/testing/splint/src/splint-3.1.2/src'
gcc -Os -fomit-frame-pointer -Wl,--as-needed -lfl -o
splint cgrammar.o cscanner.o mtscanner.o mtgrammar.o llgrammar.o
signature.o cppmain.o cpplib.o cppexp.o cpphash.o cpperror.o context.o
uentry.o cprim.o macrocache.o qual.o qtype.o stateClause.o
stateClauseList.o ctype.o cvar.o clabstract.o idDecl.o clause.o
globalsClause.o modifiesClause.o warnClause.o functionClause.o
functionClauseList.o metaStateConstraint.o metaStateConstraintList.o
metaStateExpression.o metaStateSpecifier.o functionConstraint.o
pointers.o cscannerHelp.o structNames.o transferChecks.o varKinds.o
nameChecks.o exprData.o cstring.o fileloc.o message.o inputStream.o
fileTable.o cstringTable.o valueTable.o stateValue.o llerror.o
messageLog.o flagMarker.o aliasTable.o ynm.o sRefTable.o genericTable.o
ekind.o usymtab.o multiVal.o lltok.o sRef.o lcllib.o randomNumbers.o
fileLib.o globals.o flags.o general.o osd.o reader.o
mtreader.o clauseStack.o filelocStack.o cstringList.o cstringSList.o
sRefSetList.o ctypeList.o enumNameList.o enumNameSList.o exprNodeList.o
exprNodeSList.o uentryList.o fileIdList.o filelocList.o qualList.o
sRefList.o flagMarkerList.o idDeclList.o flagSpec.o globSet.o intSet.o
typeIdSet.o guardSet.o usymIdSet.o sRefSet.o stateInfo.o
stateCombinationTable.o metaStateTable.o metaStateInfo.o
annotationTable.o annotationInfo.o mttok.o mtDeclarationNode.o
mtDeclarationPieces.o mtDeclarationPiece.o mtContextNode.o
mtValuesNode.o mtDefaultsNode.o mtAnnotationsNode.o mtMergeNode.o
mtAnnotationList.o mtAnnotationDecl.o mtTransferClauseList.o
mtTransferClause.o mtTransferAction.o mtLoseReferenceList.o
mtLoseReference.o mtDefaultsDeclList.o mtDefaultsDecl.o mtMergeItem.o
mtMergeClause.o mtMergeClauseList.o exprNode.o exprChecks.o llmain.o
help.o rcfiles.o constraintList.o constraintResolve.o
constraintGeneration.o constraintTerm.o constraintExprData.o
constraintExpr.o constraint.o loopHeuristics.o lsymbolSet.o
sigNodeSet.o lslOpSet.o sortSet.o initDeclNodeList.o sortList.o
declaratorInvNodeList.o interfaceNodeList.o sortSetList.o
declaratorNodeList.o letDeclNodeList.o stDeclNodeList.o
storeRefNodeList.o lslOpList.o lsymbolList.o termNodeList.o
ltokenList.o traitRefNodeList.o pairNodeList.o typeNameNodeList.o
fcnNodeList.o paramNodeList.o programNodeList.o
varDeclarationNodeList.o varNodeList.o quantifierNodeList.o
replaceNodeList.o importNodeList.o tokentable.o scan.o scanline.o
lslparse.o lh.o checking.o lclctypes.o imports.o lslinit.o
syntable.o usymtab_interface.o abstract.o ltoken.o lclscanline.o
lclsyntable.o lcltokentable.o sort.o symtable.o lclinit.o shift.o
lclscan.o lsymbol.o mapping.o -lfl
collect2: fatal error: ld terminated with signal 11 [Segmentation
fault]
compilation terminated.
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: can not read symbols: File truncated
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: .eh_frame/.stab edit: File truncated
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.interp' not in
segment
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.gnu.hash' not
in segment
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.dynsym' not in
segment
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.dynstr' not in
segment
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.rela.dyn' not
in segment
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.init' not in
segment
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.plt' not in
segment
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.plt.got' not in
segment
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.text' not in
segment
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.fini' not in
segment
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.rodata' not in
segment
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.eh_frame' not
in segment
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.ctors' not in
segment
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.dtors' not in
segment
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.jcr' not in
segment
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.data.rel.ro'
not in segment
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.dynamic' not in
segment
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.got' not in
segment
/usr/lib/gcc/x86_64-alpine-linux-musl/6.3.0/../../../../x86_64-alpine-
linux-musl/bin/ld: splint: warning: allocated section `.data' not in
segment
make[4]: *** [Makefile:674: splint] Error 1
make[4]: Leaving directory
'/home/larena/aports/testing/splint/src/splint-3.1.2/src'
make[3]: *** [Makefile:639: all] Error 2
make[3]: Leaving directory
'/home/larena/aports/testing/splint/src/splint-3.1.2/src'
make[2]: *** [Makefile:1105: Headers/flag_codes.gen] Error 2
make[2]: *** Waiting for unfinished jobs....
make[2]: Leaving directory
'/home/larena/aports/testing/splint/src/splint-3.1.2/src'
make[1]: *** [Makefile:175: all-recursive] Error 1
make[1]: Leaving directory
'/home/larena/aports/testing/splint/src/splint-3.1.2'
make: *** [Makefile:130: all] Error 2
>>> ERROR: splint: all failed
>>> splint: Uninstalling dependencies...