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


test/constant_time_test.c:78:1: Parameter `a`
76.   }
77.   
78. > static int test_is_zero_s(unsigned int a)
79.   {
80.       if (a == 0 && !TEST_size_t_eq(constant_time_is_zero_s(a), CONSTTIME_TRUE_S))

test/constant_time_test.c:80:20: Call
78.   static int test_is_zero_s(unsigned int a)
79.   {
80.       if (a == 0 && !TEST_size_t_eq(constant_time_is_zero_s(a), CONSTTIME_TRUE_S))
                         ^
81.           return 0;
82.       if (a != 0 && !TEST_uint_eq(constant_time_is_zero_s(a), CONSTTIME_FALSE_S))

include/internal/constant_time_locl.h:155:1: <LHS trace>
153.   }
154.   
155. > static ossl_inline size_t constant_time_is_zero_s(size_t a)
156.   {
157.       return constant_time_msb_s(~a & (a - 1));

include/internal/constant_time_locl.h:155:1: Parameter `a`
  153.   }
  154.   
  155. > static ossl_inline size_t constant_time_is_zero_s(size_t a)
  156.   {
  157.       return constant_time_msb_s(~a & (a - 1));

include/internal/constant_time_locl.h:157:12: Binary operation: (0 - 1):unsigned64 by call to `constant_time_is_zero_s` 
  155.   static ossl_inline size_t constant_time_is_zero_s(size_t a)
  156.   {
  157.       return constant_time_msb_s(~a & (a - 1));
                    ^
  158.   }
  159.   
