Propagate splint-3.0.1.7 close(2) internalState annotation throughout.
authorjbj <devnull@localhost>
Mon, 8 Jul 2002 14:21:26 +0000 (14:21 +0000)
committerjbj <devnull@localhost>
Mon, 8 Jul 2002 14:21:26 +0000 (14:21 +0000)
commit241fad12870c58bd76468267f2816d409dbc7e57
tree74806f5c8a6c458ba922b6df8550dfed0d3918c3
parenta273ea6a095daa16e663d96e474c75115c3c2bdc
Propagate splint-3.0.1.7 close(2) internalState annotation throughout.

CVS patchset: 5542
CVS date: 2002/07/08 14:21:26
46 files changed:
beecrypt/beecrypt.c
beecrypt/blockpad.c
beecrypt/blockpad.h
beecrypt/endianness.c
build.c
build/build.c
build/files.c
build/myftw.c
build/myftw.h
build/pack.c
build/parsePreamble.c
build/parsePrep.c
build/rpmbuild.h
build/rpmspec.h
lib/cpio.h
lib/depends.c
lib/fsm.c
lib/fsm.h
lib/misc.c
lib/misc.h
lib/psm.c
lib/rpmchecksig.c
lib/rpmcli.h
lib/rpmds.c
lib/rpmts.c
lib/rpmts.h
lib/signature.c
lib/signature.h
lib/transaction.c
popt/popt.c
popt/popt.h
popt/test1.c
rpmdb/fprint.c
rpmdb/header.c
rpmdb/legacy.c
rpmdb/legacy.h
rpmdb/rpmdb.c
rpmio/digest.c
rpmio/rpmio.c
rpmio/rpmio.h
rpmio/rpmio_internal.h
rpmio/rpmmacro.h
rpmio/rpmpgp.h
rpmio/rpmrpc.c
rpmio/rpmurl.h
rpmio/url.c