Next: , Previous: , Up: Compiler Stages   [Contents][Index]

4.11 TC-B, Array bounds checking

TC-B is an optional assignment.

This section has been updated for EPITA-2020 on 2015-01-31.

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 options --bounds-checks-add and --overfun-bounds-checks-add.