corrupted size vs. prev_size in fastbins 的报错怎么解决

[TommyPlayer-c]

对于 tester/function_test2021/073_backpack.sysu.c 这个样例：

#include <sysy/sylib.h>
int V[200][200]={};
int KnapSack(int n, int w[], int v[], int x[], int C)
{
    int i, j;
    i=1;
    while(i<=n)
    {
    	j=0;
    	while(j<C+1)
    	{
    		if (j<w[i])
                V[i][j] = V[i - 1][j];
            else
            {
            	int tmp1=V[i - 1][j];
            	int tmp2=V[i - 1][j - w[i]] + v[i];
            	if(tmp1>tmp2)
            	{
            		V[i][j] = tmp1;
				}
				else
				{
					V[i][j] = tmp2;
				}
            	
			}
    		j=j+1;
		}
		i=i+1;
	}
    
    j = C;
    i=n;
    while(i>=1)
    {
    	if (V[i][j]>V[i - 1][j])
        {
            x[i] = 1;
            j = j - w[i];
        }
        else
        {
		 
            x[i] = 0;
        } 
        i=i-1;
	}
    return V[n][C];
}

int main()
{
    int s;
    int w[6] = {0,2,2,6,5,4};
    int v[6] = {0,6,3,5,4,6};
    int x[6];
    int n = 5;
    int C=10;
    s = KnapSack(n, w, v, x, C);
    putint(s);
    return 0;

}

我出现了这个错误：

但我发现，如果我使用 vscode 的格式化代码:

#include <sysy/sylib.h>
int V[200][200] = {};
int KnapSack(int n, int w[], int v[], int x[], int C) {
  int i, j;
  i = 1;
  while (i <= n) {
    j = 0;
    while (j < C + 1) {
      if (j < w[i])
        V[i][j] = V[i - 1][j];
      else {
        int tmp1 = V[i - 1][j];
        int tmp2 = V[i - 1][j - w[i]] + v[i];
        if (tmp1 > tmp2) {
          V[i][j] = tmp1;
        } else {
          V[i][j] = tmp2;
        }
      }
      j = j + 1;
    }
    i = i + 1;
  }

  j = C;
  i = n;
  while (i >= 1) {
    if (V[i][j] > V[i - 1][j]) {
      x[i] = 1;
      j = j - w[i];
    } else {
      x[i] = 0;
    }
    i = i - 1;
  }
  return V[n][C];
}

int main() {
  int s;
  int w[6] = {0, 2, 2, 6, 5, 4};
  int v[6] = {0, 6, 3, 5, 4, 6};
  int x[6];
  int n = 5;
  int C = 10;
  s = KnapSack(n, w, v, x, C);
  putint(s);
  return 0;
}

就可以顺利通过这个样例。

对于格式化之前和格式化之后的这个测例（也就是上面的这两个代码，一个没有格式化，一个格式化了），我发现我的 generator 生成的 IR 完全一样。

请问我的问题可能出在哪里？这个问题如何解决？

[wu-kan]

有没有可能和格式化没有关系，而是发生了概率性的爆栈？

[TommyPlayer-c]

我尝试了一下，不格式化就稳定地不能通过，格式化就稳定地能通过

[Yorkking]

你这是本地跑的吗？跑的时候监测一下内存？看看跑的时候，内存有无异常变化。

[TommyPlayer-c]

已解决，由于 map 中嵌套 list，clear 时留下哨兵节点，符号表并没有回收完所有的内存。