test/constant_time_test.c:91: 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:89:1: Parameter `a`
87.   }
88.   
89. > static int test_is_zero_8(unsigned int a)
90.   {
91.       if (a == 0 && !TEST_uint_eq(constant_time_is_zero_8(a), CONSTTIME_TRUE_8))

test/constant_time_test.c:91:20: Call
89.   static int test_is_zero_8(unsigned int a)
90.   {
91.       if (a == 0 && !TEST_uint_eq(constant_time_is_zero_8(a), CONSTTIME_TRUE_8))
                         ^
92.           return 0;
93.       if (a != 0 && !TEST_uint_eq(constant_time_is_zero_8(a), CONSTTIME_FALSE_8))

include/internal/constant_time_locl.h:167:1: Parameter `a`
  165.   }
  166.   
  167. > static ossl_inline unsigned char constant_time_is_zero_8(unsigned int a)
  168.   {
  169.       return (unsigned char)constant_time_is_zero(a);

include/internal/constant_time_locl.h:169:27: Call
  167.   static ossl_inline unsigned char constant_time_is_zero_8(unsigned int a)
  168.   {
  169.       return (unsigned char)constant_time_is_zero(a);
                                   ^
  170.   }
  171.   

include/internal/constant_time_locl.h:157:1: <LHS trace>
155.   }
156.   
157. > static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
158.   {
159.       return constant_time_msb(~a & (a - 1));

include/internal/constant_time_locl.h:157:1: Parameter `a`
    155.   }
    156.   
    157. > static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
    158.   {
    159.       return constant_time_msb(~a & (a - 1));

include/internal/constant_time_locl.h:159:12: Binary operation: (0 - 1):unsigned32 by call to `constant_time_is_zero_8` 
    157.   static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
    158.   {
    159.       return constant_time_msb(~a & (a - 1));
                      ^
    160.   }
    161.   

static ossl_inline unsigned int constant_time_is_zero(unsigned int a)
{
    return constant_time_msb(~a & (a - 1));
}
['static int test_is_zero_8(unsigned int a)\n{\n    if (a == 0 && !TEST_uint_eq(constant_time_is_zero_8(a), CONSTTIME_TRUE_8))\n        return 0;\n    if (a != 0 && !TEST_uint_eq(constant_time_is_zero_8(a), CONSTTIME_FALSE_8))\n        return 0;\n    return 1;\n}', 'static ossl_inline unsigned char constant_time_is_zero_8(unsigned int a)\n{\n    return (unsigned char)constant_time_is_zero(a);\n}', 'static ossl_inline unsigned int constant_time_is_zero(unsigned int a)\n{\n    return constant_time_msb(~a & (a - 1));\n}']