TC-B, Array bounds checkingΒΆ

TC-B is an optional assignment.

This section has been updated for EPITA- 2021 on 2019-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.