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


test/constant_time_test.c:69:1: Parameter `a`
67.   }
68.   
69. > static int test_is_zero_8(unsigned int a)
70.   {
71.       if (a == 0 && !TEST_uint_eq(constant_time_is_zero_8(a), CONSTTIME_TRUE_8))

test/constant_time_test.c:71:20: Call
69.   static int test_is_zero_8(unsigned int a)
70.   {
71.       if (a == 0 && !TEST_uint_eq(constant_time_is_zero_8(a), CONSTTIME_TRUE_8))
                         ^
72.           return 0;
73.       if (a != 0 && !TEST_uint_eq(constant_time_is_zero_8(a), CONSTTIME_FALSE_8))

include/internal/constant_time_locl.h:160:1: Parameter `a`
  158.   }
  159.   
  160. > static ossl_inline unsigned char constant_time_is_zero_8(unsigned int a)
  161.   {
  162.       return (unsigned char)(constant_time_is_zero(a));

include/internal/constant_time_locl.h:162:28: Call
  160.   static ossl_inline unsigned char constant_time_is_zero_8(unsigned int a)
  161.   {
  162.       return (unsigned char)(constant_time_is_zero(a));
                                    ^
  163.   }
  164.   

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_8` 
    150.   static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
    151.   {
    152.       return constant_time_msb(~a & (a - 1));
                      ^
    153.   }
    154.   
