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


include/internal/constant_time_locl.h:171:1: Parameter `a`
169.   }
170.   
171. > static ossl_inline size_t constant_time_eq_s(size_t a, size_t b)
172.   {
173.       return constant_time_is_zero_s(a ^ b);

include/internal/constant_time_locl.h:173:12: Call
171.   static ossl_inline size_t constant_time_eq_s(size_t a, size_t b)
172.   {
173.       return constant_time_is_zero_s(a ^ b);
                  ^
174.   }
175.   

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, +oo] - 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.   
