It's trickier than it looks because C has mutable aliases. So, in C our bounds check might itself be a data race! Make sure you cope

Depending on what you are doing, yes. But the statement I responded to "your only choice is crash" is certainly wrong.