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


crypto/rsa/rsa_pk1.c:162:5: Assignment
160.       unsigned char *em = NULL;
161.       unsigned int good, found_zero_byte, mask;
162.       int zero_index = 0, msg_index, mlen = -1;
           ^
163.   
164.       if (tlen < 0 || flen < 0)

crypto/rsa/rsa_pk1.c:215:13: Call
213.        * also fails.
214.        */
215.       good &= constant_time_ge(zero_index, 2 + 8);
                   ^
216.   
217.       /*

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.   
