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 /lib/rpmte.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 'lib/rpmte.c')
| -rw-r--r-- | lib/rpmte.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/rpmte.c b/lib/rpmte.c index 9c872d034..56402c017 100644 --- a/lib/rpmte.c +++ b/lib/rpmte.c @@ -22,7 +22,6 @@ int _rpmte_debug = 0; /*@access alKey @*/ -/*@access rpmte @*/ /*@access rpmtsi @*/ /*@access rpmts @*/ @@ -67,7 +66,9 @@ static void delTE(rpmte p) p->h = headerFree(p->h, "delTE"); +/*@-boundswrite@*/ memset(p, 0, sizeof(*p)); /* XXX trash and burn */ +/*@=boundswrite@*/ /*@-nullstate@*/ /* FIX: p->{NEVR,name} annotations */ return; /*@=nullstate@*/ |