crypto/constant_time_locl.h:157: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned32 by call to `constant_time_is_zero`.
Showing all 5 steps of the trace


crypto/constant_time_locl.h:155:1: Parameter `a`
153.   	}
154.   
155. > static inline unsigned int constant_time_eq(unsigned int a, unsigned int b)
156.   	{
157.   	return constant_time_is_zero(a ^ b);

crypto/constant_time_locl.h:157:9: Call
155.   static inline unsigned int constant_time_eq(unsigned int a, unsigned int b)
156.   	{
157.   	return constant_time_is_zero(a ^ b);
               ^
158.   	}
159.   

crypto/constant_time_locl.h:145:1: <LHS trace>
143.   	}
144.   
145. > static inline unsigned int constant_time_is_zero(unsigned int a)
146.   	{
147.   	return constant_time_msb(~a & (a - 1));

crypto/constant_time_locl.h:145:1: Parameter `a`
  143.   	}
  144.   
  145. > static inline unsigned int constant_time_is_zero(unsigned int a)
  146.   	{
  147.   	return constant_time_msb(~a & (a - 1));

crypto/constant_time_locl.h:147:9: Binary operation: ([0, +oo] - 1):unsigned32 by call to `constant_time_is_zero` 
  145.   static inline unsigned int constant_time_is_zero(unsigned int a)
  146.   	{
  147.   	return constant_time_msb(~a & (a - 1));
                 ^
  148.   	}
  149.   
