diff options
| author | jbj <devnull@localhost> | 2002-06-22 18:51:56 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2002-06-22 18:51:56 +0000 |
| commit | 05cb73a7ee762065339393057d421613866e0418 (patch) | |
| tree | 533b7192c83e882aab90c337d4356735932de7f0 /popt/poptparse.c | |
| parent | ba41c1ccb13a7a27466470e501a0d4f30fddec40 (diff) | |
| download | librpm-tizen-05cb73a7ee762065339393057d421613866e0418.tar.gz librpm-tizen-05cb73a7ee762065339393057d421613866e0418.tar.bz2 librpm-tizen-05cb73a7ee762065339393057d421613866e0418.zip | |
Factor bounds checking annotations into source code.
CVS patchset: 5521
CVS date: 2002/06/22 18:51:56
Diffstat (limited to 'popt/poptparse.c')
| -rw-r--r-- | popt/poptparse.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/popt/poptparse.c b/popt/poptparse.c index 2ffb7dd29..20716014f 100644 --- a/popt/poptparse.c +++ b/popt/poptparse.c @@ -10,6 +10,7 @@ #define POPT_ARGV_ARRAY_GROW_DELTA 5 +/*@-boundswrite@*/ int poptDupArgv(int argc, const char **argv, int * argcPtr, const char *** argvPtr) { @@ -50,7 +51,9 @@ int poptDupArgv(int argc, const char **argv, *argcPtr = argc; return 0; } +/*@=boundswrite@*/ +/*@-bounds@*/ int poptParseArgvString(const char * s, int * argcPtr, const char *** argvPtr) { const char * src; @@ -116,3 +119,4 @@ exit: if (argv) free(argv); return rc; } +/*@=bounds@*/ |