TC-B, Array bounds checkingΒΆ

TC-B is an additional assignment.

This section has been updated for EPITA- 2023 on 2021-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 option --bounds-checks-add and can be combined using --c-bounds.