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


ssl/statem/statem_srvr.c:2849:19: Call
2847.       }
2848.   
2849.       rsa_decrypt = OPENSSL_malloc(RSA_size(rsa));
                          ^
2850.       if (rsa_decrypt == NULL) {
2851.           SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_CKE_RSA,

crypto/mem.c:195:16: Unknown value from: non-const function
  193.       INCREMENT(malloc_count);
  194.       if (malloc_impl != NULL && malloc_impl != CRYPTO_malloc)
  195.           return malloc_impl(num, file, line);
                        ^
  196.   
  197.       if (num == 0)

ssl/statem/statem_srvr.c:2902:26: Call
2900.           constant_time_eq_int_8(rsa_decrypt[1], 2);
2901.       for (j = 2; j < padding_len - 1; j++) {
2902.           decrypt_good &= ~constant_time_is_zero_8(rsa_decrypt[j]);
                                 ^
2903.       }
2904.       decrypt_good &= constant_time_is_zero_8(rsa_decrypt[padding_len - 1]);

include/internal/constant_time_locl.h:162:1: Parameter `a`
  160.   }
  161.   
  162. > static ossl_inline unsigned char constant_time_is_zero_8(unsigned int a)
  163.   {
  164.       return (unsigned char)constant_time_is_zero(a);

include/internal/constant_time_locl.h:164:27: Call
  162.   static ossl_inline unsigned char constant_time_is_zero_8(unsigned int a)
  163.   {
  164.       return (unsigned char)constant_time_is_zero(a);
                                   ^
  165.   }
  166.   

include/internal/constant_time_locl.h:152:1: <LHS trace>
150.   }
151.   
152. > static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
153.   {
154.       return constant_time_msb(~a & (a - 1));

include/internal/constant_time_locl.h:152:1: Parameter `a`
    150.   }
    151.   
    152. > static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
    153.   {
    154.       return constant_time_msb(~a & (a - 1));

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