From 90afeb87035da6b7603dd0360fae23b5f715b0bf Mon Sep 17 00:00:00 2001 From: jbj Date: Mon, 2 Aug 2004 16:17:49 +0000 Subject: Annotate function args. CVS patchset: 7379 CVS date: 2004/08/02 16:17:49 --- beecrypt/sha1.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'beecrypt/sha1.c') diff --git a/beecrypt/sha1.c b/beecrypt/sha1.c index a6d19be25..f682a69b2 100644 --- a/beecrypt/sha1.c +++ b/beecrypt/sha1.c @@ -237,7 +237,7 @@ int sha1Update(sha1Param* sp, const byte* data, size_t size) } static void sha1Finish(sha1Param* sp) - /*@*/ + /*@modifies sp @*/ { register byte *ptr = ((byte *) sp->data) + sp->offset++; -- cgit v1.2.3