大域変数への変更は、pop コマンドでも fix コマンドでも取り消されません。大域変数に正しい値を手作業で再び割り当てるには、assign コマンドを使用してください (「assign コマンド」を参照)。
次の例は、修正継続機能を使用して簡単なバグを修正する方法を示しています。6 行目で NULL ポインタを逆参照しようとしたときに、セグメンテーションエラーが発生します。
dbx[1] list 1,$
1 #include <stdio.h>
2
3 char *from = "ships";
4 void copy(char *to)
5 {
6 while ((*to++ = *from++) != '\0');
7 *to = '\0';
8 }
9
10 main()
11 {
12 char buf[100];
13
14 copy(0);
15 printf("%s\n", buf);
16 return 0;
17 }
(dbx) run
実行中: testfix
(プロセス id 4842)
シグナル SEGV (フォルトのアドレスにマッピングしていません) 関数 copy 行番号 6 ファイル "testfix.c"
6 while ((*to++ = *from++) != '\0');
|
14 行目を 0 ではなく buf をコピー (copy) するように変更し、fix を実行します。
14 copy(buf); <=== 変更後
(dbx) fix
fixing "testfix.cc" .....
pc は "testfix.c":6 に移動しました
copy で停止しました 行番号 6 ファイル "testfix.c"
6 while ((*to++ = *from++) != '\0')
|
ここでプログラムを続行しても、NULL ポインタがスタックをプッシュしているためセグメント例外が返されます。pop コマンドを使用して、スタックフレームを 1 つ上がってください。
(dbx) pop
main で停止しました 行番号 14 ファイル "testfix.cc"
14 copy(buf);
|
ここでプログラムを続行すると、プログラムは実行されますが、大域変数 from がすでに増分されているため正しい値が出力されません。assign コマンドを使用しないと、プログラムは ships と表示すべきところを hips と表示します。assign コマンド を使用して大域変数を復元し、次に cont コマンドを使用してください。 プログラムは次のように正しい値を表示します。
(dbx) assign from = from-1 (dbx) cont ships |