crypto/ec/ec_mult.c:220: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64.
Showing all 3 steps of the trace


crypto/ec/ec_mult.c:90:2: <LHS trace>
88.   	int k, t;
89.   	int r_is_at_infinity = 1;
90.   	size_t max_bits = 0;
       ^
91.   	size_t *wsize = NULL; /* individual window sizes */
92.   	unsigned long *wbits = NULL; /* individual window contents */

crypto/ec/ec_mult.c:90:2: Assignment
88.   	int k, t;
89.   	int r_is_at_infinity = 1;
90.   	size_t max_bits = 0;
       ^
91.   	size_t *wsize = NULL; /* individual window sizes */
92.   	unsigned long *wbits = NULL; /* individual window contents */

crypto/ec/ec_mult.c:220:7: Binary operation: ([0, +oo] - 1):unsigned64
218.   	r_is_at_infinity = 1;
219.   
220.   	for (k = max_bits - 1; k >= 0; k--)
             ^
221.   		{
222.   		if (!r_is_at_infinity)
