That is done already in many cases.

Note that doing that doesn't fix all of the problems that out of bounds array writes can cause though.