crypto/rsa/rsa_pk1.c:238: 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:190:5: Assignment
188.       unsigned char *em = NULL;
189.       unsigned int good, found_zero_byte;
190.       int zero_index = 0, msg_index, mlen = -1;
           ^
191.   
192.       if (tlen < 0 || flen < 0)

crypto/rsa/rsa_pk1.c:238:13: Call
236.        * also fails.
237.        */
238.       good &= constant_time_ge((unsigned int)(zero_index), 2 + 8);
                   ^
239.   
240.       /*

include/internal/constant_time_locl.h:154:1: Parameter `a`
  152.   }
  153.   
  154. > static ossl_inline unsigned int constant_time_ge(unsigned int a,
  155.                                                    unsigned int b)
  156.   {

include/internal/constant_time_locl.h:157:13: Call
  155.                                                    unsigned int b)
  156.   {
  157.       return ~constant_time_lt(a, b);
                     ^
  158.   }
  159.   

include/internal/constant_time_locl.h:142:1: <LHS trace>
140.   }
141.   
142. > static ossl_inline unsigned int constant_time_lt(unsigned int a,
143.                                                    unsigned int b)
144.   {

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

include/internal/constant_time_locl.h:142:1: <RHS trace>
140.   }
141.   
142. > static ossl_inline unsigned int constant_time_lt(unsigned int a,
143.                                                    unsigned int b)
144.   {

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

include/internal/constant_time_locl.h:145:12: Binary operation: ([0, +oo] - 10):unsigned32 by call to `constant_time_ge` 
    143.                                                    unsigned int b)
    144.   {
    145.       return constant_time_msb(a ^ ((a ^ b) | ((a - b) ^ b)));
                      ^
    146.   }
    147.   
