diff options
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@*/ |