------- Comment #14 from jason at gcc dot gnu dot org 2010-04-20 22:02 ------- Certainly optimizing away bounds checking is good when it is provably redundant, but that clearly doesn't apply to this case. That said, I'll go ahead and add the option.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43680