ssl/statem/statem_srvr.c:3062: 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:3009:19: Call
3007.       }
3008.   
3009.       rsa_decrypt = OPENSSL_malloc(RSA_size(rsa));
                          ^
3010.       if (rsa_decrypt == NULL) {
3011.           SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_CKE_RSA,

providers/fips/fipsprov.c:473:12: Unknown value from: non-const function
  471.   void *CRYPTO_malloc(size_t num, const char *file, int line)
  472.   {
  473.       return c_CRYPTO_malloc(num, file, line);
                    ^
  474.   }
  475.   

ssl/statem/statem_srvr.c:3062:26: Call
3060.           constant_time_eq_int_8(rsa_decrypt[1], 2);
3061.       for (j = 2; j < padding_len - 1; j++) {
3062.           decrypt_good &= ~constant_time_is_zero_8(rsa_decrypt[j]);
                                 ^
3063.       }
3064.       decrypt_good &= constant_time_is_zero_8(rsa_decrypt[padding_len - 1]);

include/internal/constant_time_locl.h:174:1: Parameter `a`
  172.   }
  173.   
  174. > static ossl_inline unsigned char constant_time_is_zero_8(unsigned int a)
  175.   {
  176.       return (unsigned char)constant_time_is_zero(a);

include/internal/constant_time_locl.h:176:27: Call
  174.   static ossl_inline unsigned char constant_time_is_zero_8(unsigned int a)
  175.   {
  176.       return (unsigned char)constant_time_is_zero(a);
                                   ^
  177.   }
  178.   

include/internal/constant_time_locl.h:164:1: <LHS trace>
162.   }
163.   
164. > static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
165.   {
166.       return constant_time_msb(~a & (a - 1));

include/internal/constant_time_locl.h:164:1: Parameter `a`
    162.   }
    163.   
    164. > static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
    165.   {
    166.       return constant_time_msb(~a & (a - 1));

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