RM 1 1 5 12 Bounded Errors (GNAT Reference Manual) (original) (raw)

Next: RM 2.8(16): Pragmas, Previous: RM 1.1.3(31): Child Units, Up: Implementation Advice [Contents][Index]

6.3 RM 1.1.5(12): Bounded Errors ¶

“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.