diff options
| author | jbj <devnull@localhost> | 2002-12-28 23:17:06 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2002-12-28 23:17:06 +0000 |
| commit | d7a0ee2ca85c99ee49cd2110c027e0f09ef1795e (patch) | |
| tree | 78e8995e674776783a49e37fb0ac102b5a761fd1 /build/rpmfc.h | |
| parent | e65f6df21678082a8adc74d6eb30933fcaa70687 (diff) | |
| download | librpm-tizen-d7a0ee2ca85c99ee49cd2110c027e0f09ef1795e.tar.gz librpm-tizen-d7a0ee2ca85c99ee49cd2110c027e0f09ef1795e.tar.bz2 librpm-tizen-d7a0ee2ca85c99ee49cd2110c027e0f09ef1795e.zip | |
splint fiddles.
CVS patchset: 5980
CVS date: 2002/12/28 23:17:06
Diffstat (limited to 'build/rpmfc.h')
| -rw-r--r-- | build/rpmfc.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/build/rpmfc.h b/build/rpmfc.h index 62145fcdc..43e8bc7e7 100644 --- a/build/rpmfc.h +++ b/build/rpmfc.h @@ -109,7 +109,8 @@ int rpmfcExec(ARGV_t av, StringBuf sb_stdin, /*@out@*/ StringBuf * sb_stdoutp, int failnonzero) /*@globals rpmGlobalMacroContext, fileSystem, internalState @*/ /*@modifies *sb_stdoutp, rpmGlobalMacroContext, - fileSystem, internalState @*/; + fileSystem, internalState @*/ + /*@requires maxSet(sb_stdoutp) >= 0 @*/; /** * Return file color given file(1) string. |