crypto/modes/ocb128.c:489: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `ocb_lookup_l`.
Showing all 7 steps of the trace


crypto/modes/ocb128.c:489:47: Call
487.           
488.           /* Offset_i = Offset_{i-1} xor L_{ntz(i)} */
489.           OCB_BLOCK *lookup = ocb_lookup_l(ctx, ocb_ntz(i));
                                                     ^
490.           if (!lookup)
491.               return 0;

crypto/modes/ocb128.c:66:5: Assignment
  64.   static u32 ocb_ntz(u64 n)
  65.   {
  66.       u32 cnt = 0;
            ^
  67.   
  68.       /*

crypto/modes/ocb128.c:80:5: Assignment
  78.           cnt++;
  79.       }
  80.       return cnt;
            ^
  81.   }
  82.   

crypto/modes/ocb128.c:489:29: Call
487.           
488.           /* Offset_i = Offset_{i-1} xor L_{ntz(i)} */
489.           OCB_BLOCK *lookup = ocb_lookup_l(ctx, ocb_ntz(i));
                                   ^
490.           if (!lookup)
491.               return 0;

crypto/modes/ocb128.c:154:1: <LHS trace>
152.    * calculate it
153.    */
154. > static OCB_BLOCK *ocb_lookup_l(OCB128_CONTEXT * ctx, size_t index)
155.   {
156.       if (index <= ctx->l_index) {

crypto/modes/ocb128.c:154:1: Parameter `index`
  152.    * calculate it
  153.    */
  154. > static OCB_BLOCK *ocb_lookup_l(OCB128_CONTEXT * ctx, size_t index)
  155.   {
  156.       if (index <= ctx->l_index) {

crypto/modes/ocb128.c:168:5: Binary operation: ([0, +oo] - 1):unsigned64 by call to `ocb_lookup_l` 
  166.               return NULL;
  167.       }
  168.       ocb_double(ctx->l + (index - 1), ctx->l + index);
             ^
  169.   
  170.       return ctx->l + index;
