ループでカウントさせてた変数がループを抜けると格納された値が変わってしまいます。

Question

前提・実現したいこと

以下のプログラムでループ内で変数count++;としてインクリメントするのですが
ループを抜けた後にprintfで確認すると格納されている値が変わってしまいます。

発生している問題・エラーメッセージ

count = 0
count = 1
count = 2
count = 3
count = 4
count = 5
count = 6
count = 7
count = 8
count = 9
count = 10
count = 11
count = 12
count = 13
count = 14
count = 15
count = 16
count = 4339 ←　ループを抜けた後の値

該当のソースコード

#include<stdio.h>
#include<stdlib.h>
#include<string.h>
#define SETMAX 10600
char buf[256];

struct station { int eki; char name[64], rosen[64]; };
int main() {
  int i=0, ekisize, l, r, m;
  int num[10], count = 0;
  struct station *ekidata[SETMAX], *st;
  char ekiname[64];
  FILE *fp = fopen("./ekisen.txt","r");
  while(fgets(buf,sizeof(buf),fp)!=NULL && i<SETMAX) {
    st = (struct station*) malloc(sizeof(struct station));
    sscanf(buf, "%[^:]:%d:%[^\n]*c", st->name, &st->eki, st->rosen);
    ekidata[i] = st;
    ++i;
  }
  fclose(fp);
  ekisize = i;
  scanf("%[^\n]%*c",ekiname);
  l=0; r=ekisize-1;
  /* ここから二分探索 */
  while(l<=r) {
    /* ※ここを適切なプログラムで埋める */
    m = (l + r)/2;
      if(strcmp(ekiname, ekidata[m]->name) == 0) {
	//num[count++] = m;
	for(i=m-20; i<=m+20; i++) {
	  if(strcmp(ekiname, ekidata[i]->name) == 0) {
	    printf("count = %d\n",count);
	    num[count++] = i; 
	  }
	}
	printf("count = %d\n",count);
	break;
      } else if(strcmp(ekiname, ekidata[m]->name) < 0) {
	r = m;
	m = (l+r)/2;
      } else {
	l = m;
	m =(l+r)/2;
      }
  }
 return 0;
}

Answer 1

num[10]の配列数にご注目。
あきらか10個では足りないな。とりあえず256個ぐらい確保しとき。

Comments

[apeirogon0813]

おっしゃるとおりでした。
ありがとうございます。

Answer 2

num[10]で宣言された（num[0]～num[9]までしか使えない）のに、num[10]以降に書き込んでしまったのが原因と思われます。

このような場合、何が起きても文句は言えません（正式には「未定義の動作」と呼ばれます）。

Comments

[apeirogon0813]

はい、こういうときは他の変数も見ることを学びました。
ありがとうございます

Answer 3

配列の添え字オーバーで、他の変数の値を破壊しているのでしょうね。

Comments

[apeirogon0813]

num[10]を変更したら無事に動作しました。
ありがとうございます

Answer 4

ざっと見てcountに関する処理は問題ないように見えます。
しかしnum[count++] = i;にてcountが10以上でnum配列の範囲外に書き込みを行っています。
そのためint num[10], count = 0;で定義されたcount変数の領域まで書き込まれ、正しく動作していないと思われます。