test/constant_time_test.c:62: error: INTEGER_OVERFLOW_L1
  (0 - 1):unsigned32 by call to `constant_time_is_zero`.
Showing all 5 steps of the trace


test/constant_time_test.c:60:1: Parameter `a`
58.   }
59.   
60. > static int test_is_zero(unsigned int a)
61.   {
62.       if (a == 0 && !TEST_uint_eq(constant_time_is_zero(a), CONSTTIME_TRUE))

test/constant_time_test.c:62:20: Call
60.   static int test_is_zero(unsigned int a)
61.   {
62.       if (a == 0 && !TEST_uint_eq(constant_time_is_zero(a), CONSTTIME_TRUE))
                         ^
63.           return 0;
64.       if (a != 0 && !TEST_uint_eq(constant_time_is_zero(a), CONSTTIME_FALSE))

include/internal/constant_time_locl.h:150:1: <LHS trace>
148.   }
149.   
150. > static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
151.   {
152.       return constant_time_msb(~a & (a - 1));

include/internal/constant_time_locl.h:150:1: Parameter `a`
  148.   }
  149.   
  150. > static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
  151.   {
  152.       return constant_time_msb(~a & (a - 1));

include/internal/constant_time_locl.h:152:12: Binary operation: (0 - 1):unsigned32 by call to `constant_time_is_zero` 
  150.   static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
  151.   {
  152.       return constant_time_msb(~a & (a - 1));
                    ^
  153.   }
  154.   
