diff options
| author | jbj <devnull@localhost> | 2002-07-02 23:54:35 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2002-07-02 23:54:35 +0000 |
| commit | e5fb770e7d9aac53a513965c0f2bcf360934794b (patch) | |
| tree | d8d581ec8f694a4811172b401e4dcda68898954a /lib/poptQV.c | |
| parent | 77076c7c8d83f8b783634c7328b132b938389987 (diff) | |
| download | librpm-tizen-e5fb770e7d9aac53a513965c0f2bcf360934794b.tar.gz librpm-tizen-e5fb770e7d9aac53a513965c0f2bcf360934794b.tar.bz2 librpm-tizen-e5fb770e7d9aac53a513965c0f2bcf360934794b.zip | |
Add boundsread annotations throughout, enable +bounds checking.
Start narrowing the scope of bounds annotations by adding more annotations.
CVS patchset: 5537
CVS date: 2002/07/02 23:54:35
Diffstat (limited to 'lib/poptQV.c')
| -rw-r--r-- | lib/poptQV.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/poptQV.c b/lib/poptQV.c index e0cb20d74..3b5e25fea 100644 --- a/lib/poptQV.c +++ b/lib/poptQV.c @@ -1,4 +1,3 @@ -/*@-bounds@*/ /** \ingroup rpmcli * \file lib/poptQV.c * Popt tables for query/verify modes. @@ -161,7 +160,9 @@ static void queryArgCallback(/*@unused@*/poptContext con, if (qf) { int len = strlen(qf) + strlen(arg) + 1; qf = xrealloc(qf, len); +/*@-boundswrite@*/ strcat(qf, arg); +/*@=boundswrite@*/ } else { qf = xmalloc(strlen(arg) + 1); strcpy(qf, arg); @@ -313,4 +314,3 @@ struct poptOption rpmSignPoptTable[] = { POPT_TABLEEND }; -/*@=bounds@*/ |