On Tuesday, 21 July 2020 at 13:16:44 UTC, IGotD- wrote:
Either the array will hit that page during initialization or something else during the execution.
But the array isn't initialized in the justification scenario. It is accessed through a null pointer and the type system thinks it is fine because it is still inside the static limit.
At run time, the cpu just sees access to memory address 0 + x, and if x is sufficient large, it can bypass those guard pages.
