ssl/statem/statem_srvr.c:2175: 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:2127:23: Call
2125.           }
2126.   
2127.           rsa_decrypt = OPENSSL_malloc(RSA_size(rsa));
                              ^
2128.           if (rsa_decrypt == NULL) {
2129.               al = SSL_AD_INTERNAL_ERROR;

crypto/mem.c:76:16: Unknown value from: non-const function
  74.   
  75.       if (malloc_impl != NULL && malloc_impl != CRYPTO_malloc)
  76.           return malloc_impl(num, file, line);
                       ^
  77.   
  78.       if (num <= 0)

ssl/statem/statem_srvr.c:2175:30: Call
2173.                          constant_time_eq_int_8(rsa_decrypt[1], 2);
2174.           for (j = 2; j < padding_len - 1; j++) {
2175.               decrypt_good &= ~constant_time_is_zero_8(rsa_decrypt[j]);
                                     ^
2176.           }
2177.           decrypt_good &= constant_time_is_zero_8(rsa_decrypt[padding_len - 1]);

include/internal/constant_time_locl.h:134:1: Parameter `a`
  132.   }
  133.   
  134. > static ossl_inline unsigned char constant_time_is_zero_8(unsigned int a)
  135.   {
  136.       return (unsigned char)(constant_time_is_zero(a));

include/internal/constant_time_locl.h:136:28: Call
  134.   static ossl_inline unsigned char constant_time_is_zero_8(unsigned int a)
  135.   {
  136.       return (unsigned char)(constant_time_is_zero(a));
                                    ^
  137.   }
  138.   

include/internal/constant_time_locl.h:129:1: <LHS trace>
127.   }
128.   
129. > static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
130.   {
131.       return constant_time_msb(~a & (a - 1));

include/internal/constant_time_locl.h:129:1: Parameter `a`
    127.   }
    128.   
    129. > static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
    130.   {
    131.       return constant_time_msb(~a & (a - 1));

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