repo.or.cz
/
splint-patched.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
history
|
HEAD
|
snapshot (
tar.gz
zip
)
Moved OS dependent constants from constants.h to osd.h
[splint-patched.git]
/
src
/
tree
2aa5e58ef0f318cab3635da43015af34f2c758a8
drwxr-xr-x
..
-rw-r--r--
1321
.splintrc
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
Headers
tree
|
history
-rw-r--r--
42
LICENSE
blob
|
blame
|
history
|
raw
-rw-r--r--
16618
Makefile.am
blob
|
blame
|
history
|
raw
-rw-r--r--
9045
Makefile.os2
blob
|
blame
|
history
|
raw
-rw-r--r--
146329
abstract.c
blob
|
blame
|
history
|
raw
-rw-r--r--
17678
aliasTable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4708
annotationInfo.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1657
annotationTable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
964
bison.head
blob
|
blame
|
history
|
raw
-rw-r--r--
805
bison.reset
blob
|
blame
|
history
|
raw
-rw-r--r--
66181
cgrammar.y
blob
|
blame
|
history
|
raw
-rw-r--r--
18331
checking.c
blob
|
blame
|
history
|
raw
-rw-r--r--
55071
clabstract.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5329
clause.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3672
clauseStack.c
blob
|
blame
|
history
|
raw
-rw-r--r--
28270
constraint.c
blob
|
blame
|
history
|
raw
-rw-r--r--
69017
constraintExpr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6271
constraintExprData.c
blob
|
blame
|
history
|
raw
-rw-r--r--
70163
constraintGeneration.c
blob
|
blame
|
history
|
raw
-rw-r--r--
15344
constraintList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
39502
constraintResolve.c
blob
|
blame
|
history
|
raw
-rw-r--r--
16048
constraintTerm.c
blob
|
blame
|
history
|
raw
-rw-r--r--
109384
context.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8414
cpperror.c
blob
|
blame
|
history
|
raw
-rw-r--r--
31099
cppexp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
12017
cpphash.c
blob
|
blame
|
history
|
raw
-rw-r--r--
218486
cpplib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6380
cppmain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11975
cprim.c
blob
|
blame
|
history
|
raw
-rw-r--r--
23199
cscanner.l
blob
|
blame
|
history
|
raw
-rw-r--r--
60315
cscannerHelp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
20918
cstring.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5165
cstringHash.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7140
cstringList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5409
cstringSList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10714
cstringTable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
66215
ctbase.i
blob
|
blame
|
history
|
raw
-rw-r--r--
12735
cttable.i
blob
|
blame
|
history
|
raw
-rw-r--r--
55813
ctype.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3273
ctypeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1067
cvar.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2771
declaratorInvNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3111
declaratorNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3907
ekind.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5388
enumNameList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1280
enumNameSList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
38607
exprChecks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
15419
exprData.c
blob
|
blame
|
history
|
raw
-rw-r--r--
273813
exprNode.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4447
exprNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3251
exprNodeSList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2798
fcnNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1099
fileIdList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4695
fileLib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
25720
fileTable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
19047
fileloc.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6406
filelocList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4760
filelocStack.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4335
flagMarker.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11786
flagMarkerList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4548
flagSpec.c
blob
|
blame
|
history
|
raw
-rw-r--r--
46532
flags.c
blob
|
blame
|
history
|
raw
-rw-r--r--
126630
flags.def
blob
|
blame
|
history
|
raw
-rw-r--r--
1475
flex.head
blob
|
blame
|
history
|
raw
-rw-r--r--
887
flex.reset
blob
|
blame
|
history
|
raw
-rw-r--r--
6643
functionClause.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5569
functionClauseList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6899
functionConstraint.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8403
general.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9797
genericTable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3301
globSet.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2263
globals.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1899
globalsClause.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7451
guardSet.c
blob
|
blame
|
history
|
raw
-rw-r--r--
21260
help.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5318
idDecl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2549
idDeclList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2596
importNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10370
imports.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2776
initDeclNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8290
inputStream.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3352
intSet.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2838
interfaceNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5302
lclctypes.c
blob
|
blame
|
history
|
raw
-rw-r--r--
34828
lclinit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
13582
lcllib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4855
lclscan.c
blob
|
blame
|
history
|
raw
-rw-r--r--
55858
lclscanline.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4206
lclsyntable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5141
lcltokentable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2774
letDeclNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8477
lh.c
blob
|
blame
|
history
|
raw
-rw-r--r--
46246
llerror.c
blob
|
blame
|
history
|
raw
-rw-r--r--
48818
llgrammar.y
blob
|
blame
|
history
|
raw
-rw-r--r--
33409
llmain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7459
lltok.c
blob
|
blame
|
history
|
raw
-rw-r--r--
13691
loopHeuristics.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2387
lslOpList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4003
lslOpSet.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8400
lslgrammar.y
blob
|
blame
|
history
|
raw
-rw-r--r--
40642
lslinit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
12359
lslparse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4110
lslscan.c
blob
|
blame
|
history
|
raw
-rw-r--r--
22937
lslscanline.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4758
lslsyntable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4064
lsltokentable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8127
lsymbol.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2249
lsymbolList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3377
lsymbolSet.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11139
ltoken.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4618
ltokenList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8453
macrocache.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
91
maketags
blob
|
blame
|
history
|
raw
-rw-r--r--
2840
mapping.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6506
message.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4471
messageLog.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2098
metaStateConstraint.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4427
metaStateConstraintList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2874
metaStateExpression.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5917
metaStateInfo.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2561
metaStateSpecifier.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1612
metaStateTable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2256
modifiesClause.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1837
mtAnnotationDecl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3737
mtAnnotationList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1532
mtAnnotationsNode.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8098
mtContextNode.c
blob
|
blame
|
history
|
raw
-rw-r--r--
18999
mtDeclarationNode.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9168
mtDeclarationPiece.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3084
mtDeclarationPieces.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1751
mtDefaultsDecl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3919
mtDefaultsDeclList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1574
mtDefaultsNode.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1895
mtLoseReference.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3947
mtLoseReferenceList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1726
mtMergeClause.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3869
mtMergeClauseList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2034
mtMergeItem.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1523
mtMergeNode.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2728
mtTransferAction.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2078
mtTransferClause.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3997
mtTransferClauseList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1614
mtValuesNode.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11645
mtgrammar.y
blob
|
blame
|
history
|
raw
-rw-r--r--
2704
mtreader.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9958
mtscanner.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4170
mttok.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8456
multiVal.c
blob
|
blame
|
history
|
raw
-rw-r--r--
36053
nameChecks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
28290
osd.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2694
pairNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3644
paramNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3166
pointers.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2590
programNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5247
qtype.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8518
qual.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4350
qualList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2905
quantifierNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4583
rcfiles.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4190
reader.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2603
replaceNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
220631
sRef.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2987
sRefList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
17892
sRefSet.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2397
sRefSetList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3415
sRefTable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2450
shift.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4490
sigNodeSet.c
blob
|
blame
|
history
|
raw
-rw-r--r--
24367
snprintf.c
blob
|
blame
|
history
|
raw
-rw-r--r--
80027
sort.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2979
sortList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4432
sortSet.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3125
sortSetList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
88
splint.def
blob
|
blame
|
history
|
raw
-rw-r--r--
3027
stDeclNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
19362
stateClause.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11201
stateClauseList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5204
stateCombinationTable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
13487
stateInfo.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4372
stateValue.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3307
storeRefNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3615
structNames.c
blob
|
blame
|
history
|
raw
-rw-r--r--
48957
symtable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5142
termNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2668
traitRefNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
107037
transferChecks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6323
typeIdSet.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2623
typeNameNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
267156
uentry.c
blob
|
blame
|
history
|
raw
-rw-r--r--
17480
uentryList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7138
usymIdSet.c
blob
|
blame
|
history
|
raw
-rw-r--r--
143388
usymtab.c
blob
|
blame
|
history
|
raw
-rw-r--r--
37127
usymtab_interface.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2313
valueTable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2753
varDeclarationNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
18614
varKinds.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2908
varNodeList.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3900
warnClause.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1452
ynm.c
blob
|
blame
|
history
|
raw