------- Comment #5 from rguenth at gcc dot gnu dot org 2009-04-29 14:17 ------- With -O2 VRP should (since 4.4) "fix" this as well. That said, newer GCC no longer need a default label.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39666
rguenth at gcc dot gnu dot org Wed, 29 Apr 2009 07:18:14 -0700
------- Comment #5 from rguenth at gcc dot gnu dot org 2009-04-29 14:17 ------- With -O2 VRP should (since 4.4) "fix" this as well. That said, newer GCC no longer need a default label.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39666