One of the features that makes Ada such a reliable programming language is its use of run-time constraint checks. However, such checks slow program execution and increase program size.The AdaMagic™ compiler uses one-pass, on-the-fly flow analysis during intermediate-language generation specifically to eliminate unnecessary constraint checks and to warn about potential error situations such as the use of uninitialized variables.The one-pass nature of our method allows for faster compile times than more elaborate multi-pass flow analysis. Thus, we are able to generate efficient code without the impact on compile-time, and without the added implementation complexity, associated with a traditional separate optimization phase.

781) 221-6990 bobduff @ averstar.corn 1. ABSTRACT One of the features that makes Ada such a reliable programming language is its use of run.time constraint checks. However, such checks slow program execution and increase program size. The AdaMagic TM compiler uses one-pass, onthe-fly flow analysis during intermediatelanguage generation specifically to eliminate unnecessary constraint checks and to warn about potential error situations such as the use of ullinitialized variables.The one-pass nature of our method allows for faster compile times than more elaborate multi-pass flow analysis. Thus, we are able to generate efficient code without the impact on compile-time, and without the added implementation complexity, associated with a traditional separate optimization phase. 1.1