include/internal/constant_time_locl.h:179: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned32 by call to `constant_time_is_zero`.
Showing all 5 steps of the trace


include/internal/constant_time_locl.h:176:1: Parameter `a`
174.   }
175.   
176. > static ossl_inline unsigned int constant_time_eq(unsigned int a,
177.                                                    unsigned int b)
178.   {

include/internal/constant_time_locl.h:179:12: Call
177.                                                    unsigned int b)
178.   {
179.       return constant_time_is_zero(a ^ b);
                  ^
180.   }
181.   

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

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

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