diff options
Diffstat (limited to 'beecrypt/entropy.c')
-rw-r--r-- | beecrypt/entropy.c | 34 |
1 files changed, 18 insertions, 16 deletions
diff --git a/beecrypt/entropy.c b/beecrypt/entropy.c index 2e07a0f48..04689641f 100644 --- a/beecrypt/entropy.c +++ b/beecrypt/entropy.c @@ -1,3 +1,4 @@ +/*@-sizeoftype@*/ /** \ingroup ES_m * \file entropy.c * @@ -1345,10 +1346,10 @@ int entropy_dev_dsp(uint32 *data, int size) if (mutex_lock(&dev_dsp_lock)) return -1; # elif HAVE_PTHREAD_H - /*@-moduncon@*/ + /*@-moduncon -noeffectuncon @*/ /* FIX: annotate */ if (pthread_mutex_lock(&dev_dsp_lock)) return -1; - /*@=moduncon@*/ + /*@=moduncon =noeffectuncon @*/ # endif #endif @@ -1456,9 +1457,9 @@ dev_dsp_end: # if HAVE_SYNCH_H mutex_unlock(&dev_dsp_lock); # elif HAVE_PTHREAD_H - /*@-moduncon@*/ + /*@-moduncon -noeffectuncon @*/ /* FIX: annotate */ (void) pthread_mutex_unlock(&dev_dsp_lock); - /*@=moduncon@*/ + /*@=moduncon =noeffectuncon @*/ # endif #endif @@ -1480,10 +1481,10 @@ int entropy_dev_random(uint32* data, int size) if (mutex_lock(&dev_random_lock)) return -1; # elif HAVE_PTHREAD_H - /*@-moduncon@*/ + /*@-moduncon -noeffectuncon @*/ /* FIX: annotate */ if (pthread_mutex_lock(&dev_random_lock)) return -1; - /*@=moduncon@*/ + /*@=moduncon =noeffectuncon @*/ # endif #endif @@ -1505,9 +1506,9 @@ dev_random_end: # if HAVE_SYNCH_H mutex_unlock(&dev_random_lock); # elif HAVE_PTHREAD_H - /*@-moduncon@*/ + /*@-moduncon -noeffectuncon @*/ /* FIX: annotate */ (void) pthread_mutex_unlock(&dev_random_lock); - /*@=moduncon@*/ + /*@=moduncon =noeffectuncon @*/ # endif #endif return rc; @@ -1528,10 +1529,10 @@ int entropy_dev_urandom(uint32* data, int size) if (mutex_lock(&dev_urandom_lock)) return -1; # elif HAVE_PTHREAD_H - /*@-moduncon@*/ + /*@-moduncon -noeffectuncon @*/ /* FIX: annotate */ if (pthread_mutex_lock(&dev_urandom_lock)) return -1; - /*@=moduncon@*/ + /*@=moduncon =noeffectuncon @*/ # endif #endif @@ -1553,9 +1554,9 @@ dev_urandom_end: # if HAVE_SYNCH_H mutex_unlock(&dev_urandom_lock); # elif HAVE_PTHREAD_H - /*@-moduncon@*/ + /*@-moduncon -noeffectuncon @*/ /* FIX: annotate */ (void) pthread_mutex_unlock(&dev_urandom_lock); - /*@=moduncon@*/ + /*@=moduncon =noeffectuncon @*/ # endif #endif return rc; @@ -1574,10 +1575,10 @@ int entropy_dev_tty(uint32* data, int size) if (mutex_lock(&dev_tty_lock)) return -1; # elif HAVE_PTHREAD_H - /*@-moduncon@*/ + /*@-moduncon -noeffectuncon @*/ /* FIX: annotate */ if (pthread_mutex_lock(&dev_tty_lock)) return -1; - /*@=moduncon@*/ + /*@=moduncon =noeffectuncon @*/ # endif #endif @@ -1598,9 +1599,9 @@ dev_tty_end: # if HAVE_SYNCH_H mutex_unlock(&dev_tty_lock); # elif HAVE_PTHREAD_H - /*@-moduncon@*/ + /*@-moduncon -noeffectuncon @*/ /* FIX: annotate */ (void) pthread_mutex_unlock(&dev_tty_lock); - /*@=moduncon@*/ + /*@=moduncon =noeffectuncon @*/ # endif #endif @@ -1609,3 +1610,4 @@ dev_tty_end: #endif #endif +/*@=sizeoftype@*/ |