------- Comment #1 from pinskia at gcc dot gnu dot org 2006-02-20 02:13 ------- I don't see why there needs to be an attribute or even cause that much missed optimization? GCC should be able to find that the default is not taken via VRP but does not currently but that is a different bug that has been filed already.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26363
