diff options
| author | jbj <devnull@localhost> | 2002-06-19 18:52:46 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2002-06-19 18:52:46 +0000 |
| commit | 49658e0fffae92961788e6067fa37d8065a0b695 (patch) | |
| tree | 26eefd5534995113b766fb81631ac1f206efe982 /lib/misc.c | |
| parent | 448e44da6c79f1eb6789d6922e05a4b15e66c96a (diff) | |
| download | rpm-49658e0fffae92961788e6067fa37d8065a0b695.tar.gz rpm-49658e0fffae92961788e6067fa37d8065a0b695.tar.bz2 rpm-49658e0fffae92961788e6067fa37d8065a0b695.zip | |
Annotate incondefs in source code.
CVS patchset: 5509
CVS date: 2002/06/19 18:52:46
Diffstat (limited to 'lib/misc.c')
| -rw-r--r-- | lib/misc.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/misc.c b/lib/misc.c index b674d2791..b53972631 100644 --- a/lib/misc.c +++ b/lib/misc.c @@ -21,6 +21,7 @@ const char * RPMVERSION = VERSION; /*@access Header@*/ /* XXX compared with NULL */ /*@access FD_t@*/ /* XXX compared with NULL */ +/*@-bounds@*/ char ** splitString(const char * str, int length, char sep) { const char * source; @@ -56,6 +57,7 @@ char ** splitString(const char * str, int length, char sep) return list; } +/*@=bounds@*/ void freeSplitString(char ** list) { |