crypto/bn/bn_shift.c:127: error: INTEGER_OVERFLOW_L2
  (0 - [0, 63]):unsigned64.
Showing all 6 steps of the trace


crypto/bn/bn_shift.c:107:1: <RHS trace>
105.    * non-secret.
106.    */
107. > int bn_lshift_fixed_top(BIGNUM *r, const BIGNUM *a, int n)
108.   {
109.       int i, nw;

crypto/bn/bn_shift.c:107:1: Parameter `n`
105.    * non-secret.
106.    */
107. > int bn_lshift_fixed_top(BIGNUM *r, const BIGNUM *a, int n)
108.   {
109.       int i, nw;

crypto/bn/bn_shift.c:124:9: Assignment
122.   
123.       if (a->top != 0) {
124.           lb = (unsigned int)n % BN_BITS2;
               ^
125.           rb = BN_BITS2 - lb;
126.           rb %= BN_BITS2;            /* say no to undefined behaviour */

crypto/bn/bn_shift.c:125:9: Assignment
123.       if (a->top != 0) {
124.           lb = (unsigned int)n % BN_BITS2;
125.           rb = BN_BITS2 - lb;
               ^
126.           rb %= BN_BITS2;            /* say no to undefined behaviour */
127.           rmask = (BN_ULONG)0 - rb;  /* rmask = 0 - (rb != 0) */

crypto/bn/bn_shift.c:126:9: Assignment
124.           lb = (unsigned int)n % BN_BITS2;
125.           rb = BN_BITS2 - lb;
126.           rb %= BN_BITS2;            /* say no to undefined behaviour */
               ^
127.           rmask = (BN_ULONG)0 - rb;  /* rmask = 0 - (rb != 0) */
128.           rmask |= rmask >> 8;

crypto/bn/bn_shift.c:127:9: Binary operation: (0 - [0, 63]):unsigned64
125.           rb = BN_BITS2 - lb;
126.           rb %= BN_BITS2;            /* say no to undefined behaviour */
127.           rmask = (BN_ULONG)0 - rb;  /* rmask = 0 - (rb != 0) */
               ^
128.           rmask |= rmask >> 8;
129.           f = &(a->d[0]);
