crypto/ec/ecp_nistz256.c:167: error: INTEGER_OVERFLOW_L2
  ([0, `in`] - 1):unsigned32.
Showing all 3 steps of the trace


crypto/ec/ecp_nistz256.c:163:1: <LHS trace>
161.   
162.   /* Recode window to a signed digit, see ecp_nistputil.c for details */
163. > static unsigned int _booth_recode_w5(unsigned int in)
164.   {
165.       unsigned int s, d;

crypto/ec/ecp_nistz256.c:163:1: Parameter `in`
161.   
162.   /* Recode window to a signed digit, see ecp_nistputil.c for details */
163. > static unsigned int _booth_recode_w5(unsigned int in)
164.   {
165.       unsigned int s, d;

crypto/ec/ecp_nistz256.c:167:5: Binary operation: ([0, in] - 1):unsigned32
165.       unsigned int s, d;
166.   
167.       s = ~((in >> 5) - 1);
           ^
168.       d = (1 << 6) - in - 1;
169.       d = (d & s) | (in & ~s);

static unsigned int _booth_recode_w5(unsigned int in)
{
    unsigned int s, d;
    s = ~((in >> 5) - 1);
    d = (1 << 6) - in - 1;
    d = (d & s) | (in & ~s);
    d = (d >> 1) + (d & 1);
    return (d << 1) + (s & 1);
}
['static unsigned int _booth_recode_w5(unsigned int in)\n{\n    unsigned int s, d;\n    s = ~((in >> 5) - 1);\n    d = (1 << 6) - in - 1;\n    d = (d & s) | (in & ~s);\n    d = (d >> 1) + (d & 1);\n    return (d << 1) + (s & 1);\n}']