ssl/statem/statem_srvr.c:2705: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned32 by call to `constant_time_is_zero_8`.
Showing all 9 steps of the trace


ssl/statem/statem_srvr.c:2674:9: Call
2672.        */
2673.   
2674.       if (ssl_randbytes(s, rand_premaster_secret, sizeof(rand_premaster_secret)) <= 0)
                ^
2675.           goto err;
2676.   

ssl/ssl_lib.c:5100:16: Call
  5098.   {
  5099.       if (s->drbg != NULL)
  5100.           return RAND_DRBG_generate(s->drbg, rnd, size, 0, NULL, 0);
                         ^
  5101.       return RAND_bytes(rnd, (int)size);
  5102.   }

crypto/rand/drbg_lib.c:248:1: Parameter `drbg->ctr.V[*]`
    246.    * sent in |adin| and |adinlen|.
    247.    */
    248. > int RAND_DRBG_generate(RAND_DRBG *drbg, unsigned char *out, size_t outlen,
    249.                          int prediction_resistance,
    250.                          const unsigned char *adin, size_t adinlen)

ssl/statem/statem_srvr.c:2705:26: Call
2703.           constant_time_eq_int_8(rsa_decrypt[1], 2);
2704.       for (j = 2; j < padding_len - 1; j++) {
2705.           decrypt_good &= ~constant_time_is_zero_8(rsa_decrypt[j]);
                                 ^
2706.       }
2707.       decrypt_good &= constant_time_is_zero_8(rsa_decrypt[padding_len - 1]);

include/internal/constant_time_locl.h:167:1: Parameter `a`
  165.   }
  166.   
  167. > static ossl_inline unsigned char constant_time_is_zero_8(unsigned int a)
  168.   {
  169.       return (unsigned char)(constant_time_is_zero(a));

include/internal/constant_time_locl.h:169:28: Call
  167.   static ossl_inline unsigned char constant_time_is_zero_8(unsigned int a)
  168.   {
  169.       return (unsigned char)(constant_time_is_zero(a));
                                    ^
  170.   }
  171.   

include/internal/constant_time_locl.h:157:1: <LHS trace>
155.   }
156.   
157. > static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
158.   {
159.       return constant_time_msb(~a & (a - 1));

include/internal/constant_time_locl.h:157:1: Parameter `a`
    155.   }
    156.   
    157. > static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
    158.   {
    159.       return constant_time_msb(~a & (a - 1));

include/internal/constant_time_locl.h:159:12: Binary operation: ([0, +oo] - 1):unsigned32 by call to `constant_time_is_zero_8` 
    157.   static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
    158.   {
    159.       return constant_time_msb(~a & (a - 1));
                      ^
    160.   }
    161.   
