TC-B, Array bounds checking

TC-B is an additional assignment.

At the end of this stage, the compiler adds dynamic checks of the bounds of arrays to the AST. Every access (either on read or write) is checked, and the program should stops with the runtime exit code (120) on out-of-bounds access. This feature is triggered by the option --bounds-checks-add and can be combined using --c-bounds.

• TC-B Samples
• TC-B Code to Write
• TC-B FAQ