摘要 |
PURPOSE:To make detection of indefinite value reference possible by inserting pseudo indefinite value setting statement to an initial value setting subprogram. CONSTITUTION:Pseudo indefinite value setting statements 11 and 101 for local uninitialized variable are inserted to program unit 10 and an initial value setting subprogram 100 in each program unit. In the program unit 10, an indefinite variable judging process program 12 is inserted just before statement M=N that refers to the uninitialized variable. In the program 12, if the uninitialized variable remains set pseudo indefinite value, branches to an indefinite value reference information output program 1000, and returns to the program 12 after outputting the fact that refers to the indefinite variable, and if not, moves to initialized variable reference statement M=N.
|