]> andersk Git - splint.git/tree - src/
Changed checking of complete descruction so +strictdestroy is no
[splint.git] / src /
drwxr-xr-x   ..
-rw-r--r-- 1347 .splintrc
drwxr-xr-x - Headers
-rw-r--r-- 42 LICENSE
-rw-r--r-- 18441 Makefile.am
-rw-r--r-- 16384 Makefile.depend.real
-rw-r--r-- 50301 Makefile.in
-rw-r--r-- 8628 Makefile.mine
-rw-r--r-- 111 Makefile.nodepend
-rw-r--r-- 7692 Makefile.os2
-rw-r--r-- 3900 Makefile.sources
-rw-r--r-- 1780 Makefile.sys
-rw-r--r-- 1832 Makefile.sys-mine
-rw-r--r-- 146814 abstract.c
-rw-r--r-- 17272 aliasTable.c
-rw-r--r-- 4746 annotationInfo.c
-rw-r--r-- 1705 annotationTable.c
-rw-r--r-- 934 bison.head
-rw-r--r-- 776 bison.reset
-rw-r--r-- 237274 cgrammar.c.der
-rw-r--r-- 231729 cgrammar.mod
-rw-r--r-- 60468 cgrammar.y
-rw-r--r-- 18352 checking.c
-rw-r--r-- 51934 clabstract.c
-rw-r--r-- 5349 clause.c
-rw-r--r-- 3692 clauseStack.c
-rw-r--r-- 634 configure.scan
-rw-r--r-- 26516 constraint.c
-rw-r--r-- 50400 constraintExpr.c
-rw-r--r-- 6292 constraintExprData.c
-rw-r--r-- 66357 constraintGeneration.c
-rw-r--r-- 14626 constraintList.c
-rw-r--r-- 1104 constraintOutput.c
-rw-r--r-- 36239 constraintResolve.c
-rw-r--r-- 13917 constraintTerm.c
-rw-r--r-- 101707 context.c
-rw-r--r-- 9791 cpperror.c
-rw-r--r-- 32462 cppexp.c
-rw-r--r-- 11898 cpphash.c
-rw-r--r-- 205068 cpplib.c
-rw-r--r-- 6154 cppmain.c
-rw-r--r-- 10074 cprim.c
-rw-r--r-- 126333 cscanner.c.der
-rw-r--r-- 72921 cscanner.l
-rw-r--r-- 15568 cstring.c
-rw-r--r-- 6720 cstringList.c
-rw-r--r-- 5404 cstringSList.c
-rw-r--r-- 10569 cstringTable.c
-rw-r--r-- 60982 ctbase.i
-rw-r--r-- 12201 cttable.i
-rw-r--r-- 51430 ctype.c
-rw-r--r-- 3293 ctypeList.c
-rw-r--r-- 1087 cvar.c
-rw-r--r-- 2793 declaratorInvNodeList.c
-rw-r--r-- 3133 declaratorNodeList.c
-rw-r--r-- 69 dummy.c
-rw-r--r-- 3927 ekind.c
-rw-r--r-- 5298 enumNameList.c
-rw-r--r-- 1300 enumNameSList.c
-rw-r--r-- 37946 exprChecks.c
-rw-r--r-- 15350 exprData.c
-rw-r--r-- 2040 exprDataQuite.i
-rw-r--r-- 262755 exprNode.c
-rw-r--r-- 4469 exprNodeList.c
-rw-r--r-- 3271 exprNodeSList.c
-rw-r--r-- 2820 fcnNodeList.c
-rw-r--r-- 1098 fileIdList.c
-rw-r--r-- 4709 fileLib.c
-rw-r--r-- 21422 fileTable.c
-rw-r--r-- 17395 fileloc.c
-rw-r--r-- 6174 filelocList.c
-rw-r--r-- 4659 filelocStack.c
-rw-r--r-- 3771 flagMarker.c
-rw-r--r-- 11311 flagMarkerList.c
-rw-r--r-- 4358 flagSpec.c
-rw-r--r-- 28046 flags.c
-rw-r--r-- 116143 flags.def
-rw-r--r-- 1498 flex.head
-rw-r--r-- 956 flex.reset
-rw-r--r-- 6293 functionClause.c
-rw-r--r-- 3989 functionClauseList.c
-rw-r--r-- 6161 functionConstraint.c
-rw-r--r-- 8121 general.c
-rw-r--r-- 9764 genericTable.c
-rw-r--r-- 3320 globSet.c
-rw-r--r-- 2258 globals.c
-rw-r--r-- 1814 globalsClause.c
-rw-r--r-- 7471 guardSet.c
-rw-r--r-- 8538 hashTable.c
-rw-r--r-- 4472 idDecl.c
-rw-r--r-- 2569 idDeclList.c
-rw-r--r-- 2618 importNodeList.c
-rw-r--r-- 10412 imports.c
-rw-r--r-- 2798 initDeclNodeList.c
-rw-r--r-- 8118 inputStream.c
-rw-r--r-- 3395 intSet.c
-rw-r--r-- 2860 interfaceNodeList.c
-rw-r--r-- 10 lastversion
-rw-r--r-- 5324 lclctypes.c
-rw-r--r-- 34884 lclinit.c
-rw-r--r-- 88 lclint.def
-rw-r--r-- 836929 lclint.lcd
-rw-r--r-- 13156 lcllib.c
-rw-r--r-- 4693 lclscan.c
-rw-r--r-- 55872 lclscanline.c
-rw-r--r-- 4174 lclsyntable.c
-rw-r--r-- 5111 lcltokentable.c
-rw-r--r-- 2796 letDeclNodeList.c
-rw-r--r-- 10307 lh.c
-rw-r--r-- 39792 llerror.c
-rw-r--r-- 152916 llgrammar.c.der
-rw-r--r-- 48127 llgrammar.y
-rw-r--r-- 68642 llmain.c
-rw-r--r-- 7190 lltok.c
-rw-r--r-- 12563 loopHeuristics.c
-rw-r--r-- 2409 lslOpList.c
-rw-r--r-- 4025 lslOpSet.c
-rw-r--r-- 34906 lslinit.c
-rw-r--r-- 12359 lslparse.c
-rw-r--r-- 8147 lsymbol.c
-rw-r--r-- 2271 lsymbolList.c
-rw-r--r-- 3399 lsymbolSet.c
-rw-r--r-- 11121 ltoken.c
-rw-r--r-- 4640 ltokenList.c
-rw-r--r-- 8423 macrocache.c
-rwxr-xr-x 91 maketags
-rw-r--r-- 2862 mapping.c
-rw-r--r-- 1708 mapping_chdir.c
-rw-r--r-- 6139 message.c
-rw-r--r-- 4613 messageLog.c
-rw-r--r-- 2118 metaStateConstraint.c
-rw-r--r-- 4447 metaStateConstraintList.c
-rw-r--r-- 2894 metaStateExpression.c
-rw-r--r-- 5870 metaStateInfo.c
-rw-r--r-- 2581 metaStateSpecifier.c
-rw-r--r-- 1660 metaStateTable.c
-rw-r--r-- 2282 modifiesClause.c
-rw-r--r-- 1857 mtAnnotationDecl.c
-rw-r--r-- 3829 mtAnnotationList.c
-rw-r--r-- 1552 mtAnnotationsNode.c
-rw-r--r-- 7981 mtContextNode.c
-rw-r--r-- 19110 mtDeclarationNode.c
-rw-r--r-- 9198 mtDeclarationPiece.c
-rw-r--r-- 3141 mtDeclarationPieces.c
-rw-r--r-- 1771 mtDefaultsDecl.c
-rw-r--r-- 3989 mtDefaultsDeclList.c
-rw-r--r-- 1594 mtDefaultsNode.c
-rw-r--r-- 1915 mtLoseReference.c
-rw-r--r-- 4039 mtLoseReferenceList.c
-rw-r--r-- 1746 mtMergeClause.c
-rw-r--r-- 3939 mtMergeClauseList.c
-rw-r--r-- 2054 mtMergeItem.c
-rw-r--r-- 1543 mtMergeNode.c
-rw-r--r-- 2748 mtTransferAction.c
-rw-r--r-- 2098 mtTransferClause.c
-rw-r--r-- 4089 mtTransferClauseList.c
-rw-r--r-- 1634 mtValuesNode.c
-rw-r--r-- 44239 mtgrammar.c
-rw-r--r-- 44239 mtgrammar.c.der
-rw-r--r-- 10963 mtgrammar.y
-rw-r--r-- 2783 mtreader.c
-rw-r--r-- 9878 mtscanner.c
-rw-r--r-- 4190 mttok.c
-rw-r--r-- 8157 multiVal.c
-rw-r--r-- 35799 nameChecks.c
-rw-r--r-- 25811 osd.c
-rw-r--r-- 2716 pairNodeList.c
-rw-r--r-- 3666 paramNodeList.c
-rw-r--r-- 2612 programNodeList.c
-rw-r--r-- 4551 qtype.c
-rw-r--r-- 7971 qual.c
-rw-r--r-- 4255 qualList.c
-rw-r--r-- 2927 quantifierNodeList.c
-rw-r--r-- 1177 randomNumbers.c
-rw-r--r-- 17306 rangeTable.c
-rw-r--r-- 4210 reader.c
-rw-r--r-- 2625 replaceNodeList.c
-rw-r--r-- 214004 sRef.c
-rw-r--r-- 3007 sRefList.c
-rw-r--r-- 17844 sRefSet.c
-rw-r--r-- 2417 sRefSetList.c
-rw-r--r-- 3321 sRefTable.c
-rw-r--r-- 4042 scan.c
-rw-r--r-- 22877 scanline.c
-rw-r--r-- 2472 shift.c
-rw-r--r-- 4512 sigNodeSet.c
-rw-r--r-- 37523 signature.c.der
-rw-r--r-- 10708 signature.y
-rw-r--r-- 80050 sort.c
-rw-r--r-- 3001 sortList.c
-rw-r--r-- 4454 sortSet.c
-rw-r--r-- 3147 sortSetList.c
-rw-r--r-- 8878 source.c
-rw-r--r-- 3049 stDeclNodeList.c
-rw-r--r-- 18934 stateClause.c
-rw-r--r-- 11218 stateClauseList.c
-rw-r--r-- 5313 stateCombinationTable.c
-rw-r--r-- 3693 stateInfo.c
-rw-r--r-- 4381 stateValue.c
-rw-r--r-- 3329 storeRefNodeList.c
-rw-r--r-- 3632 structNames.c
-rw-r--r-- 48916 symtable.c
-rw-r--r-- 4768 syntable.c
-rw-r--r-- 5164 termNodeList.c
-rw-r--r-- 4027 tokentable.c
-rw-r--r-- 2690 traitRefNodeList.c
-rw-r--r-- 105722 transferChecks.c
-rw-r--r-- 6255 typeIdSet.c
-rw-r--r-- 2645 typeNameNodeList.c
-rw-r--r-- 261366 uentry.c
-rw-r--r-- 16800 uentryList.c
-rw-r--r-- 7158 usymIdSet.c
-rw-r--r-- 138799 usymtab.c
-rw-r--r-- 37098 usymtab_interface.c
-rw-r--r-- 2275 valueTable.c
-rw-r--r-- 2775 varDeclarationNodeList.c
-rw-r--r-- 18634 varKinds.c
-rw-r--r-- 2930 varNodeList.c
-rw-r--r-- 3619 warnClause.c
-rw-r--r-- 1472 ynm.c
This page took 0.168927 seconds and 6 git commands to generate.