diff options
| author | jbj <devnull@localhost> | 2001-10-15 17:53:34 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2001-10-15 17:53:34 +0000 |
| commit | 72471f2e54686202a9862a3fd3bd6d0135d81d2a (patch) | |
| tree | 3625a73d9ef73f4f29df80fe98fb6133041cb4bc /beecrypt/entropy.c | |
| parent | 3f462f318fd2f602fddb1a95e5d652e67aafa49e (diff) | |
| download | librpm-tizen-72471f2e54686202a9862a3fd3bd6d0135d81d2a.tar.gz librpm-tizen-72471f2e54686202a9862a3fd3bd6d0135d81d2a.tar.bz2 librpm-tizen-72471f2e54686202a9862a3fd3bd6d0135d81d2a.zip | |
Explicit branchstate annotations.
CVS patchset: 5113
CVS date: 2001/10/15 17:53:34
Diffstat (limited to 'beecrypt/entropy.c')
| -rw-r--r-- | beecrypt/entropy.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/beecrypt/entropy.c b/beecrypt/entropy.c index 3b1c52ae5..2e07a0f48 100644 --- a/beecrypt/entropy.c +++ b/beecrypt/entropy.c @@ -416,7 +416,7 @@ static int entropy_noise_gather(int fd, int samplesize, int channels, int swap, return -1; } - /*@-infloops -infloopsuncon@*/ + /*@-infloops -infloopsuncon -branchstate @*/ while (randombits) { #if WIN32 @@ -581,7 +581,7 @@ static int entropy_noise_gather(int fd, int samplesize, int channels, int swap, /*@notreached@*/ /*@switchbreak@*/ break; } } - /*@=infloops =infloopsuncon@*/ + /*@=infloops =infloopsuncon =branchstate @*/ #if WIN32 waveInStop(wavein); @@ -1014,6 +1014,7 @@ static int entropy_randombits(int fd, int timeout, uint32* data, int size) my_aiocb.aio_sigevent.sigev_notify = SIGEV_NONE; #endif + /*@-branchstate@*/ while (bytesize) { #if ENABLE_AIO @@ -1089,6 +1090,7 @@ static int entropy_randombits(int fd, int timeout, uint32* data, int size) bytedata += rc; bytesize -= rc; } + /*@=branchstate@*/ return 0; } #endif |