More refactoring of library support.
[splint-patched.git] / test / 
treea4e5398d4e76fb211bcf9b4371940fedcce3bb4d
drwxr-xr-x   ..
-rw-r--r-- 28089 Makefile
-rw-r--r-- 23517 Makefile.os2
drwxr-xr-x - UNUSED
-rw-r--r-- 60 abst_t.lcl
-rw-r--r-- 790 abstptr.c
-rw-r--r-- 1126 abstptr.expect
-rw-r--r-- 20 abstptr.lcl
-rw-r--r-- 1212 abstract.expect
-rw-r--r-- 1133 alias.c
-rw-r--r-- 6750 alias.expect
-rw-r--r-- 120 alias.lcl
-rw-r--r-- 1001 alias2.c
-rw-r--r-- 81 alias2.lcl
-rw-r--r-- 1273 alias3.c
-rw-r--r-- 307 alias3.lcl
-rw-r--r-- 522 alias4.c
-rw-r--r-- 207 alias4.lcl
-rw-r--r-- 658 alias5.c
-rw-r--r-- 199 alias5.lcl
-rw-r--r-- 256 alttypes.c
-rw-r--r-- 535 alttypes.expect
-rw-r--r-- 283 ansireserved.c
-rw-r--r-- 4761 ansireserved.expect
-rw-r--r-- 37 ansireserved2.c
-rw-r--r-- 314 argorder.c
-rw-r--r-- 4608 argorder.expect
-rw-r--r-- 392 argorder2.c
-rw-r--r-- 111 argorder2.lcl
-rw-r--r-- 226 argorder3.c
-rw-r--r-- 483 argorder4.c
-rw-r--r-- 125 argorder4.lcl
-rw-r--r-- 428 argorder5.c
-rw-r--r-- 1079 args.c
-rw-r--r-- 1382 args.expect
-rw-r--r-- 219 args.lcl
-rw-r--r-- 562 arraydims.c
-rw-r--r-- 392 arraydims.expect
-rw-r--r-- 854 arrayinit.c
-rw-r--r-- 1205 arrayinit.expect
-rw-r--r-- 559 arraylit.c
-rw-r--r-- 1026 arraylit.expect
-rw-r--r-- 324 blocks.c
-rw-r--r-- 2860 blocks.expect
-rw-r--r-- 321 bool.h
-rw-r--r-- 219 branchstate.c
-rw-r--r-- 336 branchstate.expect
-rw-r--r-- 730 break.c
-rw-r--r-- 1508 break.expect
-rw-r--r-- 885 buffertest.expect
-rw-r--r-- 200 buffertest1.c
-rw-r--r-- 2121 c99decl.c
-rw-r--r-- 516 c99decl.expect
-rw-r--r-- 769 cases.c
-rw-r--r-- 1779 cases.expect
-rw-r--r-- 607 cases2.c
-rw-r--r-- 1142 cast.c
-rw-r--r-- 2019 cast.expect
-rw-r--r-- 39 cast.lcl
-rw-r--r-- 464 cast2.c
-rw-r--r-- 300 chararraylit.c
-rw-r--r-- 342 chararraylit.expect
-rw-r--r-- 129 charlit.c
-rw-r--r-- 1761 charlit.expect
-rw-r--r-- 571 clauses.c
-rw-r--r-- 1593 clauses.expect
-rw-r--r-- 207 clauses2.c
-rw-r--r-- 808 clauses3.c
-rw-r--r-- 225 commentchar.c
-rw-r--r-- 738 commentchar.expect
-rw-r--r-- 1601 commentcmd.c
-rw-r--r-- 398 compdestroy.c
-rw-r--r-- 2111 compdestroy.expect
-rw-r--r-- 524 compoundliterals.c
-rw-r--r-- 35 compoundliterals.expect
-rw-r--r-- 285 compoundstmt.c
-rw-r--r-- 297 compoundstmt.expect
-rw-r--r-- 514 condifomit.c
-rw-r--r-- 771 condifomit.expect
-rw-r--r-- 361 constannot.c
-rw-r--r-- 662 constannot.expect
-rw-r--r-- 349 controldepth.c
-rw-r--r-- 608 controldepth.expect
-rw-r--r-- 525 csyntax.c
-rw-r--r-- 954 csyntax.expect
-rw-r--r-- 158 csyntax10.c
-rw-r--r-- 73 csyntax11.c
-rw-r--r-- 154 csyntax12.c
-rw-r--r-- 116 csyntax13.c
-rw-r--r-- 171 csyntax14.c
-rw-r--r-- 74 csyntax15.c
-rw-r--r-- 950 csyntax16.c
-rw-r--r-- 148 csyntax17.c
-rw-r--r-- 217 csyntax2.c
-rw-r--r-- 85 csyntax3.c
-rw-r--r-- 135 csyntax4.c
-rw-r--r-- 95 csyntax5.c
-rw-r--r-- 20 csyntax6.c
-rw-r--r-- 42 csyntax7.c
-rw-r--r-- 65 csyntax8.c
-rw-r--r-- 103 csyntax9.c
-rw-r--r-- 487 czechnames.c
-rw-r--r-- 2332 czechnames.expect
-rw-r--r-- 487 czechoslovaknames.c
-rw-r--r-- 1198 czechoslovaknames.expect
-rw-r--r-- 36861 db1.expect
drwxr-xr-x - db1
-rw-r--r-- 5979 db2.expect
drwxr-xr-x - db2
-rw-r--r-- 9483 db3.expect
drwxr-xr-x - db3
-rw-r--r-- 195 deadparam.c
-rw-r--r-- 432 deadparam.expect
-rw-r--r-- 314 decl.c
-rw-r--r-- 1372 decl.expect
-rw-r--r-- 80 decl2.c
-rw-r--r-- 72 decl2.h
-rw-r--r-- 10 decl2.lcl
-rw-r--r-- 62 divzero.c
-rw-r--r-- 35 divzero.expect
-rw-r--r-- 3383 duffextensive.c
-rw-r--r-- 35 duffextensive.expect
-rw-r--r-- 786 ensures.c
-rw-r--r-- 549 ensures.expect
-rw-r--r-- 1393 enum.c
-rw-r--r-- 3915 enum.expect
-rw-r--r-- 317 enum.lcl
-rw-r--r-- 339 enuminitredeftype.c
-rw-r--r-- 682 enuminitredeftype.expect
-rw-r--r-- 255 enumredefmacro.expect
drwxr-xr-x - enumredefmacro
-rw-r--r-- 311 enumtag.c
-rw-r--r-- 346 enumtag.expect
-rw-r--r-- 76 exports.c
-rw-r--r-- 764 exports.expect
-rw-r--r-- 66 exports.h
-rw-r--r-- 237 external.c
-rw-r--r-- 2671 external.expect
-rw-r--r-- 1351 fields.c
-rw-r--r-- 1929 fields.expect
-rw-r--r-- 1089 fields2.c
-rw-r--r-- 382 fields3.c
-rw-r--r-- 1264 fileio.expect
drwxr-xr-x - fileio
-rw-r--r-- 231 flags.c
-rw-r--r-- 1205 flags.expect
-rw-r--r-- 281 for.expect
drwxr-xr-x - for
-rw-r--r-- 186 forbody.c
-rw-r--r-- 218 forbody.expect
-rw-r--r-- 117 format.c
-rw-r--r-- 420 format.expect
-rw-r--r-- 387 freearray.c
-rw-r--r-- 240 freearray.expect
-rw-r--r-- 2963 funcpointer.c
-rw-r--r-- 1848 funcpointer.expect
-rw-r--r-- 603 functionmacro.c
-rw-r--r-- 426 functionmacro.expect
-rw-r--r-- 232 glob.c
-rw-r--r-- 1106 glob.expect
-rw-r--r-- 168 glob.lcl
-rw-r--r-- 724 globalalias.c
-rw-r--r-- 35 globalbufferannotation.expect
drwxr-xr-x - globalbufferannotation
-rw-r--r-- 715 globals.c
-rw-r--r-- 2531 globals.expect
-rw-r--r-- 17468 help.expect
-rw-r--r-- 244 impabstract.c
-rw-r--r-- 1717 impabstract.expect
-rw-r--r-- 37 impabstract.lcl
-rw-r--r-- 168 info.c
-rw-r--r-- 503 info.expect
-rw-r--r-- 400 init.c
-rw-r--r-- 2825 init.expect
-rw-r--r-- 436 innerarray.c
-rw-r--r-- 1022 innerarray.expect
-rw-r--r-- 234 inparam.c
-rw-r--r-- 481 inparam.expect
-rw-r--r-- 522 internal.c
-rw-r--r-- 3969 internal.expect
-rw-r--r-- 720 iter.c
-rw-r--r-- 2726 iter.expect
-rw-r--r-- 360 iter.h
-rw-r--r-- 222 iter.lcl
-rw-r--r-- 600 iter2.c
-rw-r--r-- 481 iter2.h
-rw-r--r-- 949 keep.c
-rw-r--r-- 891 keep.expect
-rw-r--r-- 1092 libs.c
-rw-r--r-- 10291 libs.expect
-rw-r--r-- 422 linked.c
-rw-r--r-- 3636 linked.expect
-rw-r--r-- 471 linked2.c
-rw-r--r-- 503 linked3.c
-rw-r--r-- 553 linked4.c
-rw-r--r-- 557 linked5.c
-rw-r--r-- 597 linked6.c
-rw-r--r-- 380 lintcomments.c
-rw-r--r-- 1454 lintcomments.expect
-rw-r--r-- 682 list.c
-rw-r--r-- 552 list.expect
-rw-r--r-- 94 longconstants.c
-rw-r--r-- 178 longconstants.expect
-rw-r--r-- 268 longint.c
-rw-r--r-- 688 longint.expect
-rw-r--r-- 356 loopexec.c
-rw-r--r-- 448 loopexec.expect
-rw-r--r-- 280 looptesteffect.c
-rw-r--r-- 268 looptesteffect.expect
-rw-r--r-- 1399 macros.c
-rw-r--r-- 6799 macros.expect
-rw-r--r-- 550 macros.lcl
-rw-r--r-- 209 macrosef.c
-rw-r--r-- 1557 macrosef.expect
-rw-r--r-- 58 macrosef.lcl
-rw-r--r-- 632 malloc.c
-rw-r--r-- 1394 malloc.expect
-rw-r--r-- 8451 manual.expect
drwxr-xr-x - manual
-rw-r--r-- 572 maxset.expect
drwxr-xr-x - maxset
-rw-r--r-- 659 merge.c
-rw-r--r-- 432 merge.expect
-rw-r--r-- 251 mergenull.c
-rw-r--r-- 35 mergenull.expect
-rw-r--r-- 1214 mergestate.expect
drwxr-xr-x - mergestate
-rw-r--r-- 5952 metastate.expect
drwxr-xr-x - metastate
-rw-r--r-- 80 minc1.h
-rw-r--r-- 60 minc2.h
-rw-r--r-- 40 minc3.h
-rw-r--r-- 20 minc4.h
-rw-r--r-- 12 minc5.h
-rw-r--r-- 1078 mixedstyle.c
-rw-r--r-- 371 mixedstyle.expect
-rw-r--r-- 115 modclient.c
-rw-r--r-- 758 modifies.c
-rw-r--r-- 1107 modifies.expect
-rw-r--r-- 163 modifies.h
-rw-r--r-- 400 modtest.c
-rw-r--r-- 2668 modtest.expect
-rw-r--r-- 335 modtest.lcl
-rw-r--r-- 195 moduncon.c
-rw-r--r-- 3064 moduncon.expect
-rw-r--r-- 60 mongoincludes.c
-rw-r--r-- 4986 mongoincludes.expect
-rw-r--r-- 2005 moreBufferTests.expect
drwxr-xr-x - moreBufferTests
-rw-r--r-- 1254 moreBufferTests2.expect
drwxr-xr-x - moreBufferTests2
-rw-r--r-- 204 mut.c
-rw-r--r-- 38 mut.h
-rw-r--r-- 90 mut.lcl
-rw-r--r-- 422 mystrncat.c
-rw-r--r-- 1245 mystrncat.expect
-rw-r--r-- 189 noeffect.c
-rw-r--r-- 635 noeffect.expect
-rw-r--r-- 8563 null.expect
-rw-r--r-- 1848 null1.c
-rw-r--r-- 1087 null2.c
-rw-r--r-- 1871 null3.c
-rw-r--r-- 653 null4.c
-rw-r--r-- 553 null5.c
-rw-r--r-- 1271 null6.c
-rw-r--r-- 19 null6.lcl
-rw-r--r-- 65 nullassign.c
-rw-r--r-- 318 nullassign.expect
-rw-r--r-- 106 nullret.c
-rw-r--r-- 250 nullret.expect
-rw-r--r-- 823 numabstract.c
-rw-r--r-- 2740 numabstract.expect
-rw-r--r-- 919 observer.c
-rw-r--r-- 3041 observer.expect
-rw-r--r-- 50 observer.lcl
-rw-r--r-- 330 oldstyle.c
-rw-r--r-- 656 oldstyle.expect
-rw-r--r-- 71 oldstyle.lcl
-rw-r--r-- 225 oldstyle2.c
-rw-r--r-- 897 outglob.c
-rw-r--r-- 903 outglob.expect
-rw-r--r-- 155 outglob.lcl
-rw-r--r-- 1165 outparam.c
-rw-r--r-- 910 outparam.expect
-rw-r--r-- 151 outparam.lcl
-rw-r--r-- 93 parentype.c
-rw-r--r-- 35 parentype.expect
-rw-r--r-- 33 pivo.h
-rw-r--r-- 253 postnotnull.c
-rw-r--r-- 235 postnotnull.expect
-rw-r--r-- 385 preds.c
-rw-r--r-- 3737 preds.expect
-rw-r--r-- 344 prefixes.c
-rw-r--r-- 7954 prefixes.expect
-rw-r--r-- 324 print.c
-rw-r--r-- 573 print.expect
-rw-r--r-- 285 printflike.c
-rw-r--r-- 1526 printflike.expect
-rw-r--r-- 4866 qualcombine.c
-rw-r--r-- 4652 qualcombine.expect
-rw-r--r-- 37 rc.c
-rw-r--r-- 1103 rc.expect
-rw-r--r-- 67 rc1.splintrc
-rw-r--r-- 17 rc2.splintrc
-rw-r--r-- 94 rc3.splintrc
-rw-r--r-- 99 rc3.splintrc.os2
-rw-r--r-- 1345 refcounts.c
-rw-r--r-- 1084 refcounts.expect
-rw-r--r-- 294 release.c
-rw-r--r-- 182 release.expect
-rw-r--r-- 2180 repexpose.c
-rw-r--r-- 6837 repexpose.expect
-rw-r--r-- 222 repexpose.h
-rw-r--r-- 396 repexpose.lcl
-rw-r--r-- 224 returned.c
-rw-r--r-- 185 returned.expect
-rw-r--r-- 168 russian.c
-rw-r--r-- 35 russian.expect
-rw-r--r-- 7908 sharing.expect
-rw-r--r-- 1627 sharing1.c
-rw-r--r-- 822 sharing2.c
-rw-r--r-- 866 sharing3.c
-rw-r--r-- 1735 sharing4.c
-rw-r--r-- 903 sharing5.c
-rw-r--r-- 401 shifts.c
-rw-r--r-- 790 shifts.expect
-rw-r--r-- 1188 simplebufferConstraintTests.expect
drwxr-xr-x - simplebufferConstraintTests
-rw-r--r-- 108 sizeof.c
-rw-r--r-- 259 sizeof.expect
-rw-r--r-- 272 sizeoftest.expect
drwxr-xr-x - sizeoftest
-rw-r--r-- 108 sizesigns.c
-rw-r--r-- 1267 sizesigns.expect
-rw-r--r-- 35 skipheader.expect
drwxr-xr-x - skipheader
-rw-r--r-- 588 slovaknames.c
-rw-r--r-- 3392 slovaknames.expect
-rw-r--r-- 916 specclauses.c
-rw-r--r-- 4210 specclauses.expect
-rw-r--r-- 1808 specclauses2.c
-rw-r--r-- 1329 specclauses3.c
-rw-r--r-- 760 specclauses4.c
-rw-r--r-- 937 specclauses5.c
-rw-r--r-- 382 speccollision.c
-rw-r--r-- 35 speccollision.expect
-rw-r--r-- 1889 special.c
-rw-r--r-- 5930 special.expect
-rw-r--r-- 73 special.lcl
-rw-r--r-- 658 stack.c
-rw-r--r-- 627 stack.expect
-rw-r--r-- 324 staticarray.c
-rw-r--r-- 480 staticarray.expect
-rw-r--r-- 286 strchr.expect
drwxr-xr-x - strchr
-rw-r--r-- 757 stringliteral.c
-rw-r--r-- 2085 stringliteral.expect
-rw-r--r-- 267 strings.c
-rw-r--r-- 1046 strings.expect
-rw-r--r-- 806 structassign.c
-rw-r--r-- 852 structassign.expect
-rw-r--r-- 1037 switch.c
-rw-r--r-- 5430 tainted.expect
drwxr-xr-x - tainted
-rw-r--r-- 3656 tests2.2.expect
drwxr-xr-x - tests2.2
-rw-r--r-- 5400 tests2.2a.expect
drwxr-xr-x - tests2.2a
-rw-r--r-- 4402 tests2.4.expect
drwxr-xr-x - tests2.4
-rw-r--r-- 1871 tests2.5.expect
drwxr-xr-x - tests2.5
-rw-r--r-- 454 tq.h
-rw-r--r-- 100 tq.lcl
-rw-r--r-- 319 typeof.c
-rw-r--r-- 189 typeof.expect
-rw-r--r-- 259 typequals.c
-rw-r--r-- 710 typequals.expect
-rw-r--r-- 783 ud.c
-rw-r--r-- 758 ud.expect
-rw-r--r-- 372 ud2.c
-rw-r--r-- 110 ud2.lcl
-rw-r--r-- 824 ullint.c
-rw-r--r-- 860 ullint.expect
-rw-r--r-- 649 ulstypes.c
-rw-r--r-- 2801 ulstypes.expect
-rw-r--r-- 107 unaryop.c
-rw-r--r-- 35 unaryop.expect
-rw-r--r-- 1599 union.c
-rw-r--r-- 1103 union.expect
-rw-r--r-- 234 unioninit.c
-rw-r--r-- 306 unioninit.expect
-rw-r--r-- 160 unnamedsu.c
-rw-r--r-- 35 unnamedsu.expect
-rw-r--r-- 655 unreachable.c
-rw-r--r-- 987 unreachable.expect
-rw-r--r-- 229 unsignedcompare.c
-rw-r--r-- 445 unsignedcompare.expect
-rw-r--r-- 351 unused.c
-rw-r--r-- 1241 unused.expect
-rw-r--r-- 748 utypes.c
-rw-r--r-- 379 utypes.expect
-rw-r--r-- 421 variadicmacro.c
-rw-r--r-- 584 variadicmacro.expect
-rw-r--r-- 56 void.c
-rw-r--r-- 216 void.expect
-rw-r--r-- 856 widestrings.c
-rw-r--r-- 351 widestrings.expect