On Wednesday, 31 May 2017 at 23:40:00 UTC, Timon Gehr wrote:
Bounds checks have /no business at all/ trying to handle preexisting memory corruption,In the context of the conversation, and error has already occurred and the all cases was referring to all the cases that lead to the error.
Sure, because the program is in an undefined state by that point. There is only termination.
and in that sense they are comparable to program startup.
I disagree.
