crypto/constant_time_locl.h:170: 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:168:1: Parameter `a`
166.   }
167.   
168. > static inline unsigned int constant_time_eq(unsigned int a, unsigned int b)
169.   {
170.       return constant_time_is_zero(a ^ b);

crypto/constant_time_locl.h:170:12: Call
168.   static inline unsigned int constant_time_eq(unsigned int a, unsigned int b)
169.   {
170.       return constant_time_is_zero(a ^ b);
                  ^
171.   }
172.   

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

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

crypto/constant_time_locl.h:160:12: Binary operation: ([0, +oo] - 1):unsigned32 by call to `constant_time_is_zero` 
  158.   static inline unsigned int constant_time_is_zero(unsigned int a)
  159.   {
  160.       return constant_time_msb(~a & (a - 1));
                    ^
  161.   }
  162.   

static inline unsigned int constant_time_is_zero(unsigned int a)
{
    return constant_time_msb(~a & (a - 1));
}
['static inline unsigned int constant_time_eq(unsigned int a, unsigned int b)\n{\n    return constant_time_is_zero(a ^ b);\n}', 'static inline unsigned int constant_time_is_zero(unsigned int a)\n{\n    return constant_time_msb(~a & (a - 1));\n}']