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


crypto/ec/ecp_nistz256.c:175:1: <LHS trace>
173.   }
174.   
175. > static unsigned int _booth_recode_w7(unsigned int in)
176.   {
177.       unsigned int s, d;

crypto/ec/ecp_nistz256.c:175:1: Parameter `in`
173.   }
174.   
175. > static unsigned int _booth_recode_w7(unsigned int in)
176.   {
177.       unsigned int s, d;

crypto/ec/ecp_nistz256.c:179:5: Binary operation: ([0, in] - 1):unsigned32
177.       unsigned int s, d;
178.   
179.       s = ~((in >> 7) - 1);
           ^
180.       d = (1 << 8) - in - 1;
181.       d = (d & s) | (in & ~s);

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