crypto/rsa/rsa_ssl.c:120: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 10):unsigned32 by call to `constant_time_ge`.
Showing all 9 steps of the trace


crypto/rsa/rsa_ssl.c:68:5: Assignment
66.       unsigned char *em = NULL;
67.       unsigned int good, found_zero_byte, mask, threes_in_row;
68.       int zero_index = 0, msg_index, mlen = -1, err;
          ^
69.   
70.       if (tlen <= 0 || flen <= 0)

crypto/rsa/rsa_ssl.c:120:13: Call
118.        * also fails.
119.        */
120.       good &= constant_time_ge(zero_index, 2 + 8);
                   ^
121.       err = constant_time_select_int(mask | good, err,
122.                                      RSA_R_NULL_BEFORE_BLOCK_MISSING);

include/internal/constant_time_locl.h:142:1: Parameter `a`
  140.   }
  141.   
  142. > static ossl_inline unsigned int constant_time_ge(unsigned int a,
  143.                                                    unsigned int b)
  144.   {

include/internal/constant_time_locl.h:145:13: Call
  143.                                                    unsigned int b)
  144.   {
  145.       return ~constant_time_lt(a, b);
                     ^
  146.   }
  147.   

include/internal/constant_time_locl.h:120:1: <LHS trace>
118.   }
119.   
120. > static ossl_inline unsigned int constant_time_lt(unsigned int a,
121.                                                    unsigned int b)
122.   {

include/internal/constant_time_locl.h:120:1: Parameter `a`
    118.   }
    119.   
    120. > static ossl_inline unsigned int constant_time_lt(unsigned int a,
    121.                                                    unsigned int b)
    122.   {

include/internal/constant_time_locl.h:120:1: <RHS trace>
118.   }
119.   
120. > static ossl_inline unsigned int constant_time_lt(unsigned int a,
121.                                                    unsigned int b)
122.   {

include/internal/constant_time_locl.h:120:1: Parameter `b`
    118.   }
    119.   
    120. > static ossl_inline unsigned int constant_time_lt(unsigned int a,
    121.                                                    unsigned int b)
    122.   {

include/internal/constant_time_locl.h:123:12: Binary operation: ([0, +oo] - 10):unsigned32 by call to `constant_time_ge` 
    121.                                                    unsigned int b)
    122.   {
    123.       return constant_time_msb(a ^ ((a ^ b) | ((a - b) ^ b)));
                      ^
    124.   }
    125.   
