------- Additional Comments From pinskia at gcc dot gnu dot org 2005-04-24 11:52 ------- VRP does not remove this for some reason even though we have now enough information to do so: a_2: [100, 200]
switch (a_2) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14495