パスカルの三角形 MallocでOver flow がおきます。C言語

Question

LeetCodeの問題でRuntime Errorが出ます。
アドバイスをいただけないでしょうか？
leetcodeの問題のリンクです

• Return an array of arrays of size *returnSize.
• The sizes of the arrays are returned as *returnColumnSizes array.
• Note: Both returned array and *columnSizes array must be malloced, assume caller calls free().

int** generate(int numRows, int** returnColumnSizes, int* returnSize) {
	

    int **q, i, j;


    *returnSize = numRows;
	q = (int **) malloc (sizeof(int *) * numRows);
    
    
	for (i = 0; i < numRows; i++) {
        
        printf("%d\n",i);
        
		q[i] = (int *) malloc (sizeof(int) * (i + 1));
        q[i][0] = 1;
        q[i][i] = 1;
        
        if(i!=0){
            for(j=1; j<i; j++){
                q[i][j] = q[i-1][j-1] + q[i-1][j];
            }    
        }
	}
    
//この下の３行でエラーが出ています。
	*returnColumnSizes = (int *) malloc (sizeof(int) * numRows);
	 for (i = 0; i < numRows; i++) 
	 	(*returnColumnSizes)[i] = i + 1;
    
    return q;  
    
    
}

//修正後のコード

int** generate(int numRows, int* returnSize , int** returnColumnSizes) {
	
    int **q, i, j;

    *returnSize = numRows;
	q = (int **) malloc (sizeof(int *) * numRows);
    *returnColumnSizes = (int *) malloc (sizeof(int) * numRows);
		
    
	for (i = 0; i < numRows; i++) {
        (*returnColumnSizes)[i] = i + 1;
		q[i] = (int *) malloc (sizeof(int) * (i + 1));
        q[i][0] = 1;
        q[i][i] = 1;   
        
        if(i!=0){
            for(j=1; j<i; j++){
                q[i][j] = q[i-1][j-1] + q[i-1][j];
            }    
        }   
	}

    return q;      
}

=================================================================
==32==ERROR: AddressSanitizer: stack-buffer-overflow on address 0x7ffece7f8470 at pc 0x557d430bf63e bp 0x7ffece7f83a0 sp 0x7ffece7f8390
WRITE of size 8 at 0x7ffece7f8470 thread T0
    #2 0x7f0d7e3130b2 in __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x270b2)
Address 0x7ffece7f8470 is located in stack of thread T0 at offset 32 in frame
  This frame has 5 object(s):
    [32, 36) 'ret_size' <== Memory access at offset 32 partially overflows this variable
    [96, 104) 'nbytes'
    [160, 168) 'line'
    [224, 232) 'ret_colsize'
    [288, 292) 'SEPARATOR'
HINT: this may be a false positive if your program uses some custom stack unwind mechanism, swapcontext or vfork
      (longjmp and C++ exceptions *are* supported)
Shadow bytes around the buggy address:
  0x100059cf7030: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x100059cf7040: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x100059cf7050: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x100059cf7060: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x100059cf7070: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
=>0x100059cf7080: 00 00 00 00 00 00 00 00 00 00 f1 f1 f1 f1[04]f2
  0x100059cf7090: f2 f2 f2 f2 f2 f2 00 f2 f2 f2 f2 f2 f2 f2 00 f2
  0x100059cf70a0: f2 f2 f2 f2 f2 f2 00 f2 f2 f2 f2 f2 f2 f2 04 f2
  0x100059cf70b0: f2 f2 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x100059cf70c0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x100059cf70d0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
Shadow byte legend (one shadow byte represents 8 application bytes):
  Addressable:           00
  Partially addressable: 01 02 03 04 05 06 07 
  Heap left redzone:       fa
  Freed heap region:       fd
  Stack left redzone:      f1
  Stack mid redzone:       f2
  Stack right redzone:     f3
  Stack after return:      f5
  Stack use after scope:   f8
  Global redzone:          f9
  Global init order:       f6
  Poisoned by user:        f7
  Container overflow:      fc
  Array cookie:            ac
  Intra object redzone:    bb
  ASan internal:           fe
  Left alloca redzone:     ca
  Right alloca redzone:    cb
  Shadow gap:              cc
==32==ABORTING

Comments

[BeatStar]

> アドバイスをいただけないでしょうか

『デバッグしましょう』ですね。

プログラミングは『書いて終わり』ではありません。
デバッグやテストまで含みます。

デバッグはプログラミングする上で当たり前の技術です。

『C言語 デバッグ方法』とかで検索してください。

[alizona]

テストケースのinput が5の場合
numRows:0
q[0][0]==1
q[0][0]==1

numRows:1
q[1][0]==1
q[1][1]==1

numRows:2
q[2][0]==1
q[2][1]==2
q[2][2]==1

numRows:3
q[3][0]==1
q[3][1]==3
q[3][2]==3
q[3][3]==1

numRows:4
q[4][0]==1
q[4][1]==4
q[4][2]==6
q[4][3]==4
q[4][4]==1

ここまではコメントで出力できてるのですが、
*returnColumnSizes = (int *) malloc (sizeof(int) * numRows);
for (i = 0; i < numRows; i++)
(*returnColumnSizes)[i] = i + 1;
この３行でover flow になります。
returnColumnSizesをmallocできないので、プログラムが qの２次元配列をreturnしても、呼び出し先でouputされた時には、出力が [ ]となります。

[actorbug]

リンク先に行って言語をCに切り替えると、以下の定義が表示されます。ご質問のコードと引数の順番が違っているようですが、あえて変えているのでしょうか。
int** generate(int numRows, int* returnSize, int** returnColumnSizes){

[alizona]

すみませんでした。引数の順番を変えたところleetcodeをパスしました。
ありがとうございました。

Answer 1

actorbug

リンク先に行って言語をCに切り替えると、以下の定義が表示されます。ご質問のコードと引数の順番が違っているようですが、あえて変えているのでしょうか。

引数の順番が間違えていました。