You&#x27;re already allowing undefined behaviour then. Very confusing bugs could result - e.g. the value of &#x27;a&#x27; might be different from what it looked like in a debugger, because the array access changed it in memory but the copy in the register hasn&#x27;t changed.