crypto/lhash/lhash.c:372: error: INTEGER_OVERFLOW_L2
  ([0, `lh->pmax`] - 1):unsigned32.
Showing all 4 steps of the trace


crypto/lhash/lhash.c:354:1: <LHS trace>
352.   }
353.   
354. > static void contract(_LHASH *lh)
355.   {
356.       LHASH_NODE **n, *n1, *np;

crypto/lhash/lhash.c:354:1: Parameter `lh->pmax`
352.   }
353.   
354. > static void contract(_LHASH *lh)
355.   {
356.       LHASH_NODE **n, *n1, *np;

crypto/lhash/lhash.c:371:9: Assignment
369.           lh->num_contract_reallocs++;
370.           lh->num_alloc_nodes /= 2;
371.           lh->pmax /= 2;
               ^
372.           lh->p = lh->pmax - 1;
373.           lh->b = n;

crypto/lhash/lhash.c:372:9: Binary operation: ([0, lh->pmax] - 1):unsigned32
370.           lh->num_alloc_nodes /= 2;
371.           lh->pmax /= 2;
372.           lh->p = lh->pmax - 1;
               ^
373.           lh->b = n;
374.       } else
