[Bug tree-optimization/49161] [4.5/4.6/4.7 Regression] Fix VRP on switch stmts

jakub at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Wed May 25 14:24:00 GMT 2011


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49161

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-05-25 14:13:06 UTC ---
Created attachment 24356
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24356
gcc46-pr49161.patch

Untested fix.  The problem seems to be that GIMPLE_SWITCH uses until VRP
different CASE_LABEL_EXPRs for the same bb, so it adds to the same edge
assertion that x == 4 and that x == 3, while instead x >= 3 and x <= 4
assertions should be added.



More information about the Gcc-bugs mailing list