do-while文の処理が実行されない

質問

コンパイラは通ったのですが、自分の思うように処理されない箇所があって困っています。
1区間の数字列を回帰直線で近似し、回帰直線との誤差が最大の点で区間を分割（誤差が閾値以上なら）するプログラムを作っています。次に分割した区間それぞれに同様の作業をし、分割が一つでもあればまた最初から繰り返す、どこも分割されなければ終了・・・という流れです。

プログラムでは
do{
bunkatu=0;
for(全ての区間)｛
（最大誤差や回帰直線の傾きを0に初期化する）
(傾き、最大誤差求める)
if(最大誤差が閾値以上なら){
　(最大誤差の点を境に区間を分けるよう設定)
bunkatu = 1;}
}
}while((bunkatu) != 0);

と表しています。分割が一つでもあれば変数 bunkatu が1になり、whileの条件　(bunkatu) != 0　と合っているのでまた do 以下から動作する・・・と考えているのですが、考え方としてはこれで合っているのでしょうか。

回答No.4

6yemon

> 調べたところ回数が延々と出力され、10数万いったぐらいで「セグメントエラー」が起こりプログラムが終了

はっきり言って、これはまともな動作ではありませんので、どこかでメモリ破壊を起こしていると推測します。

メモリ破壊とは何か。
int a[5]; と定義した配列があるとします。この配列には a[0]～a[4] が存在しますが、a[5] = 0; とすれば、この配列以外のメモリを書き変えてしまうことになります。Ｃは配列の上限チェックを行いません（下限もチェックしない）ので、意図したか否かに関わらず、配列以外のメモリを書き変えることができてしまいます（いわゆるバッファオーバーフロー）。そのメモリは別の変数である可能性大ですから、プログラムの記述とは違う時点でその変数の値が変わってしまいます。こうした事を「メモリ破壊」と呼びます。メモリ破壊があれば、プログラムが思いもよらぬ動きをするのは当然です。

char の変数領域（8bit単位）に int 型（32bitの事が多い）へのポインタで書き込む、int の変数領域に double 型（普通64bit）へのポインタで値を書き込む…等もメモリ破壊を起こします。他に、スタックオーバーフローを起こした、割込処理或いは他のスレッドによって変数が書き変えられた等、いろいろなケースがあります。

大抵の場合、メモリ破壊はプログラムのバグであり、それがどこに潜んでいるか簡単に見当がつくようなものではありませんが、バグがあるかもしれないという目で提示されたコードを眺めてみると、気になる所がいくつかあります。特に for 文の回し方がそうです。

例えば、次の for 文。
for (o = all; o >= 0; o--) { ...

上記の int a[5]; について for ループを回すとしたら、例えば
for (o = 4; o >= 0; o--) { a[o] = 何か; }
のように回すことができますが、配列のサイズが５だからと言って
for (o = 5; o >= 0; o--) { a[o] = 何か; }
と回したなら、本来存在しないはずの a[5] を書き変えてしまいます。これを連想してしまうのです。要するにバッファオーバーフローです。

他にも
・E[h] = E[h - 1]; の E[h - 1] が配列の外（E[-1]）をアクセスする事はないか
・E[o + 1] = E[o]; の E[o + 1] は大丈夫か、等々

念のために言えば、これらが誤りだと断定しているのではありません。提示されたコードはプログラムのほんの一部分でしかなく、ここに至るまでの経緯がわかりませんから、この回し方で正しいかもしれませんし、もちろん他のコードがメモリを破壊している可能性もあります。疑いの目で見ないとバグの手がかりは得られないという事なのです。