diff options
| author | jbj <devnull@localhost> | 2004-08-02 16:17:49 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2004-08-02 16:17:49 +0000 |
| commit | 90afeb87035da6b7603dd0360fae23b5f715b0bf (patch) | |
| tree | 2bbdd4653d15868b0994f0a84aa66fed48d4032f /beecrypt/mtprng.c | |
| parent | 21bd2977b7f2f6fb43fab81fade1777938eaed15 (diff) | |
| download | librpm-tizen-90afeb87035da6b7603dd0360fae23b5f715b0bf.tar.gz librpm-tizen-90afeb87035da6b7603dd0360fae23b5f715b0bf.tar.bz2 librpm-tizen-90afeb87035da6b7603dd0360fae23b5f715b0bf.zip | |
Annotate function args.
CVS patchset: 7379
CVS date: 2004/08/02 16:17:49
Diffstat (limited to 'beecrypt/mtprng.c')
| -rw-r--r-- | beecrypt/mtprng.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/beecrypt/mtprng.c b/beecrypt/mtprng.c index ed13a8d62..835214fce 100644 --- a/beecrypt/mtprng.c +++ b/beecrypt/mtprng.c @@ -49,7 +49,7 @@ const randomGenerator mtprng = { "Mersenne Twister", sizeof(mtprngParam), (randomGeneratorSetup) mtprngSetup, (randomGeneratorSeed) mtprngSeed, (randomGeneratorNext) mtprngNext, (randomGeneratorCleanup) mtprngCleanup }; static void mtprngReload(mtprngParam* mp) - /*@*/ + /*@modifies mp @*/ { register uint32_t *p0 = mp->state; register uint32_t *p2 = p0+2, *pM = p0+M, s0, s1; |