JPH0215336A - コンパイラ装置 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔概要〕 計算機言語であるＦＯＲＴＲＡＮ等の処理系において、
これまで検出されていない重複引数の値の変更エラーを
、実行時に検出できるようにした重複引数の値変更エラ
ー検出処理方法に関し。

重複引数に関する文法エラーを実行時に自動検出し、プ
ログラムのデバッグを簡単に行うことができるようにす
ることを目的とし。

プログラムの！Ｉｌ訳時に、プログラム中の処理手続き
の呼び出し文で、複数の引数が指定され、それらの領域
が重複する可能性があるときに、新たな領域を動的に確
保する処理と、その領域に、対応する引数の内容を複写
する処理と、その領域を引数として、指定された処理手
続きを呼び出す処理と、呼び出した処理手続きからの復
帰時に、呼び出した処理手続きに渡した領域の内容の比
較により、領域が重複する部分について値の変更がある
か否かを判定する処理と２重複する部分の値の変更があ
るとき、エラーメッセージを出力する処理とを、翻訳結
果であるオブジェクトに組み込むように構成する。

〔産業上の利用分野〕

本発明は、計算機言語であるＦＯＩ？ＴＲＡＮ等の処理
系において、これまで検出されていない重複引数の値の
変更エラーを、実行時に検出できるようにした重複引数
の値変更エラー検出処理方法に関する。

〔従来の技術］ 第４図は従来技術の問題点説明図である。

計算機言語であるＦＯＲＴＲＡＮでは、同し手続きの２
つの異なる仮引数と結合した実引数の間で５一部または
完全に重複する部分は１手続きの実行中は変更不可であ
る。例えば。

ＣΔＬＬ　　ＳＵＢ　（Ａ　（１）、Ａ　（３））とい
うような呼び出し文では、配列Ａ　（３）　、　Ａ（４
）、・・・は、第２仮引数と結合された引数の一部であ
るため、第１仮引数を通して変更できないし、かつ第１
仮引数と結合された引数の一部であるため、第２仮引数
を通して変更できない。なおＡ　（１）　、　Ａ　（２
）のデータは、第１仮引数を通して変更可能である。

もし３重複部分の変更を許した場合２次のような問題が
生しる。例えば、第４図に示すようにサブルーチン呼び
出しで、実引数間に重複する部分があるとき、これをサ
ブルーチン側では、同じデータとして意識することはで
きない。従ってＡ（３）のデータをＢ（３）としてロー
ドし１次にＡ（３）の領域にＣ（１）として書き込みの
アクセスを行い、さらにＢ（３）へアクセスするような
処理を行ったとすると、最適化のため、Ｂ（３）のデー
タがレジスフに保持されている場合などに、実際には同
じデータであるＡ（３）が。

Ｂ（３）とＣ（１）とで異なる扱いを受けるため。

データに矛盾が生じることになる。

従って、このような実引数の重複する部分を。

手続き引用で変更する記述は２文法エラーと規定してい
る。

しかしながら、２つの異なる仮引数と結合した実引数の
間で２重複する部分があっても、変更ではなく、参照す
るだけならば、データに矛盾が生しることはないため、
コンパイル時に、呼び出し側で文法エラーとすることは
できない。

また、仮引数側で９重複した範囲に対する値の設定時に
、エラーの検出を行うことも考えられるが、技術的に実
現が複雑になるだけではなく、仮引数側でさらに他の手
続きを引用し、その先で値が定義される場合などがあり
、特に、コンパイル単位が異なる場合などには、検出が
不可能である。

そのため、従来２文法エラーとは規定しているが、コン
パイル時にそのエラーを検出して、ユーザに提示するこ
とは行っていなかった。

〔発明が解決しようとする課題〕

以上のように１重複引数に関する値の変更があるプログ
ラムの実行結果は、コンパイラによる最適化のレベルに
よって異なることがあり、エラーと規定されているが、
それをコンパイル時に検出することができないため、ユ
ーザがこのような誤り個所を検出するのは、大変な労力
を要するという問題があった。

本発明は上記問題点の解決を図り１重複引数に関する文
法エラーを実行時に自動検出し、プログラムのデバッグ
を簡単に行うことができるような手段を堤供することを
目的としている。

〔課題を解決するための手段〕

第１図は本発明の原理説明図である。

第１図に松いて、１０はＦ　ＯＲＴ　ＲＡ　Ｎ等の計算
機言語で記述されたソースプログラム、１１はＣＰＵお
よびメモリ等からなる処理装置、１２はソースプログラ
ムＩＯを計算機が実行できるプログラムに翻訳するコン
パイラ、１３はコンパイラ１２の翻訳結果であるオブジ
ェクトプログラムを表す。

本発明では、コンパイラ１２は、ソースプログラムＩＯ
の翻訳（コンパイル）時に、プログラム中に他のＴ−続
きを引用する呼び出し文があると複数の引数があるかど
うかを判定し、複数の引数がある場合、さらにそれらの
領域が重複する可能性があるかどうかを調べる。そして
、領域が重複する可能性がある場合１次の処理ＰＩ−Ｐ
５を。

オブジェクトプログラム１３中に組み込む。

ｆａｔ　　領域確保処理ＰＩ 各実引数の領域の大きさを調べ、その大きさの新たな領
域を動的に確保する。

（ｂｌ　　引数複写処理Ｐ２ 動的に確保した各領域に、対応する引数の内容を複写す
る。

（Ｃ１呼び出し７処理Ｙ）３ 動的に確保した領域を引数として、指定された処理手続
きを呼び出す。

（ｄｌ　　値変更判定処ＦＩＰ４ 呼び出した処理手続きからの復帰時に、呼び出した処理
手続きに渡した領域の内容の比較により領域が重複する
部分について値の変更があるか否かを判定する。

（ｅｌ　　メツセージ出力処理Ｐ５ 重複する部分の値の変更があるとき２エラーメツセージ
を出力する。

（ｆｌ　　動的領域の解放 その後、必要に応じて動的に確保した各領域を解放し２
次の通常の処理へ移る。

これらの処［ＰＩ〜Ｐ５等は、オブジェクトプログラム
１３から、所定のライブラリにあらかしめ用意されてい
る処理手続きを呼び出す形で、オブジェクトプログラム
１３中にＭ−１込むようにしてもよい。

このオブジェクトプログラム１３から性成したロードモ
ジュールを実行させることにより、もし。

同し手続きの２つの異なる仮引数と結合した実引数の間
で５重複する部分についての値の変更があれば、そのエ
ラーを指摘するメツセージが出力されることになる。

〔作用〕

本発明は、引用手続き中の仮引数を使用する側で、実引
数の重複する部分の値が変更されたときに、それを検出
するのではな（、エラーの検出個所の着眼点を変更し、
引数として重複する部分が引用手続きからの復帰時に、
変更されていないかどうかを検査することにより、この
誤りを検出するようにしたものである。

そのため、処理Ｐ１により、領域を動的に確保し、そこ
に実引数を複写して、引用手続きに渡し。

復帰してから、値の変更をチエツクする。従って。

仮引数を使用する側では、従来と同様の処理でよく、呼
び出し側と呼び出される側のコンパイル単ｆ立が違って
も２問題なくエラーを検出することができる。

〔実施例〕

第２図は本発明の一実施例、第３図は本発明の一実施例
におけるコンパイラによる処理の例を示す。

例えば、第２図（イ）に示すようなＦＯＲＴＲＡＮで記
述されたメインプログラム２０と、そのメインプログラ
ム２０から呼び出されるサブルーチン２１があったとす
る。メインプログラム２゜では、配列Ａ（５）の定義が
あり、ＣＡＬＬ文でＡ　＜１）　、　Ａ　（３）を各々
実引数とするサブルーチン（ＳＵＢ）２１の呼び出しを
行っている。実引数の引き渡しでは、アドレス情報を渡
すので。

配列のうち、　Ａ　（３）〜Ａ（５）が重複することに
なる。この部分の値が、サブルーチン２１の呼び出しに
より、変更された場合、値の保証ができないので、エラ
ーとしなければならない。

サブルーチン２１では、配列Ｂ、Ｃを仮引数として用い
ており１手続き中で、　　Ｂ　（３）の参照およびＣ（
１）の定義を行っている。

これを実行すると、第４図で説明したような問題が発生
するが、従来方法では、そのエラーを検出することはで
きなかった。本発明では、実行時に２例えば第２図（ロ
）に示すような処理によって、エラーが検出される。

第２図（ロ）に示す処理■〜■は、メインプログラム２
０のオブジェクトプログラム中に組み込まれる処理であ
って、これにより、実行時に１次の■〜■のような処理
が行われることになる。

■　第１引数の大きさを求め、その大きさの領域５００
１を動的に確保する。同様に、第２引数の大きさを求め
、その大きさの領域５００２を動的に確保する。

■　第１引数に指定されている要素（Δ（１）〜Ａ　（
５）　）を、仮の変数５ＯＯＩ　　（１）〜５ＯＯｒ（
５）の領域に複写する。また、第２引数に指定されてい
る要素（Ａ（３）〜Ａ　（５）　”）を、仮の変数５Ｏ
Ｏ２（１）〜３００２（３）の領域に複写する。

■　第１引数として変数５ＯＯＩ、第２引数として変数
３００２を指定し、サブルーチンＳＵＢを呼び出す。す
なわち、５ｏｏｉと８００２の領域をそれぞれポイント
するパラメータリストＰＲＭを作成し、そのパラメータ
リストＰＲＭのアドレスを所定のレジスタに設定して、
サブルーチンＳＵＢに分岐する。

■　サブルーチンＳＵＢから制御が戻されたならば、５
ＯＯＩの領域の内容を１元の配列Ａの領域に複写する。

また、５ＯＯ２の領域の内容を。

元の配列Ａにおける対応する部分に複写する。

■　ＳＯＯ１の領域の内容と、処理■で更新した配列へ
の内容とが一致するかしないかを判定する。一致しない
場合１重複部分についての値の変更があることになるの
で、エラーメツセージを出力し、ＣＡＬＬ文の使用誤り
を通知する。

■　動的に確保した５ｏｏｔと３００２の領域解放を行
い、復す１１後の次の処理へ移る。

このように本実施例では、それぞれの引数を仮の変数（
生成した変数）に複写し、それを実引数として引用手続
きを呼び出し、その手続きからの復帰後１元の実引数に
返却する。このとき、範囲が重複しているならば、−度
返却した値が他方の変数の複写によって破壊されるので
、・この後。

元の実引数の値と、仮の変数（生成した変数）の値との
比較によって９誤りを検出することができる。

特に２本実施例では、復帰後に１元の実引数に仮の変数
をそれぞれ返却して、比較するようにしているので、ア
ルゴリズムが簡単であると共に重複していない部分につ
いて変更していても３重複部分についての変更がなけれ
ば１　エラーとはならないような処理が、少ないステッ
プで実現されている。第１引数および第２引数の領域の
どちらが大きい場合でも、単一のアルゴリズムでエラー
の検出を行うことができる。

本発明の一実施例によるコンパイラの処理は。

例えば第３図に示すｆａｌ〜（Ｑｌのように行われる。

ｆａｌ　　構文解釈の結果により、現在処理する文が。

ＣＡＬＬ文または関数引用のどちらかであるかどうかを
判定する。ＣＡＬＬ文または関数引用でなければ、従来
と同様な処理を続ける。

＋ｂｌＣＡＬＬ文または関数引用であれば２コンパイラ
起動時に、デバッグオプションが指定されているかどう
かを判定する。デバッグオプションが有効でなければ、
実行時の処理を高速化するため１本発明によるエラー検
出処理の組み込みを行わない。

ｆｃｌ　　実引数の並びの中で、同じ名前を持つ引数が
あるかどうかを判定する。同じ名前を持つ引数がある場
合、領域が重複する可能性があるので処理（ｅｌへ移る
。

＋ｄ＋　　実引数の並びの中で、領域が同じであること
を示すＥＱＵ　Ｉ　ＶＡＬＥＮＣＥ属性を持つものがあ
るかどうかを判定する。なければ、従来と同様なＣＡＬ
Ｌ文または関数引用についてのオブジェクト展開を行う
。あれば１次の処理（ｅｌを実行する。

（＋１１　　第２図（ロ）に示す処理■〜■を実行する
オブジェクト展開を行い、値変更エラー検出処理を組み
込む。

例えば７次のような記述を可能とした言語仕様を持つ計
算機言語処理でも、同様に本発明を適用することができ
る。

ＣＡＬＬ　　Ｓ［ＪＢ　　（Ａ（１：５）、Ａ（３：９
））ここで、Ａ（１：５）は、Ａｏ）からＡ（５）まで
のデータ、Ａ（３：９）は、Ａ（３）からＡ（９）まで
のデータを引数とすることを示している。このＣＡＬＬ
文では、Ａ（３）からＡ（５）までの領域が引数間で重
複していることになる。

以上の実施例では、２つの引数を持つ場合について説明
したが、３以上の引数を持つ場合についても、全く同様
に本発明を適用できることは言うまでもない。

〔発明の効果〕

以上説明したように９本発明によれば１重複引数の値の
変更に関するエラーを、ユーザ自身がプログラムリスト
を追いかけて、探し出す必要はなくなり、計算機言語に
対する高度な知識がなくても、簡単に検出できるように
なる。従って、デバッグ時間の短縮が可能になるととも
に、信十■性の高いプログラムを開発することができる
ようになる。

【図面の簡単な説明】

第１図は本発明の原理説明図 第２図は本発明の一実施例 第３図は本発明の一実施例におけるコンパイラによる処
理の例。 第４図は従来技術の問題点説明図を示す。 図中、１０はソースプログラム、１１は処理装置、１２
はコンパイラ、１３はオブジェクトプログラム、ＰＩ−
Ｐ５はオブジェクトプログラム中に組み込まれた処理を
表す。

Claims (1)

1. 【特許請求の範囲】 他の処理手続きを呼び出すときに指定された複数の引数
   に対応する領域の一部または全部が重複する場合に、そ
   の重複する領域についての値の変更を禁止する言語仕様
   を持つ計算機言語の処理システムにおける重複引数の値
   変更エラー検出処理方法であって、 前記計算機言語で記述されたプログラム（１０）の翻訳
   時に、プログラム中の処理手続きの呼び出し文で、複数
   の引数が指定され、それらの領域が重複する可能性があ
   るときに、以下の処理、 その領域に対応する新たな領域を動的に確保する処理（
   Ｐ１）と、 動的に確保した領域に、対応する引数の内容を複写する
   処理（Ｐ２）と、 動的に確保した領域を引数として、指定された処理手続
   きを呼び出す処理（Ｐ３）と、 呼び出した処理手続きからの復帰時に、呼び出した処理
   手続きに渡した領域の内容の比較により、領域が重複す
   る部分について値の変更があるか否かを判定する処理（
   Ｐ４）と、重複する部分の値の変更があるとき、エラー
   メッセージを出力する処理（Ｐ５）とを、 翻訳結果であるオブジェクトに組み込むことを特徴とす
   る重複引数の値変更エラー検出処理方法。