JPH03257532A - Unset variable reference detecting system - Google Patents
Unset variable reference detecting systemInfo
- Publication number
- JPH03257532A JPH03257532A JP5700390A JP5700390A JPH03257532A JP H03257532 A JPH03257532 A JP H03257532A JP 5700390 A JP5700390 A JP 5700390A JP 5700390 A JP5700390 A JP 5700390A JP H03257532 A JPH03257532 A JP H03257532A
- Authority
- JP
- Japan
- Prior art keywords
- variable
- flag
- flag corresponding
- bitmap
- value
- 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
- 238000001514 detection method Methods 0.000 claims description 20
- 238000010586 diagram Methods 0.000 description 6
- 238000005516 engineering process Methods 0.000 description 1
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明は未設定変数参照検出方式に関し、特にコンパイ
ラで正しいオブジェクトを出力するために、鉗訳するプ
ログラムが未設定変数を参照していることがないかどう
かを検出する未設定変数参照検出方式に関する。[Detailed Description of the Invention] [Industrial Application Field] The present invention relates to an unset variable reference detection method, and in particular detects whether a program to be translated references an unset variable in order to output a correct object by a compiler. This paper relates to an unset variable reference detection method that detects whether there is an unset variable reference.
従来の未設定変数参照検出方式は、設定された変数およ
びその変数の一部に対して、値が再定義されたり暗黙的
に代入されたりするかどうかにかかわらず、すべての変
数に対して、ネームテーブル上に、その変数を記憶する
領域とその変数の各バイトに対する各フラグを連続した
位置に持つビットマツプフラグを記憶する領域とを割付
けて、その変数が初期値を持つときおよびその変数に値
が設定されるときに、そのビットマツプフラグの先頭ビ
ットアドレスとビット長とを使用して、その変数に対応
するビットマツプフラグのすべてのビットをオンにして
いる。Traditional unset variable reference detection methods detect all variables, regardless of whether values are redefined or implicitly assigned to set variables and parts of the variable. Allocate an area on the name table to store the variable and an area to store the bitmap flags that have each flag for each byte of the variable in consecutive positions. When a value is set, the first bit address and bit length of that bitmap flag are used to turn on all bits of the bitmap flag that corresponds to that variable.
そして、変数が参照されるときに、その変数に対応する
ビットマツプフラグの先頭ビットアドレスとビット長と
を使用して、その変数に対応するビットマツプフラグに
オフであるビットがあることを検出することにより、未
設定変数の参照であることを検出している。Then, when a variable is referenced, the first bit address and bit length of the bitmap flag corresponding to that variable are used to detect that there is a bit that is off in the bitmap flag corresponding to that variable. As a result, it is detected that it is a reference to an unset variable.
上述した従来の未設定変数参照検出方式は、設定された
変数およびその変数の一部に対して、値が再定義された
り暗黙的に代入されたりするかどうかにかかわらず、す
べての変数に対して、ネームテーブル上に、その変数を
記憶する領域とその変数の各バイトに対する各フラグを
連続した位置に持つビットマツプフラグを記憶する領域
とを割付けているので、これらの記憶容量が大きくなる
という欠点を有している。The traditional unset variable reference detection method described above detects all variables, regardless of whether values are redefined or implicitly assigned to the set variable or any part of the variable. Therefore, an area to store the variable and an area to store the bitmap flags that have each flag for each byte of the variable in consecutive positions are allocated on the name table, so the storage capacity for these becomes large. It has drawbacks.
本発明の目的は、値が再定義されたり暗黙的に代入され
たりする変数に対してのみオンである１ビツトの第１の
フラグをそれぞれの変数に対応して有するとともに、第
１のフラグがオフのときには、対応する変数の値が設定
されていればオンであり未設定であればオフである１ビ
ツトの第２のフラグを有し、第１のフラグがオンのとき
だけに、対応する変数の各バイトに対する各フラグを連
続した位置に持つビットマツプフラグを有するので、ビ
ットマツプフラグ関連の記憶容量を大幅に削減すること
ができる未設定変数参照検出方式を提供することにある
。An object of the present invention is to have a 1-bit first flag corresponding to each variable that is turned on only for variables whose values are redefined or implicitly assigned; When it is off, it has a 1-bit second flag that is on if the value of the corresponding variable is set and off if it is not set, and it only responds when the first flag is on. An object of the present invention is to provide an unset variable reference detection method that can significantly reduce the storage capacity related to bitmap flags because it has a bitmap flag that has flags for each byte of a variable in consecutive positions.
第１の発明の未設定変数参照検出方式は、（Ａ）それぞ
れの変数に対応して有するとともにオフの初期状態を持
つ第１のフラグおよび第２のフラグと、対応する変数の
各バイトに対する各フラグを連続した位置に持つビット
マツプフラグの先頭ビットアドレスとを記憶する変数フ
ラグ記憶域、
（Ｂ）設定された変数およびその変数の一部に対して、
値が再定義されたり暗黙的に代入されたりする場合に、
その変数を再定義変数であると判定して、その変数に対
応する前記第１のフラグをオンにする再定義変数判定手
段、（Ｃ）前記第１のフラグがオンであるそれぞれの変
数に対応したそれぞれの前記ビットマツプフラグをすべ
てのビットがオフの初期状態で記憶するビットマツプフ
ラグ記憶域、
（Ｄ）変数が初期値を持つときおよび変数に値が設定さ
れるときに、その変数に対応する前記第１のフラグがオ
フならば、その変数に対応する前記第２のフラグをオン
にし、その変数に対応する前記第１のフラグがオンなら
ば、その変数の値を持つバイトに対応する前記ビットマ
ツプフラグのすべてのビットをオンにする変数値設定情
報登録手段、
（Ｅ）変数が参照されるときに、その変数に対応する前
記第１のフラグがオフならば、その変数に対応する前記
第２のフラグがオフであることを検出し、その変数に対
応する前記第１のフラグがオンならば、その変数に対応
する前記ビットマツプフラグにオフであるビットがある
ことを検出することにより、未設定変数の参照であるこ
とを検出する未設定変数参照検出手段、
を備えて構成されている。The unset variable reference detection method of the first invention includes (A) a first flag and a second flag that correspond to each variable and have an initial state of OFF, and a flag that corresponds to each byte of the corresponding variable; A variable flag storage area that stores the first bit address of bitmap flags that have flags in consecutive positions; (B) For set variables and part of the variables,
When a value is redefined or implicitly assigned,
redefinition variable determination means for determining that the variable is a redefinition variable and turning on the first flag corresponding to the variable; (C) corresponding to each variable for which the first flag is on; (D) a bitmap flag storage area that stores each of the bitmap flags in an initial state where all bits are off; If the first flag corresponding to that variable is off, then the second flag corresponding to that variable is turned on, and if the first flag corresponding to that variable is on, the second flag corresponding to the byte that has the value of that variable is turned on. Variable value setting information registration means for turning on all bits of the bitmap flag; (E) when the variable is referenced, if the first flag corresponding to the variable is off, the first flag corresponding to the variable is turned on; detecting that the second flag is off, and if the first flag corresponding to the variable is on, detecting that there is a bit that is off in the bitmap flag corresponding to the variable; An unset variable reference detection means for detecting that the reference is to an unset variable.
また、第２の発明の未設定変数参照検出方式（Ａ）それ
ぞれの変数に対応して有するとともにオフの初期状態を
持つ第１のフラグ、
（Ｂ）設定された変数およびその変数の一部に対して、
値が再定義されたり暗黙的に代入されたりする場合に、
その変数を再定義変数であると判定して、その変数に対
応する前記第１のフラグをオンにする再定義変数判定手
段、（Ｃ）前記第１のフラグがオフであるそれぞれの変
数に対応して有するとともにオフの初期状態を持つ第２
のフラグ、
＜Ｄ）前記第１のフラグがオフであるそれぞれの変数に
対応して有するとともにその変数の各バイトに対する各
フラグを連続した位置に持つビットマツプフラグ、
（Ｅ）変数が初期値を持つときおよび変数に値が設定さ
れるときに、その変数に対応する前記第１のフラグがオ
フならば、その変数に対応する前記第２のフラグをオン
にし、その変数に対応する前記第１のフラグかオンなら
ば、その変数の値を持つバイトに対応する前記ビットマ
ツプフラグのすべてのビットをオンにする変数値設定情
報登録手段、
（Ｆ）変数が参照されるときに、その変数に対応する前
記第１のフラグがオフならば、その変数に対応する前記
第２のフラグがオフであることを検出し、その変数に対
応する前記第１のフラグがオンならば、その変数に対応
する前記ビットマツプフラグにオフであるビットがある
ことを検出することにより、未設定変数の参照であるこ
とを検出する未設定変数参照検出手段、
を備えて構成されている。Further, the unset variable reference detection method of the second invention (A) has a first flag corresponding to each variable and has an initial state of OFF, (B) a set variable and a part of the variable. for,
When a value is redefined or implicitly assigned,
redefinition variable determination means for determining that the variable is a redefinition variable and turning on the first flag corresponding to the variable; (C) corresponding to each variable for which the first flag is off; and the second with an initial state of OFF.
(D) a bitmap flag that corresponds to each variable for which the first flag is off and has each flag for each byte of that variable in consecutive positions; If the first flag corresponding to the variable is off when a value is set in the variable, the second flag corresponding to the variable is turned on, and the first flag corresponding to the variable is turned on. (F) variable value setting information registration means for turning on all bits of the bitmap flag corresponding to bytes having the value of the variable if the flag of the variable is on; If the corresponding first flag is off, it is detected that the second flag corresponding to that variable is off, and if the first flag corresponding to that variable is on, it is detected that the second flag corresponding to that variable is off. unset variable reference detection means for detecting that a reference is to an unset variable by detecting that there is a bit that is off in the bitmap flag.
さらに、第３の発明の未設定変数参照検出方式（Ａ＞設
定された変数およびその変数の一部に対して、値が再定
義されたり暗黙的に代入されたりする場合に、その変数
を再定義変数であると判定して、その変数に対応して設
けた第１のフラグをオンにし、
（Ｂ）変数か初期値を持つときおよび変数に値が設定さ
れるときに、その変数に対応する前記第１のフラグがオ
フならば、その変数に対応して設けた第２のフラグをオ
ンにし、その変数に対応する前記第１のフラグがオンな
らば、その変数の各バイトに対応して設けた各フラグを
連続した位置に持つビットマツプフラグのすべてのビッ
トをオンにし、
（Ｃ）変数が参照されるときに、その変数に対応する前
記第１のフラグがオフならば、その変数に対応する前記
第２のフラグがオフであることを検出し、その変数に対
応する前記第１のフラグがオンならば、その変数に対応
する前記ビットマツプフラグにオフであるビットがある
ことを検出することにより、未設定変数の参照であるこ
とを検出する、
ことにより構成されている。Furthermore, the unset variable reference detection method of the third invention (A>When a value is redefined or implicitly assigned to a set variable or a part of that variable, the variable is re-defined). Determine that it is a defined variable and turn on the first flag set corresponding to that variable. (B) When a variable has an initial value and when a value is set to a variable, If the first flag corresponding to that variable is off, the second flag set corresponding to that variable is turned on, and if the first flag corresponding to that variable is on, the second flag corresponding to each byte of that variable is turned on. (C) When a variable is referenced, if the first flag corresponding to that variable is off, the variable is If it is detected that the second flag corresponding to the variable is off, and the first flag corresponding to the variable is on, it is determined that there is a bit that is off in the bitmap flag corresponding to the variable. This consists of detecting that it is a reference to an unset variable.
次に本発明の実施例について図面を参照して説明する。 Next, embodiments of the present invention will be described with reference to the drawings.
第１図は本発明の未設定変数参照検出方式の一実施例を
示すブロック図である。また、第２図は本実施例の変数
フラグ記憶域にある第１のフラグ、第２のフラグ、先頭
ビットアドレスおよびビットマツプフラグ記憶域にある
ビットマツプフラグの関係の一例を示す関係説明図であ
る。FIG. 1 is a block diagram showing an embodiment of the unset variable reference detection method of the present invention. FIG. 2 is a relationship explanatory diagram showing an example of the relationship among the first flag, second flag, first bit address in the variable flag storage area, and bitmap flag in the bitmap flag storage area in this embodiment. be.
第１図および第２図に示すように、変数フラグ記憶域１
は、それぞれの変数に対応して有するとともにオフの初
期状態を持つ第１のフラグ１１および第２のフラグ１２
と、対応する変数の各バイトに対する各フラグを連続し
た位置に持つビットマツプフラグ２１の先頭ビットアド
レス１３（値をａ示す）とを記憶している。As shown in Figures 1 and 2, variable flag storage area 1
has a first flag 11 and a second flag 12 that correspond to each variable and have an initial state of OFF.
and the first bit address 13 (the value is indicated by a) of a bitmap flag 21 having flags for each byte of the corresponding variable in consecutive positions.
そこで、再定義変数判定手段３は、設定された変数およ
びその変数の一部に対して、値が再定義されたり暗黙的
に代入されたりする場合に、その変数を再定義変数であ
ると判定して、その変数に対応する第１のフラグ１１を
オンにしている。Therefore, when a value is redefined or implicitly assigned to a set variable or a part of the variable, the redefinition variable determination means 3 determines that the variable is a redefinition variable. Then, the first flag 11 corresponding to that variable is turned on.
また、ヒ・Ｖトマップフラグ記憶域２は、第１のフラグ
■１かオンであるそれぞれの変数に対応したそれぞれの
ビットマツプフラグ２■をすべてのビットがオフの初期
状態で記憶している。In addition, the H/V map flag storage area 2 stores each bit map flag 2 corresponding to each variable whose first flag is 1 or on in an initial state where all bits are off. .
そして、変数値設定情報登録手段４は、変数が初期値を
持つときおよび変数に値が設定されるときに、その変数
に対応する第１の７ラグ１１がオフならば、その変数に
対応する第２のフラグ１２をオンにし、その変数に対応
する第１のフラグ１１がオンならば、その変数の値を持
つバイトに対応するビットマツプフラグ２１のすべての
ビットをオンにしている。Then, when a variable has an initial value or when a value is set to a variable, if the first 7 lugs 11 corresponding to the variable are off, the variable value setting information registration means 4 registers the value corresponding to the variable. If the second flag 12 is turned on and the first flag 11 corresponding to the variable is turned on, all bits of the bitmap flag 21 corresponding to the byte having the value of that variable are turned on.
そこで、未設定変数参照検出手段５は、変数が参照され
るときに、その変数に対応する第１の７ラグ１１がオフ
ならば、その変数に対応する第２のフラグ］２がオフで
あることを検出し、その変数に対応する第１のフラグ１
１がオンならば、その変数に対応するビットマツプフラ
グ２１にオフであるビットが一つでもあることを検出す
ることにより、未設定変数の参照であることを検出して
いる。Therefore, the unset variable reference detection means 5 detects that when a variable is referenced, if the first 7-lag 11 corresponding to the variable is off, the second flag ] 2 corresponding to the variable is off. The first flag 1 corresponding to that variable is detected.
If 1 is on, it is detected that the bitmap flag 21 corresponding to that variable has at least one bit that is off, thereby detecting that it is a reference to an unset variable.
第３図は本実施例でメモリ上の同じ記憶域に再定義され
た変数とその変数に対応するビットマツプフラグおよび
このビットマツプフラグの先頭ビットアドレスの関係の
一例を示す関係説明図である。FIG. 3 is an explanatory diagram showing an example of the relationship between a variable redefined in the same storage area on the memory, a bitmap flag corresponding to the variable, and the leading bit address of this bitmap flag in this embodiment.
第３図に示すように、メモリ上の同じ記憶域で、αバイ
ト長の元の変数Ａ、Ｂが、再定義された変数Ｃ，Ｄ、Ｅ
になった場合に、元の変数Ａ。As shown in Figure 3, in the same storage area on memory, the original variables A and B of α byte length are changed to the redefined variables C, D, and E.
, the original variable A.
Ｂに対応するαビットのビットマツプフラグが、再定義
された変数Ｃ，Ｄ、Ｅのためのビットマツプフラグに再
定義されている。The α-bit bitmap flag corresponding to B is redefined as the bitmap flag for the redefined variables C, D, and E.
そして、例えば、再定義された変数りについては、先頭
ビットアドレスとしてバイトアドレスβおよびビットオ
フセットγを有し、そのバイトアドレスβおよびビット
オフセットγは、分割された真中のビットマツプフラグ
の先頭ビットアドレスを指している。For example, a redefined variable has a byte address β and a bit offset γ as the first bit address, and the byte address β and bit offset γ are the first bit address of the divided middle bitmap flag. is pointing to.
以上説明したように、本発明の未設定変数参照検出方式
は、値か再定義されたり暗黙的に代入されたりする変数
に対してのみオンである１ビツトの第１のフラグをそれ
ぞれの変数に対応して有するとともに、第１のフラグが
オフのときには、対応する変数の値が設定されていれば
オンであり未設定であればオフである１ビツトの第２の
フラグを有し、第１のフラグがオンのときだけに、対応
する変数の各バイトに対する各フラグを連続した位置に
持つビットマツプフラグを有するので、ビットマツプフ
ラグ関連の記憶容量を大幅に削減することができるとい
う効果を有している。As explained above, the unset variable reference detection method of the present invention sets each variable with a 1-bit first flag that is ON only for variables whose value is redefined or implicitly assigned. and a 1-bit second flag that is on if the value of the corresponding variable is set and off if the value of the corresponding variable is not set when the first flag is off; Since the bitmap flag has each flag for each byte of the corresponding variable in consecutive positions only when the flag is on, it has the effect of significantly reducing the storage capacity related to the bitmap flag. are doing.
第１図は本発明の未設定変数参照検出方式の一実施例を
示すブロック図、第２図は本実施例の変数フラグ記憶域
にある第１のフラグ、第２のフラグ、先頭ビットアドレ
スおよびビットマツプフラグ記憶域にあるビットマツプ
フラグの関係の一例を示す関係説明図、第３図は本実施
例でメモリ上の同じ記憶域に再定義された変数とその変
数に対応するビットマツプフラグおよびこのビットマツ
プフラグの先頭ビットアドレスの関係の一例を示す関係
説明図である。
１・・・−・・変数フラグ記憶域、２・−・・−・ビッ
トマツプフラグ記憶域、３・・・・・・再定義変数判定
手段、４・・・・・−変数値設定情報登録手段、５・・
・・・・未設定変数参照検出手段、１１−・・・・第１
のフラグ、１２・・・・・・第２のフラグ、１３・・・
・・・先頭ビットアドレス、２１・−・−・ビットマツ
プフラグ。FIG. 1 is a block diagram showing an embodiment of the unset variable reference detection method of the present invention, and FIG. 2 shows the first flag, second flag, first bit address, and A relationship explanatory diagram showing an example of the relationship between bitmap flags in the bitmap flag storage area. FIG. FIG. 7 is a relationship explanatory diagram showing an example of the relationship between the leading bit addresses of the bitmap flags. 1... Variable flag storage area, 2... Bitmap flag storage area, 3... Redefinition variable determination means, 4... Variable value setting information registration Means, 5...
...Unset variable reference detection means, 11-...1st
Flag, 12...Second flag, 13...
...Start bit address, 21...Bitmap flag.
Claims (1)
フの初期状態を持つ第１のフラグおよび第２のフラグと
、対応する変数の各バイトに対する各フラグを連続した
位置に持つビットマップフラグの先頭ビットアドレスと
を記憶する変数フラグ記憶域、 （Ｂ）設定された変数およびその変数の一部に対して、
値が再定義されたり暗黙的に代入されたりする場合に、
その変数を再定義変数であると判定して、その変数に対
応する前記第１のフラグをオンにする再定義変数判定手
段、 （Ｃ）前記第１のフラグがオンであるそれぞれの変数に
対応したそれぞれの前記ビットマップフラグをすべての
ビットがオフの初期状態で記憶するビットマップフラグ
記憶域、 （Ｄ）変数が初期値を持つときおよび変数に値が設定さ
れるときに、その変数に対応する前記第１のフラグがオ
フならば、その変数に対応する前記第２のフラグをオン
にし、その変数に対応する前記第１のフラグがオンなら
ば、その変数の値を持つバイトに対応する前記ビットマ
ップフラグのすべてのビットをオンにする変数値設定情
報登録手段、 （Ｅ）変数が参照されるときに、その変数に対応する前
記第１のフラグがオフならば、その変数に対応する前記
第２のフラグがオフであることを検出し、その変数に対
応する前記第１のフラグがオンならば、その変数に対応
する前記ビットマップフラグにオフであるビットがある
ことを検出することにより、未設定変数の参照であるこ
とを検出する未設定変数参照検出手段、 を備えることを特徴とする未設定変数参照検出方式。 ２、（Ａ）それぞれの変数に対応して有するとともにオ
フの初期状態を持つ第１のフラグ、 （Ｂ）設定された変数およびその変数の一部に対して、
値が再定義されたり暗黙的に代入されたりする場合に、
その変数を再定義変数であると判定して、その変数に対
応する前記第１のフラグをオンにする再定義変数判定手 段、 （Ｃ）前記第１のフラグがオフであるそれぞれの変数に
対応して有するとともにオフの初期状態を持つ第２のフ
ラグ、 （Ｄ）前記第１のフラグがオフであるそれぞれの変数に
対応して有するとともにその変数の各バイトに対する各
フラグを連続した位置に持つビットマップフラグ、 （Ｅ）変数が初期値を持つときおよび変数に値が設定さ
れるときに、その変数に対応する前記第１のフラグがオ
フならば、その変数に対応する前記第２のフラグをオン
にし、その変数に対応する前記第１のフラグがオンなら ば、その変数の値を持つバイトに対応する前記ビットマ
ップフラグのすべてのビットをオンにする変数値設定情
報登録手段、 （Ｆ）変数が参照されるときに、その変数に対応する前
記第１のフラグがオフならば、その変数に対応する前記
第２のフラグがオフであることを検出し、その変数に対
応する前記第１のフラグがオンならば、その変数に対応
する前記ビットマップフラグにオフであるビットがある
ことを検出することにより、未設定変数の参照であるこ
とを検出する未設定変数参照検出手段、 を備えることを特徴とする未設定変数参照検出方式。 ３、（Ａ）設定された変数およびその変数の一部に対し
て、値が再定義されたり暗黙的に代入されたりする場合
に、その変数を再定義変数であると判定して、その変数
に対応して設けた第１のフラグをオンにし、 （Ｂ）変数が初期値を持つときおよび変数に値が設定さ
れるときに、その変数に対応する前記第１のフラグがオ
フならば、その変数に対応して設けた第２のフラグをオ
ンにし、その変数に対応する前記第１のフラグがオンな
らば、その変数の各バイトに対応して設けた各フラグを
連続した位置に持つビットマップフラグのすべてのビッ
トをオンにし、 （Ｃ）変数が参照されるときに、その変数に対応する前
記第１のフラグがオフならば、その変数に対応する前記
第２のフラグがオフであることを検出し、その変数に対
応する前記第１のフラグがオンならば、その変数に対応
する前記ビットマップフラグにオフであるビットがある
ことを検出することにより、未設定変数の参照であるこ
とを検出する、 ことを特徴とする未設定変数参照検出方式。[Scope of Claims] 1. (A) A first flag and a second flag that correspond to each variable and have an initial state of OFF, and a consecutive position of each flag for each byte of the corresponding variable. A variable flag storage area that stores the first bit address of the bitmap flag held in (B) For the set variable and a part of the variable,
When a value is redefined or implicitly assigned,
redefinition variable determination means for determining that the variable is a redefinition variable and turning on the first flag corresponding to the variable; (C) corresponding to each variable for which the first flag is on; (D) a bitmap flag storage area that stores each of said bitmap flags in an initial state where all bits are off; If the first flag corresponding to that variable is off, then the second flag corresponding to that variable is turned on, and if the first flag corresponding to that variable is on, the second flag corresponding to the byte that has the value of that variable is turned on. Variable value setting information registration means for turning on all bits of the bitmap flag; (E) when the variable is referenced, if the first flag corresponding to the variable is off, the first flag corresponding to the variable is turned on; detecting that the second flag is off, and if the first flag corresponding to the variable is on, detecting that there is a bit that is off in the bitmap flag corresponding to the variable; An unset variable reference detection method, comprising: unset variable reference detection means for detecting a reference to an unset variable. 2. (A) a first flag that corresponds to each variable and has an initial state of OFF; (B) for the set variable and a portion of that variable;
When a value is redefined or implicitly assigned,
redefinition variable determination means for determining that the variable is a redefinition variable and turning on the first flag corresponding to the variable; (C) corresponding to each variable for which the first flag is off; (D) a second flag corresponding to each variable for which said first flag is off and having each flag for each byte of that variable in a consecutive position; a bitmap flag; (E) when a variable has an initial value and when a value is set to a variable, if the first flag corresponding to that variable is off, the second flag corresponding to that variable; and if the first flag corresponding to the variable is on, variable value setting information registration means for turning on all bits of the bitmap flag corresponding to the byte having the value of the variable; ) When a variable is referenced, if the first flag corresponding to that variable is off, it is detected that the second flag corresponding to that variable is off, and the first flag corresponding to that variable is unset variable reference detection means for detecting that a reference is to an unset variable by detecting that, if a flag 1 is on, there is a bit that is off in the bitmap flag corresponding to the variable; An unset variable reference detection method characterized by comprising: 3. (A) When a value is redefined or implicitly assigned to a set variable or part of that variable, that variable is determined to be a redefined variable and the variable is (B) When a variable has an initial value and when a value is set to a variable, if the first flag corresponding to the variable is off, If the second flag set corresponding to the variable is turned on, and the first flag corresponding to the variable is turned on, each flag set corresponding to each byte of the variable is set in consecutive positions. (C) When a variable is referenced, if the first flag corresponding to the variable is off, the second flag corresponding to the variable is off. If it is detected that there is a bit, and the first flag corresponding to that variable is on, there is a bit that is off in the bitmap flag corresponding to that variable. An unset variable reference detection method is characterized in that it detects that there is.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP5700390A JPH03257532A (en) | 1990-03-07 | 1990-03-07 | Unset variable reference detecting system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP5700390A JPH03257532A (en) | 1990-03-07 | 1990-03-07 | Unset variable reference detecting system |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH03257532A true JPH03257532A (en) | 1991-11-18 |
Family
ID=13043297
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP5700390A Pending JPH03257532A (en) | 1990-03-07 | 1990-03-07 | Unset variable reference detecting system |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH03257532A (en) |
-
1990
- 1990-03-07 JP JP5700390A patent/JPH03257532A/en active Pending
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JPH03257532A (en) | Unset variable reference detecting system | |
| JPH05225076A (en) | Method and device for managing common information | |
| JP2780895B2 (en) | Data processing device | |
| JPH04130932A (en) | Address tracing memory | |
| JPH0376503B2 (en) | ||
| JPS646490B2 (en) | ||
| JPH05134909A (en) | Free space search method | |
| JPH04346153A (en) | Memory access bus control method and its information processing device | |
| JP2560520B2 (en) | Advance control device | |
| JPH02205937A (en) | Information processing system | |
| JPS6269340A (en) | virtual memory device | |
| JPH0670785B2 (en) | Buffer memory expansion method by pointer dynamic control | |
| JPS6095650U (en) | Stack overflow detection circuit | |
| JPS6030008U (en) | Sequence control device | |
| JPH02190954A (en) | Bus monitoring device | |
| JPS62237544A (en) | Memory access controller | |
| JPH01291324A (en) | Micro-instruction device | |
| JPH0296697U (en) | ||
| JPS6030050U (en) | Data memory access method | |
| JPH03268967A (en) | Control circuit of dot matrix printer | |
| JPH0386452U (en) | ||
| JPH0315775B2 (en) | ||
| JPS60126846U (en) | Memory switching control circuit | |
| JPH01120684A (en) | Graphics plotting device | |
| JPH022751U (en) |