]> andersk Git - splint.git/commit - test/tests2.4.expect
Added some new test cases also merged with Dave Evans's tests.
authordlaroche <dlaroche>
Tue, 3 Jul 2001 18:49:13 +0000 (18:49 +0000)
committerdlaroche <dlaroche>
Tue, 3 Jul 2001 18:49:13 +0000 (18:49 +0000)
commit80ee600a548f705b2875267c01bcc63e95203578
tree1c067651dc5d0f0b72a8ca9add0d994829bd789c
parent28bf4b0bfd405a2057d865910f8589c54a40f17b
Added some new test cases also merged with Dave Evans's tests.
232 files changed:
test/Makefile
test/alias.expect
test/alias3.lcl
test/alias3.lcs
test/alias3.lh
test/ansireserved.c
test/ansireserved.expect
test/ansireserved.out
test/ansireserved2.c [new file with mode: 0644]
test/bufferTest.outd [deleted file]
test/conditions/Makefile [new file with mode: 0644]
test/conditions/miroslaw.c [new file with mode: 0644]
test/conditions/releases.c [new file with mode: 0644]
test/db1.expect
test/db1.out
test/db1/Makefile
test/db1/clean [moved from test/nullterminatedtest.out with 100% similarity]
test/db1/erc.c
test/db1/tidy [new file with mode: 0644]
test/db2.expect
test/db2.old-expect [new file with mode: 0644]
test/db2/Makefile
test/db2/clean [new file with mode: 0644]
test/db2/erc.c
test/db2/tidy [new file with mode: 0644]
test/db3/Makefile
test/db3/clean [new file with mode: 0644]
test/db3/erc.h
test/db3/tidy [new file with mode: 0644]
test/deadparam.c [new file with mode: 0644]
test/deadparam.expect [new file with mode: 0644]
test/ensures.c [new file with mode: 0644]
test/external.expect
test/external.out
test/fields.expect
test/fields.out
test/fileio/NOTES [new file with mode: 0644]
test/fileio/eof.mts [new file with mode: 0644]
test/fileio/file.mts [new file with mode: 0644]
test/fileio/file.xh [new file with mode: 0644]
test/fileio/filerw.c [new file with mode: 0644]
test/fileio/filerw.mts [new file with mode: 0644]
test/fileio/filerw.xh [new file with mode: 0644]
test/flags.expect
test/flags.out
test/forbody.c [new file with mode: 0644]
test/forbody.expect [new file with mode: 0644]
test/format.c [new file with mode: 0644]
test/format.expect [new file with mode: 0644]
test/freearray.c [new file with mode: 0644]
test/freearray.expect [new file with mode: 0644]
test/globalbufferannotation/globalvariable.c
test/globals2.c [new file with mode: 0644]
test/help.out
test/impabstract.c
test/impabstract.expect
test/impabstract.lcl
test/impabstract.out
test/init.expect
test/init.out
test/innerfree.c [new file with mode: 0644]
test/iter.expect
test/iter.out
test/libs.expect
test/libs.out
test/linked.c [new file with mode: 0644]
test/linked.expect [new file with mode: 0644]
test/linked2.c [new file with mode: 0644]
test/linked3.c [new file with mode: 0644]
test/linked4.c [new file with mode: 0644]
test/linked5.c [new file with mode: 0644]
test/linked6.c [new file with mode: 0644]
test/lintcomments.expect
test/lintcomments.out
test/macros.out
test/maxset/maxsetannotations.c
test/metastate.expect [new file with mode: 0644]
test/metastate/Makefile [new file with mode: 0644]
test/metastate/Makefile~ [new file with mode: 0644]
test/metastate/file.c [new file with mode: 0644]
test/metastate/file.mts [new file with mode: 0644]
test/metastate/file.xh [new file with mode: 0644]
test/metastate/file1.c [new file with mode: 0644]
test/metastate/file2.c [new file with mode: 0644]
test/metastate/file3.c [new file with mode: 0644]
test/metastate/file4.c [new file with mode: 0644]
test/metastate/file5.c [new file with mode: 0644]
test/metastate/file6.c [new file with mode: 0644]
test/metastate/file7.c [new file with mode: 0644]
test/metastate/filebad.c [new file with mode: 0644]
test/metastate/global.c [new file with mode: 0644]
test/metastate/global.h [new file with mode: 0644]
test/metastate/nullbranch.c [new file with mode: 0644]
test/metastate/nullbranch2.c [new file with mode: 0644]
test/metastate/nullret.c [new file with mode: 0644]
test/metastate/nullterminated.mts [new file with mode: 0644]
test/metastate/osd.c [new file with mode: 0644]
test/metastate/sockets.c [new file with mode: 0644]
test/metastate/sockets.mts [new file with mode: 0644]
test/metastate/sockets2.c [new file with mode: 0644]
test/metastate/struct.c [new file with mode: 0644]
test/metastate/tainted-bad.mts [new file with mode: 0644]
test/metastate/tainted.c [new file with mode: 0644]
test/metastate/tainted.mts [new file with mode: 0644]
test/metastate/tainted.xh [new file with mode: 0644]
test/metastate/tainted2.c [new file with mode: 0644]
test/metastate/tainted3.c [new file with mode: 0644]
test/metastate/tainted4.c [new file with mode: 0644]
test/metastate/tainted5.c [new file with mode: 0644]
test/metastate/taintedx.c [new file with mode: 0644]
test/metastate/test.c [new file with mode: 0644]
test/metastate/voidptr.c [new file with mode: 0644]
test/moduncon.expect
test/moduncon.out
test/moreBufferTests.expect [new file with mode: 0644]
test/moreBufferTests/strrchr.c [new file with mode: 0644]
test/moreBufferTests/unrecogCall.c [new file with mode: 0644]
test/mparen.c [new file with mode: 0644]
test/null.expect
test/null.out
test/null6.lcd
test/nullassign.c [new file with mode: 0644]
test/nullret.c [new file with mode: 0644]
test/observer.c
test/outglob.c
test/outparam.expect
test/outparam.out
test/refcounts.expect
test/refcounts.out
test/repexpose.expect
test/repexpose.h
test/repexpose.out
test/returned.c [new file with mode: 0644]
test/returned.expect [new file with mode: 0644]
test/sharing.expect
test/sharing.out
test/sharing1.c
test/simplebufferConstraintTests/m.c
test/simplebufferConstraintTests/sizeof.c
test/specclauses.expect
test/specclauses.out
test/specclauses6.c [new file with mode: 0644]
test/special.expect
test/special.out
test/suppressfile/test.c [new file with mode: 0644]
test/suppressfile/test.h [new file with mode: 0644]
test/tclauses/globals.c [new file with mode: 0644]
test/tclauses/gt.c [new file with mode: 0644]
test/tclauses/modifies.c [new file with mode: 0644]
test/tclauses/struct.c [new file with mode: 0644]
test/tclauses/undef.c [new file with mode: 0644]
test/temp/Call: [new file with mode: 0644]
test/temp/alias3.c [new file with mode: 0644]
test/temp/alias3.h [new file with mode: 0644]
test/temp/alias3.lcl [new file with mode: 0644]
test/temp/alias3.lcs [new file with mode: 0644]
test/temp/alias3.lh [new file with mode: 0644]
test/temp/bool.h [new file with mode: 0644]
test/temp/case.c [new file with mode: 0644]
test/temp/cases.c [new file with mode: 0644]
test/temp/csyntax16.c [new file with mode: 0644]
test/temp/employee.c [new file with mode: 0644]
test/temp/employee.lcl [new file with mode: 0644]
test/temp/employee.lcs [new file with mode: 0644]
test/temp/employee.lh [new file with mode: 0644]
test/temp/enumadd.c [new file with mode: 0644]
test/temp/freearray.c [new file with mode: 0644]
test/temp/freearray.expect [new file with mode: 0644]
test/temp/gethostbyname.c [new file with mode: 0644]
test/temp/malloc [new file with mode: 0644]
test/temp/names.c [new file with mode: 0644]
test/temp/onlyret.c [new file with mode: 0644]
test/temp/outglob.c [new file with mode: 0644]
test/temp/outglob.expect [new file with mode: 0644]
test/temp/outglob.lcl [new file with mode: 0644]
test/temp/outglob.lcs [new file with mode: 0644]
test/temp/pmalloc.c [new file with mode: 0644]
test/temp/returned.c [new file with mode: 0644]
test/temp/stack.c [new file with mode: 0644]
test/temp/test.c [new file with mode: 0644]
test/temp/testfile [new file with mode: 0644]
test/temp/ud2.c [new file with mode: 0644]
test/temp/union.c [new file with mode: 0644]
test/temp/unrecog.c [new file with mode: 0644]
test/temp/void.c [new file with mode: 0644]
test/temp/yeates [new file with mode: 0644]
test/temp/yeates.c [new file with mode: 0644]
test/tests2.2.expect
test/tests2.2.out
test/tests2.2/Makefile [new file with mode: 0644]
test/tests2.4.expect
test/tests2.4.out
test/tests2.4/Makefile [new file with mode: 0644]
test/tests2.4/array.c [new file with mode: 0644]
test/tests2.4/chin.c [new file with mode: 0644]
test/tests2.4/flagequal.c [new file with mode: 0644]
test/tests2.4/forward.c [new file with mode: 0644]
test/tests2.4/forward.h [new file with mode: 0644]
test/tests2.4/hash.c [new file with mode: 0644]
test/tests2.4/hash.h [new file with mode: 0644]
test/tests2.4/main.c [new file with mode: 0644]
test/tests2.4/ric.c [new file with mode: 0644]
test/tests2.4/syncomment.c [new file with mode: 0644]
test/tests2.4/timecard.c [new file with mode: 0644]
test/tests2.4/timecard.h [new file with mode: 0644]
test/tests2.4/toothman.c [new file with mode: 0644]
test/tests2.5.expect
test/tests2.5.out
test/tests2.5/Makefile
test/tests2.5/immutable.c [new file with mode: 0644]
test/tests2.5/immutable.h [new file with mode: 0644]
test/tests2.5/impabsmodule.c [new file with mode: 0644]
test/tests2.5/impabsmodule.h [new file with mode: 0644]
test/tests2.5/literals.c [new file with mode: 0644]
test/tests2.5/newlint.lcd
test/tests2.5/sort.c [new file with mode: 0644]
test/tests2.5/testimmutable.c [new file with mode: 0644]
test/ud.expect
test/ud.out
test/ullint.c [new file with mode: 0644]
test/ullint.expect [new file with mode: 0644]
test/union.pp [new file with mode: 0644]
test/unused.expect
test/unused.out
test/void.c [new file with mode: 0644]
test/void.expect [new file with mode: 0644]
test/warnuse.old-expect [new file with mode: 0644]
test/warnuse/Makefile [new file with mode: 0644]
test/warnuse/warnflags.c [new file with mode: 0644]
test/warnuse/warngets.c [new file with mode: 0644]
test/warnuse/warnuse.c [new file with mode: 0644]
test/warnuse/warnuse.lcd [new file with mode: 0644]
This page took 0.083181 seconds and 5 git commands to generate.