JP2000227861A - デバッグ方法及びデバッグ装置 - Google Patents

Abstract

(57)【要約】 【課題】 デバッグ時に削除変数の値を表示する。 【解決手段】 削除変数情報作成部５は、最適化の課程
で削除された変数を示す削除変数情報を作成する。削除
変数更新情報作成部６は、削除変数が更新される位置と
その更新処理を示す削除変数更新情報を作成する。削除
変数更新実行部１３は、削除変数更新情報が示す位置が
実行されるとき、削除変数の更新後の値を削除変数更新
情報に基づいて計算して、削除変数用メモリ１７に記憶
された削除変数の値を更新する。変数表示部１４は、削
除変数の表示要求が発生したとき、削除変数用メモリ１
７に記憶された削除変数の値を表示する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、プログラムのデバ
ッグに係り、特にプログラムを最適化してコンパイルし
たときに最適化によって使用されなくなった削除変数を
管理し、削除変数の表示要求が発生したとき削除変数の
値を表示するデバッグ方法及びデバッグ装置に関するも
のである。

【０００２】

【従来の技術】ソフトウエアの実行効率を高めるため
に、コンパイル時に最適化を行うことは広く行われてい
る。最適化の方法として、変数の用途が計算途中の値を
一時的に保持するためだけに使用されているような場合
に、その変数を使わずに計算を行うよう、処理手順を変
更する場合がある。通常、変数を使用したプログラムを
実行する場合、変数はメモリ、レジスタなどの資源に割
り当てられ、値が保持される。したがって、デバッグ時
に該当メモリ、レジスタなどを参照することにより、変
数の値を表示しデバッグ作業の助けとすることができ
る。

【０００３】しかし、ソースプログラム中で使用してい
る変数が最適化によって使われなくなった場合、その変
数はメモリ、レジスタのいずれにも割り当てられず、値
は保持されない。さらに、最適化によって計算手順が変
更された場合、変数に格納されるべき値の計算が行われ
ない場合もある。このため、デバッグ時に値を表示する
などの操作は不可能である。ソースプログラムを最適化
せずにコンパイルすれば、このような問題は起こらない
が、この場合には、最適化せずにコンパイルしたもので
デバッグを行い、その後最適化してコンパイルしたもの
で再度デバッグを行うことになり、工数の増加は免れな
い。

【０００４】また近年、プログラムは高機能化してお
り、最適化して実行コードサイズを縮小又は処理速度を
高速化することを前提として設計を行う場合があり、最
適化しなければメモリ容量、あるいは処理速度の関係で
実行させることが不可能となる場合がある。この場合、
最適化しないでデバッグを行う方法は使用できない。し
たがって、ソースプログラムを最適化してコンパイルす
ることが前提条件である場合、最適化の課程で削除され
た変数（以下、削除変数と呼ぶ）を表示するには、削除
変数を実行プログラム以外の場所で管理して、その値を
計算し、更新する手段を用意する必要がある。

【０００５】従来のデバッグ方式、例えば特開昭６３−
２９２３３８号公報に開示されたプログラムデバッグ方
式では、変数に値が割り当てられていない、すなわち変
数がメモリ、レジスタのいずれにも割り当てられていな
いことをユーザに通知する構成を実現しているが、該変
数の値を表示することはできない。

【０００６】また、図１２に、特開平１０−２８９１１
０号公報に開示されたデバッグ装置の構成を示す。この
デバッグ装置において、デバッグ情報記憶部１０３は、
プログラム変換装置の最適化部１０５が行った最適化結
果を記憶する。コード実行部２０３は、デバッグ対象の
コードを実行コード記憶部１０２より得て実行する。実
行状態監視部２０４は、コード実行部２０３を監視し、
実行位置が資源割り当てされた変数やレジスタによる引
数の値渡しが発生したとき、実行状態をコード実行部２
０３から取得し、実行状態記憶部２０１に記録する。ユ
ーザが入力部２０２に対して変数参照の要求を出したと
き、変数値取得部２０５は、変数の値がコード実行部２
０３から取得不可能な場合、実行状態記憶部２０１より
値を得て変数値表示部２０６において表示する。このよ
うな構成により、図１２に示したデバッグ装置では、ユ
ーザから要求された変数の値を表示することができる。
しかし、図１２に示したデバッグ装置では、変数がメモ
リ、レジスタのいずれにも割り当てられていない場合、
実行状態記憶部２０１に変数の値が記憶されていないた
め、上記と同様に削除変数の値を表示することはできな
い。

【０００７】

【発明が解決しようとする課題】以上のように従来のデ
バッグ方法では、削除変数の値を表示することができな
いという問題点があった。本発明は、上記課題を解決す
るためになされたもので、デバッグ時に削除変数の値を
表示することができるデバッグ方法及びデバッグ装置を
提供することを目的とする。

【０００８】

【課題を解決するための手段】本発明のデバッグ方法
は、ソースプログラム（１）を最適化しコンパイルして
実行コード（７）を生成する際、最適化の課程で削除し
た変数を示す削除変数情報を作成すると共に、ソースプ
ログラムにおいて上記削除変数が更新される位置とその
更新処理を示す削除変数更新情報を作成する。また、ソ
ースプログラムのデバッグ時に、上記削除変数情報が示
す削除変数を記憶し、実行コードの実行中に上記削除変
数更新情報が示す位置を実行するとき、削除変数の更新
後の値を削除変数更新情報に基づいて計算して、記憶し
ている削除変数の値を更新する。そして、削除変数の表
示要求が発生したとき、削除変数の値を表示する。

【０００９】本発明のデバッグ装置は、ソースプログラ
ム（１）を最適化しコンパイルして実行コード（７）を
生成する際、最適化の課程で削除した変数を示す削除変
数情報を作成すると共に、ソースプログラムにおいて上
記削除変数が更新される位置とその更新処理を示す削除
変数更新情報を作成するコンパイラ（２）と、上記削除
変数情報が示す削除変数を記憶し、実行コードの実行中
に上記削除変数更新情報が示す位置を実行するとき、削
除変数の更新後の値を削除変数更新情報に基づいて計算
して、記憶している削除変数の値を更新し、削除変数の
表示要求が発生したとき、削除変数の値を表示するデバ
ッガ（１８）とを備えるものである。また、上述のコン
パイラの１構成例は、ソースプログラムを最適化しコン
パイルして実行コードを生成する手段（３，４）と、上
記削除変数情報を作成する削除変数情報作成手段（５）
と、上記削除変数更新情報を作成する削除変数更新情報
作成手段（６）とを有している。そして、デバッガの１
構成例は、上記削除変数情報が示す削除変数を記憶する
削除変数用メモリ（１７）と、実行コードを実行するコ
ード実行手段（１１）と、実行コードにおける実行位置
が上記削除変数更新情報が示す位置かどうかを検出する
削除変数更新検出手段（１２）と、上記削除変数更新情
報が示す位置が実行されるとき、削除変数の更新後の値
を削除変数更新情報に基づいて計算して、削除変数用メ
モリに記憶された削除変数の値を更新する削除変数更新
実行手段（１３）と、削除変数の表示要求が発生したと
き、削除変数用メモリに記憶された削除変数の値を表示
する変数表示手段（１４）とを有している。

【００１０】

【発明の実施の形態】次に、本発明の実施の形態につい
て図面を参照して詳細に説明する。図１は本発明の実施
の形態となるデバッグ装置の構成を示すブロック図であ
る。本実施の形態のデバッグ装置は、コンパイラ２、入
力部９、表示部１０、削除変数用メモリ１７、デバッガ
１８及びコード実行用メモリ１９から構成されている。
コンパイラ２は、最適化部３、翻訳部４、削除変数情報
作成部５及び削除変数更新情報作成部６を有し、デバッ
ガ１８は、コード実行部１１、削除変数更新検出部１
２、削除変数更新実行部１３、変数表示部１４及び変数
管理部１５を有している。

【００１１】最適化部３は、ソースプログラム１を読み
込み、このソースプログラム１を実行コード７のサイズ
が小さくなるように、あるいは実行速度が向上するよう
に最適化する。翻訳部４は、最適化部３が最適化したプ
ログラムを翻訳し、実行コード７を生成する。

【００１２】削除変数情報作成部５は、最適化部３が最
適化の過程で削除した変数（以下、削除変数と呼ぶ）を
削除変数情報としてデバッグ情報８に出力する。削除変
数更新情報作成部６は、削除変数の更新に関する情報を
削除変数更新情報としてデバッグ情報８に出力する。つ
まり、デバッグ情報８には削除変数情報と削除変数更新
情報が含まれる。

【００１３】コード実行部１１は、実行コード７を実行
する。削除変数更新検出部１２は、コード実行部１１が
実行した部分において、削除変数の値が更新されたかど
うかを検出する。削除変数更新実行部１３は、削除変数
の更新後の値を計算し、削除変数の値を更新する。変数
表示部１４はユーザによって指示された変数の値を表示
する。

【００１４】変数管理部１５は、変数が削除変数かどう
かを管理する。入力部９は、ユーザの指示を受け取る。
表示部１０は、変数表示部１４から出力された内容をユ
ーザに見える形で表示する。削除変数用メモリ１７は、
削除変数の値を保持するためのメモリである。そして、
変数管理情報１６は、変数が削除変数であるかどうかを
示す情報と、削除変数用メモリ１７上の削除変数の割り
当て先を示す情報とを含んでいる。

【００１５】次に、このようなデバッグ装置の動作を説
明する。図２は、コンパイラ２の動作を示すフローチャ
ート図である。コンパイラ２は、ソースプログラム１を
読み込んだ後（ステップＳ２０１）、最適化部３におい
てソースプログラム１を最適化する（ステップＳ２０
２）。翻訳部４は、最適化部３が最適化したプログラム
を実行コード７に変換して出力する（ステップＳ２０
３）。

【００１６】このとき、削除変数情報作成部５は、最適
化部３で最適化した情報に基づき、削除変数情報をデバ
ッグ情報８に出力する（ステップＳ２０４）。さらに、
削除変数更新情報作成部６は、ソースプログラム１にお
ける削除変数の更新位置とその更新処理（演算式等）を
示す削除変数更新情報をデバッグ情報８に出力する（ス
テップＳ２０５）。

【００１７】図３は、ソースプログラム１の１例を示す
図である。このプログラムは円の面積を求めるものであ
る。１行目は円の面積を求める関数の名前と引数を示し
ている。この関数の名前はｆｕｎｃで、円の半径の値を
受け取る引数としての変数ｒを持つ。

【００１８】円の面積は、面積＝半径＊半径＊３．１４
の公式で求められる。この計算を行うため、２行目で半
径ｒ＊半径ｒの値を計算し、その結果を変数ｘに格納
し、さらに３行目で変数ｘに３．１４を乗算し、結果を
変数ｓに格納する。変数ｓに格納された円の面積は、４
行目のリターン命令（ｒｅｔｕｒｎ）により、関数ｆｕ
ｎｃを呼び出したプログラムに返され、このプログラム
は終了する。

【００１９】図３のソースプログラム１では、計算を２
行目と３行目の２行に分けているが、計算が複雑で、デ
バッグの際に計算の各部分の値が知りたい場合などに、
１つの計算を複数行に分けることはよく行われる。これ
に対して、最適化部３は、最適化処理時の判断により、
プログラムの作成者の意図とは関係なく、複数の計算の
順序を変更し、あるいは計算をまとめて行う場合があ
る。

【００２０】図３のプログラムの作成者は、半径ｒ＊半
径ｒの値を変数ｘに格納し、変数ｘの値をデバッグ時に
参照することにより、計算が正しく行われるかどうかを
確認できるようにしている。この例では、簡単な計算式
を取り上げているが、複雑な計算であれば、複数の計算
式に分け、値を確認したいという要求は強くなるもので
ある。

【００２１】なお、関数ｆｕｎｃで使用している変数
は、関数ｆｕｎｃが実行されているときにのみ使用で
き、他の関数が実行されているときは、関数ｆｕｎｃで
使用している変数の値を参照、または変更することはで
きないものである。図３のソースプログラム１を、変数
を可能な限り使用しないように最適化して実行コード７
に変換する場合、図４のように最適化できる。

【００２２】図３のソースプログラム１の２行目と３行
目で行っている円の面積を求める計算を１行にまとめる
ことにより、変数ｘは必要ではなくなる。変数ｒは関数
の引数であり、半径の値を受け取るために必須であり、
また、変数ｓはリターン命令に値を渡すために必須であ
るため、この２つの変数を使用しないようにすることは
できない。

【００２３】図５は、図４のように最適化されたプログ
ラムの２行目を翻訳した結果をアセンブラ命令で示した
ものである。ｓ＝３．１４＊ｒ＊ｒの計算を行うため
に、１行目ではレジスタｒｅｇに３．１４を代入してい
る。次に、２行目でレジスタｒｅｇの値３．１４に半径
ｒを掛けて、この結果をレジスタｒｅｇに格納し、さら
に３行目でもう一度、レジスタｒｅｇの値に半径ｒを掛
けて、この結果をレジスタｒｅｇに格納する。そして、
レジスタｒｅｇの結果を４行目で変数ｓに代入してい
る。

【００２４】図５に示した計算手順では、変数ｘは使用
されない。また、この計算手順では３．１４＊半径ｒの
計算が先に行われるため、半径ｒ＊半径ｒの計算自体が
行われない。したがって単純に計算途中のメモリ、また
はレジスタの値を取り出し、保存するだけでは、削除変
数を表示するという目的を達することはできない。つま
り、削除変数ｘの値をデバッガ１８で別途計算する必要
がある。

【００２５】削除変数があるとき、削除変数情報作成部
５は、削除変数名を示す削除変数情報を作成し、これを
デバッグ情報８に書き込む。図６は、削除変数情報の１
構造例を示す図である。図６の削除変数情報は、変数ｘ
が削除変数であることを示している。

【００２６】また、削除変数更新情報作成部６は、ソー
スプログラム１に削除変数の値を変更する命令があると
き、その実行位置と変更後の値がいくつであるべきかを
示す削除変数更新情報を作成し、これをデバッグ情報８
に書き込む。図７は、削除変数更新情報の１構造例を示
す図である。図７の削除変数更新情報は、ソースプログ
ラム１の２行目で削除変数ｘの値を半径ｒ＊半径ｒに変
更することを示している。

【００２７】図８は、デバッガ１８の動作を示すフロー
チャート図である。デバッグ時に、デバッガ１８は、実
行コード７をコード実行用メモリ１９に読み込む（ステ
ップＳ３０１）。実行コード７はコード実行用メモリ１
９を使用して実行されるものである。また、実行コード
７が使用する変数は、実行コード７が実行される際に、
実行コード７によりコード実行用メモリ１９に適宜確保
される。

【００２８】続いて、デバッガ１８は、デバッグ情報８
を読み込む（ステップＳ３０２）。デバッガ１８内の変
数管理部１５は、デバッグ情報８に削除変数情報がある
かどうかを調べる（ステップＳ３０３）。そして、変数
管理部１５は、削除変数情報がある場合、削除変数情報
に登録されている削除変数を削除変数用メモリ１７に割
り当て（ステップＳ３０４）、削除変数の割り当て先を
管理するために変数管理情報１６を作成する（ステップ
Ｓ３０５）。

【００２９】図９は、変数管理情報１６の１構造例を示
す図である。図９の変数管理情報１６は、削除変数ｘを
削除変数用メモリ１７のデータ番号１に割り当てたこと
を示している。

【００３０】次に、デバッガ１８は、ユーザからの指示
を待つ（ステップＳ３０６）。ユーザは、入力部９を操
作して指示コマンドを入力する。ユーザの指示が終了コ
マンドであれば（ステップＳ３０７）、デバッガ１８は
処理を終了する。また、ユーザの指示が実行コマンドで
あれば（ステップＳ３０８）、デバッガ１８内のコード
実行部１１が実行コード７を実行する（ステップＳ３０
９）。

【００３１】また、ユーザの指示が変数表示コマンドで
あれば（ステップＳ３１０）、デバッガ１８内の変数表
示部１４がコマンドで指定された変数を表示部１０に表
示させる（ステップＳ３１１）。また、ユーザの指示が
それ以外のものであれば、デバッガ１８は、該当するコ
マンドの処理を行う（ステップＳ３１２）。

【００３２】図１０は、コード実行部１１の動作を示す
フローチャート図である。コード実行部１１は、ユーザ
の指示が実行コマンドであれば（ステップＳ３０８）、
ユーザが指示した範囲の実行コード７を実行する（ステ
ップＳ４０１）。削除変数更新検出部１２は、コード実
行部１１が実行コード７のどの位置を実行しているかを
調べ、その実行位置がデバッグ情報８内の削除変数更新
情報に記録されている位置に相当するかどうかを調べる
（ステップＳ４０２）。

【００３３】削除変数更新情報が示す位置に対応する位
置が実行された場合、削除変数更新実行部１３は、変数
管理部１５に削除変数の割り当て先を問い合わせる（ス
テップＳ４０３）。変数管理部１５は、変数管理情報１
６の中から該削除変数に対応する情報を検索し、これを
削除変数更新実行部１３へ返す（ステップＳ４０４）。

【００３４】削除変数更新実行部１３は、削除変数更新
情報内の更新処理情報（ここでは、ｒ＊ｒ）を基に削除
変数の更新後の値を計算する（ステップＳ４０５）。そ
して、削除変数更新実行部１３は、変数管理部１５から
受け取った変数管理情報１６を基に、削除変数用メモリ
１７上の該変数管理情報１６が示す位置に格納された削
除変数の値を計算した値に変更する（ステップＳ４０
６）。

【００３５】図１１は、変数表示部１４の動作を示すフ
ローチャート図である。変数表示部１４は、ユーザの指
示が変数表示を要求する変数表示コマンドであれば（ス
テップＳ３１０）、変数表示コマンドで指定された変数
が削除変数かどうかを調べる（ステップＳ５０１）。変
数表示部１４は、表示すべき変数が削除変数であれば、
変数管理部１５に削除変数の割り当て先を問い合わせる
（ステップＳ５０２）。

【００３６】変数管理部１５は、変数管理情報１６の中
から該削除変数に対応する情報を検索し、これを変数表
示部１４へ返す（ステップＳ５０３）。変数表示部１４
は、削除変数用メモリ１７上の該変数管理情報１６が示
す位置に格納された削除変数の値を取得し（ステップＳ
５０４）、取得した削除変数の値を表示部１０に表示さ
せる（ステップＳ５０６）。

【００３７】また、変数表示部１４は、表示すべき変数
が削除変数でない場合、コード実行用メモリ１９に割り
当てられた変数の値を取得し（ステップＳ５０５）、取
得した変数の値を表示部１０に表示させる（ステップＳ
５０６）。

【００３８】従来、削除変数の値は一時的にも、あるい
は永続的にも、どこにも保持されなかった。また、最適
化によって計算の順序が変更されることにより、変数に
代入されるべき値そのものの計算が行われない場合もあ
る。したがって、デバッグ時に削除変数の値を表示する
ことは不可能であった。

【００３９】これに対し本発明では、削除変数情報を削
除変数情報作成部５で作成すると共に、削除変数更新情
報を削除変数更新情報作成部６で作成する。デバッガ１
８は、削除変数情報に記録された削除変数の値を削除変
数用メモリ１７を使用して記憶する。さらに、削除変数
更新情報の指示に従い値を計算し、更新する。こうし
て、削除変数を、デバッグ作業者によって指定された任
意の時点で表示することが可能となる。

【００４０】

【発明の効果】本発明によれば、削除変数をデバッガが
管理し、この削除変数の値をデバッガが計算して、更
新、保持するため、削除変数の値を表示することがで
き、デバッグの助けとすることができる。

【図面の簡単な説明】

【図１】 本発明の実施の形態となるデバッグ装置の構
成を示すブロック図である。

【図２】 図１のコンパイラの動作を示すフローチャー
ト図である。

【図３】 ソースプログラム１の１例を示す図である。

【図４】 最適化後のソースプログラム１の１例を示す
図である。

【図５】 最適化後のソースプログラムの２行目を翻訳
した結果を示す図である。

【図６】 削除変数情報の１構造例を示す図である。

【図７】 削除変数更新情報の１構造例を示す図であ
る。

【図８】 図１のデバッガの動作を示すフローチャート
図である。

【図９】 変数管理情報の１構造例を示す図である。

【図１０】 図１のコード実行部の動作を示すフローチ
ャート図である。

【図１１】 図１の変数表示部の動作を示すフローチャ
ート図である。

【図１２】 従来のデバッグ装置の構成を示すブロック
図である。

【符号の説明】 １…ソースプログラム、２…コンパイラ、３…最適化
部、４…翻訳部、５…削除変数情報作成部、６…削除変
数更新情報作成部、７…実行コード、８…デバッグ情
報、９…入力部、１０…表示部、１１…コード実行部、
１２…削除変数更新検出部、１３…削除変数更新実行
部、１４…変数表示部、１５…変数管理部、１６…変数
管理情報、１７…削除変数用メモリ、１８…デバッガ、
１９…コード実行用メモリ。

─────────────────────────────────────────────────────

【手続補正書】

【提出日】平成１２年１月２７日（２０００．１．２
７）

【手続補正１】

【補正対象書類名】明細書

【補正対象項目名】特許請求の範囲

【補正方法】変更

【補正内容】

【特許請求の範囲】

【手続補正２】

【補正対象書類名】明細書

【補正対象項目名】０００８

【補正方法】変更

【補正内容】

【０００８】

【課題を解決するための手段】本発明のデバッグ方法
は、ソースプログラム（１）を最適化しコンパイルして
実行コード（７）を生成する際、最適化する前からソー
スプログラムに存在し、かつ最適化の課程で削除した削
除変数を示す削除変数情報を作成すると共に、ソースプ
ログラムにおいて上記削除変数が更新される位置とその
更新処理を示す削除変数更新情報を作成する。また、ソ
ースプログラムのデバッグ時に、上記削除変数情報が示
す削除変数を記憶し、実行コードの実行中に上記削除変
数更新情報が示す位置を実行するとき、削除変数の更新
後の値を削除変数更新情報に基づいて計算して、記憶し
ている削除変数の値を更新する。そして、削除変数の表
示要求が発生したとき、削除変数の値を表示する。

【手続補正３】

【補正対象書類名】明細書

【補正対象項目名】０００９

【補正方法】変更

【補正内容】

【０００９】本発明のデバッグ装置は、ソースプログラ
ム（１）を最適化しコンパイルして実行コード（７）を
生成する際、最適化する前からソースプログラムに存在
し、かつ最適化の課程で削除した削除変数を示す削除変
数情報を作成すると共に、ソースプログラムにおいて上
記削除変数が更新される位置とその更新処理を示す削除
変数更新情報を作成するコンパイラ（２）と、上記削除
変数情報が示す削除変数を記憶し、実行コードの実行中
に上記削除変数更新情報が示す位置を実行するとき、削
除変数の更新後の値を削除変数更新情報に基づいて計算
して、記憶している削除変数の値を更新し、削除変数の
表示要求が発生したとき、削除変数の値を表示するデバ
ッガ（１８）とを備えるものである。また、上述のコン
パイラの１構成例は、ソースプログラムを最適化しコン
パイルして実行コードを生成する手段（３，４）と、上
記削除変数情報を作成する削除変数情報作成手段（５）
と、上記削除変数更新情報を作成する削除変数更新情報
作成手段（６）とを有している。そして、デバッガの１
構成例は、上記削除変数情報が示す削除変数を記憶する
削除変数用メモリ（１７）と、実行コードを実行するコ
ード実行手段（１１）と、実行コードにおける実行位置
が上記削除変数更新情報が示す位置かどうかを検出する
削除変数更新検出手段（１２）と、上記削除変数更新情
報が示す位置が実行されるとき、削除変数の更新後の値
を削除変数更新情報に基づいて計算して、削除変数用メ
モリに記憶された削除変数の値を更新する削除変数更新
実行手段（１３）と、削除変数の表示要求が発生したと
き、削除変数用メモリに記憶された削除変数の値を表示
する変数表示手段（１４）とを有している。

Claims (3)

【特許請求の範囲】
1. 【請求項１】 ソースプログラムを最適化しコンパイル
   して実行コードを生成する際、最適化の課程で削除した
   変数を示す削除変数情報を作成すると共に、ソースプロ
   グラムにおいて前記削除変数が更新される位置とその更
   新処理を示す削除変数更新情報を作成し、 前記ソースプログラムのデバッグ時に、前記削除変数情
   報が示す削除変数を記憶し、実行コードの実行中に前記
   削除変数更新情報が示す位置を実行するとき、削除変数
   の更新後の値を削除変数更新情報に基づいて計算して、
   記憶している削除変数の値を更新し、 削除変数の表示要求が発生したとき、削除変数の値を表
   示することを特徴とするデバッグ方法。
2. 【請求項２】 ソースプログラムを最適化しコンパイル
   して実行コードを生成する際、最適化の課程で削除した
   変数を示す削除変数情報を作成すると共に、ソースプロ
   グラムにおいて前記削除変数が更新される位置とその更
   新処理を示す削除変数更新情報を作成するコンパイラ
   と、 前記削除変数情報が示す削除変数を記憶し、実行コード
   の実行中に前記削除変数更新情報が示す位置を実行する
   とき、削除変数の更新後の値を削除変数更新情報に基づ
   いて計算して、記憶している削除変数の値を更新し、削
   除変数の表示要求が発生したとき、削除変数の値を表示
   するデバッガとを備えることを特徴とするデバッグ装
   置。
3. 【請求項３】 請求項２記載のデバッグ装置において、 前記コンパイラは、ソースプログラムを最適化しコンパ
   イルして実行コードを生成する手段と、 前記削除変数情報を作成する削除変数情報作成手段と、 前記削除変数更新情報を作成する削除変数更新情報作成
   手段とを有し、 前記デバッガは、前記削除変数情報が示す削除変数を記
   憶する削除変数用メモリと、 実行コードを実行するコード実行手段と、 実行コードにおける実行位置が前記削除変数更新情報が
   示す位置かどうかを検出する削除変数更新検出手段と、 前記削除変数更新情報が示す位置が実行されるとき、削
   除変数の更新後の値を削除変数更新情報に基づいて計算
   して、削除変数用メモリに記憶された削除変数の値を更
   新する削除変数更新実行手段と、 削除変数の表示要求が発生したとき、削除変数用メモリ
   に記憶された削除変数の値を表示する変数表示手段とを
   有することを特徴とするデバッグ装置。