Next: RM 2 8 16 Pragmas, Previous: RM 1 1 3 31 Child Units, Up: Implementation Advice
"If an implementation detects a bounded error or erroneous execution, it should raise Program_Error."
Followed in all cases in which the implementation detects a bounded error or erroneous execution. Not all such situations are detected at runtime.