------- Comment #9 from rakdver at gcc dot gnu dot org 2006-02-16 13:53 ------- Given that do_tablejump was the very first setter of MEM_NOTRAP_P, it is not likely that it would be the wrong one (unless all other setters that came later chose the other possible semantics).
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26316