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


test/sparse_array_test.c:51:14: Call
49.   
50.       for (i = 0; i < OSSL_NELEM(cases); i++) {
51.           if (!TEST_true(ossl_sa_char_set(sa, cases[i].n, cases[i].v))) {
                   ^
52.               TEST_note("iteration %zu", i + 1);
53.               goto err;

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:176:1: Parameter `sa->nelem`
    174.   }
    175.   
    176. > int OPENSSL_SA_set(OPENSSL_SA *sa, size_t posn, void *val)
    177.   {
    178.       int i, level = 1;

test/sparse_array_test.c:51:14: Call
49.   
50.       for (i = 0; i < OSSL_NELEM(cases); i++) {
51.           if (!TEST_true(ossl_sa_char_set(sa, cases[i].n, cases[i].v))) {
                   ^
52.               TEST_note("iteration %zu", i + 1);
53.               goto err;

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:176:1: <LHS trace>
174.   }
175.   
176. > int OPENSSL_SA_set(OPENSSL_SA *sa, size_t posn, void *val)
177.   {
178.       int i, level = 1;

crypto/sparse_array.c:176:1: Parameter `sa->nelem`
    174.   }
    175.   
    176. > int OPENSSL_SA_set(OPENSSL_SA *sa, size_t posn, void *val)
    177.   {
    178.       int i, level = 1;

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