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


crypto/lhash/lhash.c:231:1: <LHS trace>
229.   }
230.   
231. > static void contract(OPENSSL_LHASH *lh)
232.   {
233.       OPENSSL_LH_NODE **n, *n1, *np;

crypto/lhash/lhash.c:231:1: Parameter `lh->pmax`
229.   }
230.   
231. > static void contract(OPENSSL_LHASH *lh)
232.   {
233.       OPENSSL_LH_NODE **n, *n1, *np;

crypto/lhash/lhash.c:247:9: Assignment
245.           lh->num_contract_reallocs++;
246.           lh->num_alloc_nodes /= 2;
247.           lh->pmax /= 2;
               ^
248.           lh->p = lh->pmax - 1;
249.           lh->b = n;

crypto/lhash/lhash.c:248:9: Binary operation: ([0, lh->pmax] - 1):unsigned32
246.           lh->num_alloc_nodes /= 2;
247.           lh->pmax /= 2;
248.           lh->p = lh->pmax - 1;
               ^
249.           lh->b = n;
250.       } else
