]> andersk Git - splint.git/commit - Makefile.am
Fixed state clauses. Added obvious loop exec checking.
authorevans1629 <evans1629>
Wed, 2 Jan 2002 09:12:44 +0000 (09:12 +0000)
committerevans1629 <evans1629>
Wed, 2 Jan 2002 09:12:44 +0000 (09:12 +0000)
commit3e3ec46998ea67d6742eb30afc16058c5537004e
treef239cec0e82511ee5802539ca6099b95bc5bdc78
parent5e211f69ddc6240f0db9af54a57134d237401d37
Fixed state clauses.  Added obvious loop exec checking.
61 files changed:
Makefile.am
config.h
lib/ansi.lcd
lib/ansistrict.lcd
lib/posix.lcd
lib/posixstrict.lcd
lib/unix.lcd
lib/unixstrict.lcd
src/Headers/cpphash.h
src/Headers/cpplib.h
src/Headers/exprNode.h
src/Headers/sRef.h
src/Headers/specialClauses.h [deleted file]
src/Headers/stateClause.h
src/Headers/uentry.h
src/Makefile.am
src/Makefile.in
src/bison.head
src/cgrammar.c.der
src/constraintGeneration.c
src/context.c
src/cpperror.c
src/cppexp.c
src/cpphash.c
src/cpplib.c
src/cppmain.c
src/exprNode.c
src/flags.def
src/flex.head
src/lclint.lcd
src/llgrammar.c.der
src/llmain.c
src/messageLog.c
src/mtgrammar.c
src/mtgrammar.c.der
src/mtgrammar.y
src/osd.c
src/sRef.c
src/signature.c.der
src/specialClauses.c [deleted file]
src/stateClause.c
src/stateClauseList.c
src/uentry.c
src/usymtab.c
test/Makefile.am
test/Makefile.in
test/db1.expect
test/db1/Makefile
test/db1/employee.h
test/db2/Makefile
test/db2/employee.h
test/db3/Makefile
test/db3/employee.h
test/help.expect
test/loopexec.c [new file with mode: 0644]
test/loopexec.expect [new file with mode: 0644]
test/null.expect
test/null1.c
test/postnotnull.c
test/tests2.5/hoof.c
test/warnuse/Makefile
This page took 0.702745 seconds and 5 git commands to generate.