Is this feedback correct?

[wbhqmzl]

define MAX_LEN (16)

void test(const unsigned char *additional, size_t len, size_t nonce_len, size_t entropy_len) {         unsigned char seed[MAX_LEN];         size_t        seedlen = 0;           if(entropy_len > MAX_LEN)              return;         if(nonce_len > MAX_LEN - entropy_len)              return;         if(len > MAX_LEN - entropy_len - nonce_len)              return;           seedlen +=  entropy_len;         if(nonce_len != 0)                 seedlen += nonce_len;         if(additional != NULL && len != 0){                 memcpy(seed + seedlen, additional, len);                 seedlen += len;         } } int main() {         unsigned char arr[20] = {0};         test(arr, 8, 0, 5);         return 0; } Infer：31: error: Buffer Overrun L2 Offset added: [13, 24] (⇐ [5, 16] + 8) Size: 16 by call to test.

29. {
30. unsigned char arr[20] = {0};
31. test(arr, 8, 0, 5); ^
32. return 0;
33. } A call to the main function may not cause the array of the called function to go out of bounds