]> andersk Git - splint.git/tree - test/
*** empty log message ***
[splint.git] / test /
drwxr-xr-x   ..
-rw-r--r-- 49574 Makefile
-rw-r--r-- 21560 Makefile-test.os2
-rw-r--r-- 44679 Makefile.am
-rw-r--r-- 49307 Makefile.in
-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-- 1126 abstptr.out
-rw-r--r-- 1212 abstract.expect
-rw-r--r-- 1212 abstract.out
-rw-r--r-- 1133 alias.c
-rw-r--r-- 6128 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-- 535 alttypes.out
-rw-r--r-- 283 ansireserved.c
-rw-r--r-- 4801 ansireserved.expect
-rw-r--r-- 4801 ansireserved.out
-rw-r--r-- 37 ansireserved2.c
-rw-r--r-- 314 argorder.c
-rw-r--r-- 4608 argorder.expect
-rw-r--r-- 4608 argorder.out
-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-- 1382 args.out
-rw-r--r-- 781 arrayinit.c
-rw-r--r-- 2328 arrayinit.expect
-rw-r--r-- 324 blocks.c
-rw-r--r-- 2812 blocks.expect
-rw-r--r-- 2812 blocks.out
-rw-r--r-- 637 bool.h
-rw-r--r-- 277 branchstate.c
-rw-r--r-- 207 branchstate.expect
-rw-r--r-- 730 break.c
-rw-r--r-- 1508 break.expect
-rw-r--r-- 1508 break.out
-rw-r--r-- 885 buffertest.expect
-rw-r--r-- 200 buffertest1.c
-rw-r--r-- 769 cases.c
-rw-r--r-- 1611 cases.expect
-rw-r--r-- 1611 cases.out
-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-- 2019 cast.out
-rw-r--r-- 464 cast2.c
-rw-r--r-- 129 charlit.c
-rw-r--r-- 1597 charlit.expect
-rw-r--r-- 1597 charlit.out
-rw-r--r-- 571 clauses.c
-rw-r--r-- 1663 clauses.expect
-rw-r--r-- 1663 clauses.out
-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-- 738 commentchar.out
-rw-r--r-- 1601 commentcmd.c
-rw-r--r-- 398 compdestroy.c
-rw-r--r-- 1832 compdestroy.expect
-rw-r--r-- 1832 compdestroy.out
drwxr-xr-x - conditions
-rw-r--r-- 361 constannot.c
-rw-r--r-- 647 constannot.expect
-rw-r--r-- 349 controldepth.c
-rw-r--r-- 608 controldepth.expect
-rw-r--r-- 608 controldepth.out
-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-- 2332 czechnames.out
-rw-r--r-- 487 czechoslovaknames.c
-rw-r--r-- 1198 czechoslovaknames.expect
-rw-r--r-- 35630 db1.expect
drwxr-xr-x - db1
-rw-r--r-- 6011 db2.expect
-rw-r--r-- 7505 db2.old-expect
drwxr-xr-x - db2
-rw-r--r-- 8162 db3.expect
drwxr-xr-x - db3
-rw-r--r-- 195 deadparam.c
-rw-r--r-- 438 deadparam.expect
-rw-r--r-- 127 decl.c
-rw-r--r-- 1159 decl.expect
-rw-r--r-- 1159 decl.out
-rw-r--r-- 80 decl2.c
-rw-r--r-- 72 decl2.h
-rw-r--r-- 10 decl2.lcl
-rw-r--r-- 305 dkf5kEnum.c
-rw-r--r-- 412 dkf5kRange.c
-rw-r--r-- 143 dkf5kSprintf.c
-rw-r--r-- 0 empty.lcl
-rw-r--r-- 776 ensures.c
-rw-r--r-- 1393 enum.c
-rw-r--r-- 3915 enum.expect
-rw-r--r-- 317 enum.lcl
-rw-r--r-- 3915 enum.out
-rw-r--r-- 76 exports.c
-rw-r--r-- 759 exports.expect
-rw-r--r-- 66 exports.h
-rw-r--r-- 759 exports.out
-rw-r--r-- 237 external.c
-rw-r--r-- 2683 external.expect
-rw-r--r-- 2683 external.out
-rw-r--r-- 1351 fields.c
-rw-r--r-- 1911 fields.expect
-rw-r--r-- 1911 fields.out
-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-- 1221 flags.expect
-rw-r--r-- 1221 flags.out
-rw-r--r-- 276 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-- 2707 funcpointer.c
-rw-r--r-- 1749 funcpointer.expect
-rw-r--r-- 1749 funcpointer.out
-rw-r--r-- 247 functionmacro.c
-rw-r--r-- 279 functionmacro.expect
-rw-r--r-- 232 glob.c
-rw-r--r-- 1106 glob.expect
-rw-r--r-- 168 glob.lcl
-rw-r--r-- 1106 glob.out
-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-- 2531 globals.out
-rw-r--r-- 149 globals2.c
-rw-r--r-- 49332 help.expect
-rw-r--r-- 244 impabstract.c
-rw-r--r-- 1717 impabstract.expect
-rw-r--r-- 37 impabstract.lcl
-rw-r--r-- 1717 impabstract.out
-rw-r--r-- 168 info.c
-rw-r--r-- 501 info.expect
-rw-r--r-- 400 init.c
-rw-r--r-- 2825 init.expect
-rw-r--r-- 2825 init.out
-rw-r--r-- 259 innerfree.c
-rw-r--r-- 234 inparam.c
-rw-r--r-- 481 inparam.expect
-rw-r--r-- 481 inparam.out
-rw-r--r-- 522 internal.c
-rw-r--r-- 3969 internal.expect
-rw-r--r-- 3969 internal.out
-rw-r--r-- 720 iter.c
-rw-r--r-- 2536 iter.expect
-rw-r--r-- 409 iter.h
-rw-r--r-- 222 iter.lcl
-rw-r--r-- 2536 iter.out
-rw-r--r-- 600 iter2.c
-rw-r--r-- 463 iter2.h
-rw-r--r-- 949 keep.c
-rw-r--r-- 786 keep.expect
-rw-r--r-- 1092 libs.c
-rw-r--r-- 10472 libs.expect
-rw-r--r-- 10472 libs.out
-rw-r--r-- 422 linked.c
-rw-r--r-- 3612 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-- 1454 lintcomments.out
-rw-r--r-- 682 list.c
-rw-r--r-- 447 list.expect
-rw-r--r-- 447 list.out
-rw-r--r-- 94 longconstants.c
-rw-r--r-- 189 longconstants.expect
-rw-r--r-- 356 loopexec.c
-rw-r--r-- 448 loopexec.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-- 1557 macrosef.out
-rw-r--r-- 7717 manual.expect
drwxr-xr-x - manual
-rw-r--r-- 559 maxset.expect
drwxr-xr-x - maxset
-rw-r--r-- 659 merge.c
-rw-r--r-- 432 merge.expect
-rw-r--r-- 432 merge.out
-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-- 5954 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-- 115 modclient.c
-rw-r--r-- 758 modifies.c
-rw-r--r-- 1107 modifies.expect
-rw-r--r-- 163 modifies.h
-rw-r--r-- 1107 modifies.out
-rw-r--r-- 400 modtest.c
-rw-r--r-- 2668 modtest.expect
-rw-r--r-- 335 modtest.lcl
-rw-r--r-- 2668 modtest.out
-rw-r--r-- 195 moduncon.c
-rw-r--r-- 3064 moduncon.expect
-rw-r--r-- 3064 moduncon.out
-rw-r--r-- 60 mongoincludes.c
-rw-r--r-- 4986 mongoincludes.expect
-rw-r--r-- 4986 mongoincludes.out
-rw-r--r-- 1933 moreBufferTests.expect
drwxr-xr-x - moreBufferTests
-rw-r--r-- 306 moreBufferTests2.expect
drwxr-xr-x - moreBufferTests2
-rw-r--r-- 60 mparen.c
-rw-r--r-- 204 mut.c
-rw-r--r-- 38 mut.h
-rw-r--r-- 90 mut.lcl
-rw-r--r-- 129 mut.lh.expect
-rw-r--r-- 419 mystrncat.c
-rw-r--r-- 1110 mystrncat.expect
-rw-r--r-- 1110 mystrncat.out
-rw-r--r-- 189 noeffect.c
-rw-r--r-- 635 noeffect.expect
-rw-r--r-- 635 noeffect.out
-rw-r--r-- 8339 null.expect
-rw-r--r-- 8339 null.out
-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-- 29783 null6.lcd
-rw-r--r-- 19 null6.lcl
-rw-r--r-- 65 nullassign.c
-rw-r--r-- 106 nullret.c
-rw-r--r-- 789 nullterminatedtest.expect
drwxr-xr-x - nullterminatedtest
-rw-r--r-- 919 observer.c
-rw-r--r-- 2762 observer.expect
-rw-r--r-- 50 observer.lcl
-rw-r--r-- 2762 observer.out
-rw-r--r-- 330 oldstyle.c
-rw-r--r-- 414 oldstyle.expect
-rw-r--r-- 71 oldstyle.lcl
-rw-r--r-- 414 oldstyle.out
-rw-r--r-- 897 outglob.c
-rw-r--r-- 930 outglob.expect
-rw-r--r-- 155 outglob.lcl
-rw-r--r-- 930 outglob.out
-rw-r--r-- 1165 outparam.c
-rw-r--r-- 912 outparam.expect
-rw-r--r-- 151 outparam.lcl
-rw-r--r-- 912 outparam.out
-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-- 3763 preds.expect
-rw-r--r-- 3763 preds.out
-rw-r--r-- 344 prefixes.c
-rw-r--r-- 7954 prefixes.expect
-rw-r--r-- 7954 prefixes.out
-rw-r--r-- 285 printflike.c
-rw-r--r-- 1526 printflike.expect
-rw-r--r-- 1526 printflike.out
-rw-r--r-- 37 rc.c
-rw-r--r-- 1207 rc.expect
-rw-r--r-- 1207 rc.out
-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-- 1083 refcounts.expect
-rw-r--r-- 1083 refcounts.out
-rw-r--r-- 294 release.c
-rw-r--r-- 182 release.expect
-rw-r--r-- 182 release.out
-rw-r--r-- 2180 repexpose.c
-rw-r--r-- 6846 repexpose.expect
-rw-r--r-- 222 repexpose.h
-rw-r--r-- 396 repexpose.lcl
-rw-r--r-- 536 repexpose.lh.expect
-rw-r--r-- 6846 repexpose.out
-rw-r--r-- 224 returned.c
-rw-r--r-- 185 returned.expect
-rw-r--r-- 7838 sharing.expect
-rw-r--r-- 7838 sharing.out
-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-- 1160 simplebufferConstraintTests.expect
drwxr-xr-x - simplebufferConstraintTests
-rw-r--r-- 108 sizeof.c
-rw-r--r-- 259 sizeof.expect
-rw-r--r-- 257 sizeoftest.expect
drwxr-xr-x - sizeoftest
-rw-r--r-- 588 slovaknames.c
-rw-r--r-- 3392 slovaknames.expect
-rw-r--r-- 916 specclauses.c
-rw-r--r-- 4358 specclauses.expect
-rw-r--r-- 4358 specclauses.out
-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-- 824 specclauses6.c
-rw-r--r-- 1670 special.c
-rw-r--r-- 5306 special.expect
-rw-r--r-- 73 special.lcl
-rw-r--r-- 5306 special.out
-rw-r--r-- 658 stack.c
-rw-r--r-- 591 stack.expect
-rw-r--r-- 591 stack.out
-rw-r--r-- 324 staticarray.c
-rw-r--r-- 480 staticarray.expect
-rw-r--r-- 480 staticarray.out
-rw-r--r-- 241 strchr.expect
-rw-r--r-- 241 strchr.out
drwxr-xr-x - strchr
-rw-r--r-- 267 strings.c
-rw-r--r-- 956 strings.expect
-rw-r--r-- 956 strings.out
-rw-r--r-- 806 structassign.c
-rw-r--r-- 861 structassign.expect
-rw-r--r-- 861 structassign.out
drwxr-xr-x - suppressfile
-rw-r--r-- 1037 switch.c
-rw-r--r-- 53 t1.c
-rw-r--r-- 5081 tainted.expect
drwxr-xr-x - tainted
drwxr-xr-x - tclauses
drwxr-xr-x - temp
-rw-r--r-- 82 test.c
-rw-r--r-- 3272 tests2.2.expect
-rw-r--r-- 3433 tests2.2.out
drwxr-xr-x - tests2.2
-rw-r--r-- 5256 tests2.2a.expect
drwxr-xr-x - tests2.2a
-rw-r--r-- 5000 tests2.3.expect
-rw-r--r-- 4198 tests2.4.expect
-rw-r--r-- 4198 tests2.4.out
drwxr-xr-x - tests2.4
-rw-r--r-- 1628 tests2.5.expect
-rw-r--r-- 1628 tests2.5.out
drwxr-xr-x - tests2.5
-rw-r--r-- 454 tq.h
-rw-r--r-- 100 tq.lcl
-rw-r--r-- 259 typequals.c
-rw-r--r-- 710 typequals.expect
-rw-r--r-- 710 typequals.out
-rw-r--r-- 783 ud.c
-rw-r--r-- 758 ud.expect
-rw-r--r-- 758 ud.out
-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-- 2801 ulstypes.out
-rw-r--r-- 1599 union.c
-rw-r--r-- 1112 union.expect
-rw-r--r-- 1112 union.out
-rw-r--r-- 1008 union.pp
-rw-r--r-- 234 unioninit.c
-rw-r--r-- 306 unioninit.expect
-rw-r--r-- 655 unreachable.c
-rw-r--r-- 986 unreachable.expect
-rw-r--r-- 986 unreachable.out
-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-- 1241 unused.out
-rw-r--r-- 744 utypes.c
-rw-r--r-- 891 utypes.expect
-rw-r--r-- 56 void.c
-rw-r--r-- 216 void.expect
-rw-r--r-- 808 warnuse.old-expect
drwxr-xr-x - warnuse
-rw-r--r-- 856 widestrings.c
-rw-r--r-- 351 widestrings.expect
This page took 0.283569 seconds and 6 git commands to generate.