test/sparse_array_test.c:138: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `ossl_sa_char_set`.
Showing all 6 steps of the trace


test/sparse_array_test.c:138:13: Call
136.           if (n == cases[i].n && strcmp(value, cases[i].v) == 0) {
137.               doall_data->res = 1;
138.               ossl_sa_char_set(doall_data->sa, n, NULL);
                   ^
139.               return;
140.           }

test/sparse_array_test.c:28:1: Parameter `sa->nelem`
  26.   #endif
  27.   
  28. > DEFINE_SPARSE_ARRAY_OF(char);
  29.   
  30.   static int test_sparse_array(void)

test/sparse_array_test.c:28:1: Call
  26.   #endif
  27.   
  28. > DEFINE_SPARSE_ARRAY_OF(char);
  29.   
  30.   static int test_sparse_array(void)

crypto/sparse_array.c:181:1: <LHS trace>
179.   }
180.   
181. > int OPENSSL_SA_set(OPENSSL_SA *sa, size_t posn, void *val)
182.   {
183.       int i, level = 1;

crypto/sparse_array.c:181:1: Parameter `sa->nelem`
    179.   }
    180.   
    181. > int OPENSSL_SA_set(OPENSSL_SA *sa, size_t posn, void *val)
    182.   {
    183.       int i, level = 1;

crypto/sparse_array.c:213:9: Binary operation: ([0, +oo] - 1):unsigned64 by call to `ossl_sa_char_set` 
    211.       p += posn & SA_BLOCK_MASK;
    212.       if (val == NULL && *p != NULL)
    213.           sa->nelem--;
                   ^
    214.       else if (val != NULL && *p == NULL)
    215.           sa->nelem++;
