diff options
| author | jbj <devnull@localhost> | 2002-07-08 14:21:26 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2002-07-08 14:21:26 +0000 |
| commit | 241fad12870c58bd76468267f2816d409dbc7e57 (patch) | |
| tree | 74806f5c8a6c458ba922b6df8550dfed0d3918c3 /build/rpmspec.h | |
| parent | a273ea6a095daa16e663d96e474c75115c3c2bdc (diff) | |
| download | rpm-241fad12870c58bd76468267f2816d409dbc7e57.tar.gz rpm-241fad12870c58bd76468267f2816d409dbc7e57.tar.bz2 rpm-241fad12870c58bd76468267f2816d409dbc7e57.zip | |
Propagate splint-3.0.1.7 close(2) internalState annotation throughout.
CVS patchset: 5542
CVS date: 2002/07/08 14:21:26
Diffstat (limited to 'build/rpmspec.h')
| -rw-r--r-- | build/rpmspec.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/build/rpmspec.h b/build/rpmspec.h index fa2877562..9145a64ba 100644 --- a/build/rpmspec.h +++ b/build/rpmspec.h @@ -192,8 +192,8 @@ extern "C" { * @return NULL always */ /*@null@*/ Spec freeSpec(/*@only@*/ /*@null@*/ Spec spec) - /*@globals fileSystem @*/ - /*@modifies spec, fileSystem @*/; + /*@globals fileSystem, internalState @*/ + /*@modifies spec, fileSystem, internalState @*/; /** \ingroup rpmbuild * @param spec spec file control structure @@ -201,8 +201,8 @@ extern "C" { */ /*@-declundef@*/ extern /*@null@*/ Spec (*freeSpecVec) (Spec spec) /* XXX FIXME */ - /*@globals fileSystem @*/ - /*@modifies spec, fileSystem @*/; + /*@globals fileSystem, internalState @*/ + /*@modifies spec, fileSystem, internalState @*/; /*@=declundef@*/ /** \ingroup rpmbuild |