------- Comment #4 from jakub at gcc dot gnu dot org 2006-02-16 13:11 ------- The MEM is marked as MEM_NOTRAP_P, by do_tablejump -> gen_const_mem. Still, IMHO you can't do that, otherwise we couldn't mark any MEM as MEM_NOTRAP_P unless it has constant operand. If a particular array will not trap, it doesn't mean you can add arbitrary offset to it and still expect it will not trap.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26316