刷Leetcode遇到好几次heap buffer overflow，不知道哪里出了问题

问题遇到的现象和发生背景

题目：88. 合并两个有序数组
给你两个按 非递减顺序 排列的整数数组 nums1 和 nums2，另有两个整数 m 和 n ，分别表示 nums1 和 nums2 中的元素数目。
请你 合并 nums2 到 nums1 中，使合并后的数组同样按 非递减顺序 排列。
注意：最终，合并后数组不应由函数返回，而是存储在数组 nums1 中。为了应对这种情况，nums1 的初始长度为 m + n，其中前 m 个元素表示应合并的元素，后 n 个元素为 0 ，应忽略。nums2 的长度为 n 。

问题相关代码，请勿粘贴截图

void merge(int* nums1, int nums1Size, int m, int* nums2, int nums2Size, int n){
  if(n!=0)
  {
    if(m!=0&&n!=0)
    {
        int nums3[m+n];
        int i=0,j=0,k=0;
        for(i=0;i<m+n;i++)
        {
            if((nums1[k]<=nums2[j])&&k<m)
            {
                nums3[i]=nums1[k];
                k++;
            }
            else if(j<n)
            {
                nums3[i]=nums2[j];
                j++;
            }
        }
        for(i=0;i<m+n;i++)
        {
            nums1[i]=nums3[i];
        }
    }
    else
    {
        for(int i=0;i<n;i++)
        {
            nums1[i]=nums2[i];
        }
    }

  }
}

运行结果及报错内容

我的解答思路和尝试过的方法

思路：

1. 当nums2内无元素时,无需合并数组。
2. 当nums2内有元素且nums1内也有元素时，创建一个长度为m+n的数组nums3，依次比较nums1和nums2内的元素，当nums1的指针小于m且nums2的指针小于n时，将较小元素的存入nums3中。最后将nums3数组的值依次赋给nums1。
3. 当nums2内有元素且nums1内无元素时，将nums2的元素依次赋给nums1。

提交的程序包含main吗
如果建立的数组在函数内，size太大了会造成内存溢出，可以把数组全部定义成全局数组

#include <stdio.h>

void merge(int *nums1, int nums1Size, int m, int *nums2, int nums2Size, int n)
{
    int *p = nums1 + m - 1;
    int *q = nums2 + n - 1;
    int *r = nums1 + nums1Size - 1;
    while (p >= nums1 && q >= nums2)
    {
        if (*p > *q)
        {
            *r-- = *p--;
        }
        else if (*q > *p)
        {
            *r-- = *q--;
        }
        else
        {
            *r-- = *p--;
            *r-- = *q--;
        }
    }
    while (p >= nums1)
        *r-- = *p--;
    while (q >= nums2)
        *r-- = *q--;
}

#define M 5
#define N 4

int main()
{
    int nums1[M + N] = {1, 3, 5, 7, 9}, nums2[N] = {2, 4, 6, 8};
    merge(nums1, M + N, M, nums2, N, N);
    for (int i = 0; i < M+N; i++)
        printf("%d ", nums1[i]);
    printf("\n");
    return 0;
}

$ gcc -Wall main.c
$ ./a.out
1 2 3 4 5 6 7 8 9

人家的意思就是直接放nums1里面，你新建一个数组，这个数组数量可能比较大超过了栈的大小了。

void merge(int* nums1, int nums1Size, int m, int* nums2, int nums2Size, int n)
{
    int minin2;
    int *p1, *p2, *p3;

    if(*num1 > *num2)
    {
        minin2 = *num2;
        *num2 = *num1;
        *num1 = minin2;
        minin2 = 1;
    }
    else
    {
        minin2 = 0;
    }

    p1 = nums1 + m - 1;
    p2 = nums2 + n - 1;
    p3 = p1 + n;

    while(p3 > p1)
    {
        if(*p1 > *p2)
        {
            *p3 = *p1;
            p1--;
        }
        else
        {
            *p3 = *p2;
            p2--;
        }

        p3--;
    }

    if(minin2 == 1)
    {
        *num2 = *num1;
    }
}
```c

```