JPH05204705A - 未定義変数検出処理方法 - Google Patents
未定義変数検出処理方法Info
- Publication number
- JPH05204705A JPH05204705A JP4015225A JP1522592A JPH05204705A JP H05204705 A JPH05204705 A JP H05204705A JP 4015225 A JP4015225 A JP 4015225A JP 1522592 A JP1522592 A JP 1522592A JP H05204705 A JPH05204705 A JP H05204705A
- Authority
- JP
- Japan
- Prior art keywords
- variable
- variables
- undefined
- block
- library
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Landscapes
- Debugging And Monitoring (AREA)
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】
【目的】ソースプログラム10をデバッグ用オブジェクト
プログラム12に翻訳するコンパイラ11における未定義変
数検出処理方法に関し，検査対象プログラムの実行性能
を向上させることを目的とする。 【構成】処理過程P1により，翻訳対象プログラム中の実
行制御の単位となるブロックB1,B2,…ごとに，検査が必
要な変数を抽出する。処理過程P2では，各ブロックごと
に抽出した変数を集め，検査が必要な変数をまとめて指
定して, 未定義変数の検査ライブラリ13を呼び出す命令
を，オブジェクトプログラム12における各ブロックの先
頭に挿入する。
プログラム12に翻訳するコンパイラ11における未定義変
数検出処理方法に関し，検査対象プログラムの実行性能
を向上させることを目的とする。 【構成】処理過程P1により，翻訳対象プログラム中の実
行制御の単位となるブロックB1,B2,…ごとに，検査が必
要な変数を抽出する。処理過程P2では，各ブロックごと
に抽出した変数を集め，検査が必要な変数をまとめて指
定して, 未定義変数の検査ライブラリ13を呼び出す命令
を，オブジェクトプログラム12における各ブロックの先
頭に挿入する。
Description
【０００１】
【産業上の利用分野】本発明は，ＦＯＲＴＲＡＮプログ
ラムのデバッグなどにおいて，未定義変数の引用を高速
に検出できるようにしたコンパイラにおける未定義変数
検出処理方法に関する。
ラムのデバッグなどにおいて，未定義変数の引用を高速
に検出できるようにしたコンパイラにおける未定義変数
検出処理方法に関する。
【０００２】ソースプログラムをデバッグオプションを
選択してコンパイルすることにより，その翻訳結果の実
行によって，デバッグ情報を収集できるようにすること
が行われている。そのため，コンパイラは，デバッグオ
プション時に各種のプログラムの正当性を検査するライ
ブラリ呼び出しをプログラム中に挿入する。このような
プログラムの実行では，検査ライブラリの呼び出しによ
って実行時間が長くかかるので，その高速化が必要とさ
れる。
選択してコンパイルすることにより，その翻訳結果の実
行によって，デバッグ情報を収集できるようにすること
が行われている。そのため，コンパイラは，デバッグオ
プション時に各種のプログラムの正当性を検査するライ
ブラリ呼び出しをプログラム中に挿入する。このような
プログラムの実行では，検査ライブラリの呼び出しによ
って実行時間が長くかかるので，その高速化が必要とさ
れる。
【０００３】
【従来の技術】例えばＦＯＲＴＲＡＮなどのプログラミ
ング言語では，未定義な変数（値を設定していない変
数）を引用してはならない。未定義な変数を引用した場
合，システムまたは動作環境によって，得られる結果が
変わってくるからである。そこで，デバッグオプション
を選択してコンパイルすることにより，次のような未定
義な変数の引用を検出する処理を，コンパイル結果に組
み込むことが行われている。
ング言語では，未定義な変数（値を設定していない変
数）を引用してはならない。未定義な変数を引用した場
合，システムまたは動作環境によって，得られる結果が
変わってくるからである。そこで，デバッグオプション
を選択してコンパイルすることにより，次のような未定
義な変数の引用を検出する処理を，コンパイル結果に組
み込むことが行われている。
【０００４】１）まず，プログラムの実行の直前で，変
数に特定の値を設定する。 ２）変数の引用の直前で，未定義変数の検査ライブラリ
を呼び出し，そのライブラリでは，その変数が未定義な
値（特定の値を持った変数）の引用かどうかを検査し，
未定義な値であれば，診断メッセージを出力する。
数に特定の値を設定する。 ２）変数の引用の直前で，未定義変数の検査ライブラリ
を呼び出し，そのライブラリでは，その変数が未定義な
値（特定の値を持った変数）の引用かどうかを検査し，
未定義な値であれば，診断メッセージを出力する。
【０００５】図５は従来技術の説明図である。例えば，
図５の（イ）に示すＦＯＲＴＲＡＮで記述されたソース
プログラム１０を，未定義変数引用の検査を指定するデ
バッグオプションを選択してコンパイルすると，従来，
図５の（ロ）に示す内容を持つオブジェクトプログラム
１２を生成していた。なお，（ロ）では，説明を分かり
やすくするためにソースイメージで表している。
図５の（イ）に示すＦＯＲＴＲＡＮで記述されたソース
プログラム１０を，未定義変数引用の検査を指定するデ
バッグオプションを選択してコンパイルすると，従来，
図５の（ロ）に示す内容を持つオブジェクトプログラム
１２を生成していた。なお，（ロ）では，説明を分かり
やすくするためにソースイメージで表している。
【０００６】オブジェクトプログラム１２の動作は，次
のようになる。最初に，未定義状態を検出するための特
定の値を変数に設定するライブラリを呼び出す。ブロッ
ク（＃００１）では，ＲＥＡＤを実行するライブラリを
呼び出す。ブロック（＃０１０）では，Ｉ＝Ｋ＋Ｌで引
用されている変数Ｋ，Ｌが未定義でないかを検査するた
めに，それぞれ未定義変数の検査ライブラリを呼び出
し，その後にＩ＝Ｋ＋Ｌの演算を実行する。また，Ａ
（Ｍ）＝Ｊで引用される変数Ｊ，Ｍについても未定義変
数の検査ライブラリを呼び出し，未定義でないかを検査
した後，配列Ａへの代入を実行する。以降も同様であ
る。
のようになる。最初に，未定義状態を検出するための特
定の値を変数に設定するライブラリを呼び出す。ブロッ
ク（＃００１）では，ＲＥＡＤを実行するライブラリを
呼び出す。ブロック（＃０１０）では，Ｉ＝Ｋ＋Ｌで引
用されている変数Ｋ，Ｌが未定義でないかを検査するた
めに，それぞれ未定義変数の検査ライブラリを呼び出
し，その後にＩ＝Ｋ＋Ｌの演算を実行する。また，Ａ
（Ｍ）＝Ｊで引用される変数Ｊ，Ｍについても未定義変
数の検査ライブラリを呼び出し，未定義でないかを検査
した後，配列Ａへの代入を実行する。以降も同様であ
る。
【０００７】以上のように，従来技術では，変数が引用
される直前で，各変数ごとに未定義変数の検査ライブラ
リを呼び出すようにしていた。
される直前で，各変数ごとに未定義変数の検査ライブラ
リを呼び出すようにしていた。
【０００８】
【発明が解決しようとする課題】従来の方式では，以下
のような問題がある。 (1) ライブラリは呼び出されるたびにレジスタの退避な
どを行うので，その実行にかなりの時間がかかるが，従
来技術によると，変数の引用ごとにライブラリ呼び出し
が発生するので，ライブラリ呼び出しの回数が多くな
り，実行性能が極端に落ちる。
のような問題がある。 (1) ライブラリは呼び出されるたびにレジスタの退避な
どを行うので，その実行にかなりの時間がかかるが，従
来技術によると，変数の引用ごとにライブラリ呼び出し
が発生するので，ライブラリ呼び出しの回数が多くな
り，実行性能が極端に落ちる。
【０００９】(2) 変数の引用のたびに，変数の値を参照
するライブラリ呼び出しを行うと，その変数の値を必ず
メモリに格納しなければならないので，レジスタだけで
変数の値を保持したり，後続の命令に伝播したりするこ
とができず，また，同じ形で何回も現れる共通式の削除
を実施することができない。
するライブラリ呼び出しを行うと，その変数の値を必ず
メモリに格納しなければならないので，レジスタだけで
変数の値を保持したり，後続の命令に伝播したりするこ
とができず，また，同じ形で何回も現れる共通式の削除
を実施することができない。
【００１０】(3) 例えばＦＯＲＴＲＡＮでは，ブロック
単位（図５の（ロ）に示すオブジェクトプログラム１２
において，＃ｎｎｎで示されている範囲）で，一度検査
すればよい変数であるにもかかわらず，複数回呼び出す
ことになり，無駄なライブラリ呼び出しにより性能が劣
化する。
単位（図５の（ロ）に示すオブジェクトプログラム１２
において，＃ｎｎｎで示されている範囲）で，一度検査
すればよい変数であるにもかかわらず，複数回呼び出す
ことになり，無駄なライブラリ呼び出しにより性能が劣
化する。
【００１１】本発明は上記問題点の解決を図り，未定義
変数の検出を，制御が渡される単位であるブロックの先
頭でまとめて行うことにより，検査ライブラリの呼び出
し回数を減らし，高速な実行を可能とすることを目的と
している。
変数の検出を，制御が渡される単位であるブロックの先
頭でまとめて行うことにより，検査ライブラリの呼び出
し回数を減らし，高速な実行を可能とすることを目的と
している。
【００１２】
【課題を解決するための手段】図１は本発明の原理説明
図である。図１において，１０はＦＯＲＴＲＡＮなどの
高級言語で記述されたソースプログラム，１１はコンパ
イラ，１２は機械語に翻訳されたオブジェクトプログラ
ム，１３はオブジェクトプログラム１２から呼び出さ
れ，未定義変数引用の検査を行う未定義変数の検査ライ
ブラリを表す。
図である。図１において，１０はＦＯＲＴＲＡＮなどの
高級言語で記述されたソースプログラム，１１はコンパ
イラ，１２は機械語に翻訳されたオブジェクトプログラ
ム，１３はオブジェクトプログラム１２から呼び出さ
れ，未定義変数引用の検査を行う未定義変数の検査ライ
ブラリを表す。
【００１３】コンパイラ１１は，未定義変数引用の検査
に関するデバッグオプションの選択により，ソースプロ
グラム１０の翻訳を指示されると，未定義変数の検査ラ
イブラリ１３を呼び出す命令を挿入したオブジェクトプ
ログラム１２を生成する。この際に，本発明では次の処
理を行う。
に関するデバッグオプションの選択により，ソースプロ
グラム１０の翻訳を指示されると，未定義変数の検査ラ
イブラリ１３を呼び出す命令を挿入したオブジェクトプ
ログラム１２を生成する。この際に，本発明では次の処
理を行う。
【００１４】処理過程Ｐ１により，ソースプログラム１
０の解析結果である中間コードを調べ，そのプログラム
中において実行制御の単位となるブロックＢ１，Ｂ２，
…ごとに，検査が必要な変数を抽出する。
０の解析結果である中間コードを調べ，そのプログラム
中において実行制御の単位となるブロックＢ１，Ｂ２，
…ごとに，検査が必要な変数を抽出する。
【００１５】そして，処理過程Ｐ２により，各ブロック
ごとに抽出した変数を集め，検査が必要な変数をまとめ
て指定する未定義変数の検査ライブラリ１３を呼び出す
命令を，オブジェクトプログラム１２における各ブロッ
クＢ１，Ｂ２，…の先頭に挿入する処理を行う。
ごとに抽出した変数を集め，検査が必要な変数をまとめ
て指定する未定義変数の検査ライブラリ１３を呼び出す
命令を，オブジェクトプログラム１２における各ブロッ
クＢ１，Ｂ２，…の先頭に挿入する処理を行う。
【００１６】
【作用】本発明では，分岐などにより実行制御が渡され
る単位をブロックとし，ブロックの途中で値の確定する
変数を引用しているために，先頭へまとめられない場合
を除き，未定義変数引用の検査を常にブロックの先頭で
まとめて行う。例えば，ブロックＢ１において，変数
Ａ，Ｂ，Ｃの３つが引用（参照）されていたとすると，
その３個の変数をブロックＢ１の先頭でまとめて，一度
の未定義変数の検査ライブラリ１３の呼び出しで，検査
を行う。
る単位をブロックとし，ブロックの途中で値の確定する
変数を引用しているために，先頭へまとめられない場合
を除き，未定義変数引用の検査を常にブロックの先頭で
まとめて行う。例えば，ブロックＢ１において，変数
Ａ，Ｂ，Ｃの３つが引用（参照）されていたとすると，
その３個の変数をブロックＢ１の先頭でまとめて，一度
の未定義変数の検査ライブラリ１３の呼び出しで，検査
を行う。
【００１７】さらに，１つのブロック内で同じ変数が２
回引用されていても，未定義変数の検査ライブラリ１３
の呼び出しを複数回行うことはしない。したがって，未
定義変数の検査ライブラリ１３の呼び出し回数が非常に
少なくなる。
回引用されていても，未定義変数の検査ライブラリ１３
の呼び出しを複数回行うことはしない。したがって，未
定義変数の検査ライブラリ１３の呼び出し回数が非常に
少なくなる。
【００１８】なお，未定義変数引用の検査でブロックの
先頭へまとめられない場合とは，以下のＡ（Ｊ）のよう
にブロックの途中で値が確定する場合である。
先頭へまとめられない場合とは，以下のＡ（Ｊ）のよう
にブロックの途中で値が確定する場合である。
【００１９】
【実施例】図２は本発明の実施例による処理構成ブロッ
ク図，図３は本発明の実施例によるオブジェクトプログ
ラムの生成例を示す図，図４は本発明の実施例のフロー
チャートである。
ク図，図３は本発明の実施例によるオブジェクトプログ
ラムの生成例を示す図，図４は本発明の実施例のフロー
チャートである。
【００２０】図２において，図１と同符号のものは図１
に示すものに対応する。２０はＣＰＵおよびメモリなど
からなり，コンパイラ１１を動作させる処理装置であ
る。コンパイラ１１において，構文解析部２１は，ソー
スプログラム１０を入力し，構文を解析するものであ
る。意味解析部２２は，構文の解析結果から各字句の意
味を調べ，その解析結果を中間コードに変換する処理を
行うものである。
に示すものに対応する。２０はＣＰＵおよびメモリなど
からなり，コンパイラ１１を動作させる処理装置であ
る。コンパイラ１１において，構文解析部２１は，ソー
スプログラム１０を入力し，構文を解析するものであ
る。意味解析部２２は，構文の解析結果から各字句の意
味を調べ，その解析結果を中間コードに変換する処理を
行うものである。
【００２１】デバッグ用変換部２３は，コンパイラ１１
の起動時にデバッグオプションの選択指示があると，意
味解析部２２の出力した中間コードを，デバッグ情報を
取得するための中間コードに変換するものである。本発
明は，特に，このデバッグ用変換部２３が行う処理に関
連している。検査が必要な未定義変数を抽出するため
に，変数名記憶域２４，２５を用意する。変数名記憶域
２４は，検査対象のブロック内で定義されている変数
名を記憶する領域で，変数名記憶域は，ブロック内で
値が参照されているため検査が必要な変数名を記憶する
領域である。
の起動時にデバッグオプションの選択指示があると，意
味解析部２２の出力した中間コードを，デバッグ情報を
取得するための中間コードに変換するものである。本発
明は，特に，このデバッグ用変換部２３が行う処理に関
連している。検査が必要な未定義変数を抽出するため
に，変数名記憶域２４，２５を用意する。変数名記憶域
２４は，検査対象のブロック内で定義されている変数
名を記憶する領域で，変数名記憶域は，ブロック内で
値が参照されているため検査が必要な変数名を記憶する
領域である。
【００２２】最適化部２６は，重複した無駄な処理の削
除や共通式の統合などの最適化処理を行うものである。
コード生成部２７は，最適化された中間コードをもとに
オブジェクトプログラム１２を生成する処理を行うもの
である。
除や共通式の統合などの最適化処理を行うものである。
コード生成部２７は，最適化された中間コードをもとに
オブジェクトプログラム１２を生成する処理を行うもの
である。
【００２３】図３の（イ）は，ソースプログラム１０の
例を示しており，図３の（ロ）は，それを翻訳したオブ
ジェクトプログラム１２の内容をソースイメージで示し
ている。このプログラムは，ＦＯＲＴＲＡＮ言語で記述
されているが，他のプログラミング言語おいても同様に
本発明を適用することが可能である。
例を示しており，図３の（ロ）は，それを翻訳したオブ
ジェクトプログラム１２の内容をソースイメージで示し
ている。このプログラムは，ＦＯＲＴＲＡＮ言語で記述
されているが，他のプログラミング言語おいても同様に
本発明を適用することが可能である。
【００２４】ＦＯＲＴＲＡＮでは，プログラム中の１，
１０，２０，３０という文番号以外のところに実行制御
が渡ることはないので，文番号が付けられているところ
を各ブロックの先頭とする。
１０，２０，３０という文番号以外のところに実行制御
が渡ることはないので，文番号が付けられているところ
を各ブロックの先頭とする。
【００２５】図３の（ロ）に示すように，最初に，未定
義状態を検出するための特定の値を変数に設定するライ
ブラリを呼び出す。各変数の領域に特定の値を設定して
おくことにより，後で未定義変数の検査ライブラリ１３
が呼び出されたときに，未定義変数の検査ライブラリ１
３では，その特定の値が変更されているかどうかを調
べ，呼び出し時に未定義であるか定義済みであるかを判
定することができる。この特定の値を設定するライブラ
リの呼び出しについては，従来と同様である。
義状態を検出するための特定の値を変数に設定するライ
ブラリを呼び出す。各変数の領域に特定の値を設定して
おくことにより，後で未定義変数の検査ライブラリ１３
が呼び出されたときに，未定義変数の検査ライブラリ１
３では，その特定の値が変更されているかどうかを調
べ，呼び出し時に未定義であるか定義済みであるかを判
定することができる。この特定の値を設定するライブラ
リの呼び出しについては，従来と同様である。
【００２６】ブロック（＃００１）では，ＲＥＡＤを実
行するライブラリを呼び出す。ブロック（＃０１０）で
は，Ｉ＝Ｋ＋Ｌで引用されている変数としてＫ，Ｌがあ
り，Ａ（Ｍ）＝Ｊで引用されている変数としてＪ，Ｍが
ある。そこで，これらをまとめて，ブロックの先頭で未
定義変数の検査ライブラリ１３を呼び出す。パラメータ
として，変数の個数と変数のリストを指定する。
行するライブラリを呼び出す。ブロック（＃０１０）で
は，Ｉ＝Ｋ＋Ｌで引用されている変数としてＫ，Ｌがあ
り，Ａ（Ｍ）＝Ｊで引用されている変数としてＪ，Ｍが
ある。そこで，これらをまとめて，ブロックの先頭で未
定義変数の検査ライブラリ１３を呼び出す。パラメータ
として，変数の個数と変数のリストを指定する。
【００２７】ブロック（＃０２０）でも，そのブロック
内で引用されている変数をまとめ，ブロックの先頭で未
定義変数の検査ライブラリ１３の呼び出しを行う。ここ
では，変数Ｍ，変数Ａ（Ｍ），変数Ｎ，変数Ｉが，一度
の未定義変数の検査ライブラリ１３の呼び出しで検査さ
れることになる。
内で引用されている変数をまとめ，ブロックの先頭で未
定義変数の検査ライブラリ１３の呼び出しを行う。ここ
では，変数Ｍ，変数Ａ（Ｍ），変数Ｎ，変数Ｉが，一度
の未定義変数の検査ライブラリ１３の呼び出しで検査さ
れることになる。
【００２８】図２に示すデバッグ用変換部２３における
本発明に関係する部分の処理は，例えば図４に示す(a)
〜(n) のようになっている。 (a) 実行制御の単位であるブロックを取り出す。
本発明に関係する部分の処理は，例えば図４に示す(a)
〜(n) のようになっている。 (a) 実行制御の単位であるブロックを取り出す。
【００２９】(b) ブロックが終了したならば，デバッグ
用への変換処理を終了する。 (c) ブロックを取り出すことができたならば，図４の
（ロ）に示す変数の抽出処理を実行する。抽出した変数
は，変数名記憶域に格納される。
用への変換処理を終了する。 (c) ブロックを取り出すことができたならば，図４の
（ロ）に示す変数の抽出処理を実行する。抽出した変数
は，変数名記憶域に格納される。
【００３０】(d) 検査が必要な変数を抽出したならば，
変数の個数と変数名記憶域に格納された情報をもと
に，未定義変数の検査ライブラリ１３へのパラメタを作
成する。
変数の個数と変数名記憶域に格納された情報をもと
に，未定義変数の検査ライブラリ１３へのパラメタを作
成する。
【００３１】(e) 現在処理中のブロックの先頭に，未定
義変数の検査ライブラリ１３を呼び出す命令を挿入す
る。その後，処理(a) へ戻り，次のブロックの処理を行
う。 (f) 変数の抽出処理では，まず変数の個数を０に初期化
し，また変数名記憶域，をクリアする。
義変数の検査ライブラリ１３を呼び出す命令を挿入す
る。その後，処理(a) へ戻り，次のブロックの処理を行
う。 (f) 変数の抽出処理では，まず変数の個数を０に初期化
し，また変数名記憶域，をクリアする。
【００３２】(g) 次にそのブロック内で引用されている
変数を，１つずつ順に取り出す。 (h) 取り出す変数がなくなったならば，変数の抽出処理
を終了する。 (i) 取り出した変数が値を参照しているものか，値を定
義しているものかを調べる。値を参照しているものであ
れば，処理(k) へ進む。
変数を，１つずつ順に取り出す。 (h) 取り出す変数がなくなったならば，変数の抽出処理
を終了する。 (i) 取り出した変数が値を参照しているものか，値を定
義しているものかを調べる。値を参照しているものであ
れば，処理(k) へ進む。
【００３３】(j) 取り出した変数が値を定義しているも
のであれば，その変数名を定義された名前として記憶す
るために，変数名記憶域に格納する。その後，処理
(g) へ戻り，次の変数の処理に移る。
のであれば，その変数名を定義された名前として記憶す
るために，変数名記憶域に格納する。その後，処理
(g) へ戻り，次の変数の処理に移る。
【００３４】(k) 取り出した変数が値を参照しているも
のであれば，その変数が，変数名記憶域に，定義され
た名前として存在するかどうかを調べる。ブロック内で
既に定義された名前として，変数名記憶域に登録され
ていれば，その変数の検査は必要ないので，処理(g) へ
戻り，次の変数の処理に移る。
のであれば，その変数が，変数名記憶域に，定義され
た名前として存在するかどうかを調べる。ブロック内で
既に定義された名前として，変数名記憶域に登録され
ていれば，その変数の検査は必要ないので，処理(g) へ
戻り，次の変数の処理に移る。
【００３５】(l) その変数が既定義でなければ，既にそ
の変数が検査対象として変数記憶域に登録されている
かどうかを調べる。変数記憶域に登録されていれば，
重複検査の必要がないので，処理(g) へ戻り，次の変数
の処理に移る。
の変数が検査対象として変数記憶域に登録されている
かどうかを調べる。変数記憶域に登録されていれば，
重複検査の必要がないので，処理(g) へ戻り，次の変数
の処理に移る。
【００３６】(m) 変数記憶域に登録されていなけれ
ば，検査対象の変数の個数に１を足す。 (n) 未定義変数引用の検査が必要な変数として，変数記
憶域に名前を登録する。その後，処理(g) へ戻り，次
の変数の処理に移る。
ば，検査対象の変数の個数に１を足す。 (n) 未定義変数引用の検査が必要な変数として，変数記
憶域に名前を登録する。その後，処理(g) へ戻り，次
の変数の処理に移る。
【００３７】なお，従来の未定義変数の検査ライブラリ
１３では，１回の呼び出しで１つの変数だけを検査して
いたが，本発明では，複数の変数の検査を行なえるよう
に，未定義変数の検査ライブラリ１３のインタフェース
に以下の情報を追加する。
１３では，１回の呼び出しで１つの変数だけを検査して
いたが，本発明では，複数の変数の検査を行なえるよう
に，未定義変数の検査ライブラリ１３のインタフェース
に以下の情報を追加する。
【００３８】(1) 検査する変数の個数：ｎ (2) 検査する変数の情報（ｎ） 未定義変数の検査ライブラリ１３では，検査する変数の
個数だけ変数情報を取り出して，その各々について従来
と同様な検査を行う。
個数だけ変数情報を取り出して，その各々について従来
と同様な検査を行う。
【００３９】
【発明の効果】以上説明したように，本発明によれば，
次のような効果がある。 (1) ライブラリ呼び出しの回数が減り，実行性能が向上
する。
次のような効果がある。 (1) ライブラリ呼び出しの回数が減り，実行性能が向上
する。
【００４０】(2) 検査する変数の個数が減り，実行性能
が向上する。 (3) 検査対象の変数はライブラリで参照されるが，その
位置が局所化されるので，共通式の削除（例えば図３に
示すＡ（Ｍ）の共通化）やレジスタの伝播などの最適化
が実施され，実行性能が向上する。
が向上する。 (3) 検査対象の変数はライブラリで参照されるが，その
位置が局所化されるので，共通式の削除（例えば図３に
示すＡ（Ｍ）の共通化）やレジスタの伝播などの最適化
が実施され，実行性能が向上する。
【図１】本発明の原理説明図である。
【図２】本発明の実施例による処理構成ブロック図であ
る。
る。
【図３】本発明の実施例によるオブジェクトプログラム
の生成例を示す図である。
の生成例を示す図である。
【図４】本発明の実施例のフローチャートである。
【図５】従来技術の説明図である。
１０ ソースプログラム １１ コンパイラ １２ オブジェクトプログラム １３ 未定義変数の検査ライブラリ Ｐ１〜Ｐ２ 処理過程
Claims (1)
- 【請求項１】 ソースプログラム(10)をデバッグ用オブ
ジェクトプログラム(12)に翻訳するコンパイラ(11)の処
理方法であって，オブジェクトプログラム中に未定義変
数の検査ライブラリ(13)を呼び出す命令を挿入すること
により，未定義変数の引用に関する検査を行うオブジェ
クトプログラムを生成する未定義変数検出処理方法にお
いて，翻訳対象プログラム中の実行制御の単位となるブ
ロック(B1,B2, …) ごとに，検査が必要な変数を抽出す
る処理過程(P1)と，上記各ブロックごとに抽出した変数
を集め，検査が必要な変数をまとめて指定する未定義変
数の検査ライブラリを呼び出す命令を，オブジェクトプ
ログラムにおける各ブロックの先頭に挿入する処理過程
(P2)とを有することを特徴とする未定義変数検出処理方
法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4015225A JPH05204705A (ja) | 1992-01-30 | 1992-01-30 | 未定義変数検出処理方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP4015225A JPH05204705A (ja) | 1992-01-30 | 1992-01-30 | 未定義変数検出処理方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH05204705A true JPH05204705A (ja) | 1993-08-13 |
Family
ID=11882930
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP4015225A Pending JPH05204705A (ja) | 1992-01-30 | 1992-01-30 | 未定義変数検出処理方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH05204705A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH08194624A (ja) * | 1995-01-20 | 1996-07-30 | Fujitsu Ltd | 実行形式プログラム作成方法 |
| JP2007249262A (ja) * | 2006-03-13 | 2007-09-27 | Nec Corp | 配列範囲外アクセス検出方式及び方法 |
-
1992
- 1992-01-30 JP JP4015225A patent/JPH05204705A/ja active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH08194624A (ja) * | 1995-01-20 | 1996-07-30 | Fujitsu Ltd | 実行形式プログラム作成方法 |
| JP2007249262A (ja) * | 2006-03-13 | 2007-09-27 | Nec Corp | 配列範囲外アクセス検出方式及び方法 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5854924A (en) | Static debugging tool and method | |
| CN100385399C (zh) | 用于多个异常处理模型的中间表示的方法和系统 | |
| US5142681A (en) | APL-to-Fortran translators | |
| US6085029A (en) | Method using a computer for automatically instrumenting a computer program for dynamic debugging | |
| US6412109B1 (en) | Method for optimizing java bytecodes in the presence of try-catch blocks | |
| US20090249307A1 (en) | Program analysis apparatus, program analysis method, and program storage medium | |
| US6467082B1 (en) | Methods and apparatus for simulating external linkage points and control transfers in source translation systems | |
| JPH05257709A (ja) | 並列化判別方法およびそれを用いた並列化支援方法 | |
| WO1990001738A1 (en) | Machine process for translating programs in binary machine language into another binary machine language | |
| JPH0883185A (ja) | コンパイラ | |
| US20150020051A1 (en) | Method and apparatus for automated conversion of software applications | |
| CN113741869A (zh) | 一种高性能的可变语法编程语言的构造方法 | |
| JPH05204705A (ja) | 未定義変数検出処理方法 | |
| JP2002288004A (ja) | プログラムソース処理装置、プログラムソース処理方法、およびプログラムソース処理プログラム | |
| Grigorev et al. | String-embedded language support in integrated development environment | |
| JP3903514B2 (ja) | 未定義変数検出の最適化コンパイラ装置 | |
| JPH02176938A (ja) | 機械語命令最適化方式 | |
| Harmer et al. | Transformations to Restructure and Re–engineer COBOL Programs | |
| EP0252229B1 (en) | Apl-to-fortran translator | |
| JPH05120025A (ja) | ソースプログラムのインライン展開方法 | |
| JPH0695890A (ja) | コンパイラにおける名前置換方式 | |
| JP3323147B2 (ja) | コンパイル装置、コンパイル方法およびコンパイラプログラムを記録した記録媒体 | |
| JPH11195011A (ja) | 言語翻訳処理装置、言語翻訳処理方法、言語翻訳処理プログラムを記録した記録媒体 | |
| JPH0235349B2 (ja) | Ruupunaihairetsushoribekutorukashorihoshiki | |
| JP3141945B2 (ja) | コンパイル装置 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 19990824 |