[Bug tree-optimization/72810] [7 Regression] error: type mismatch for case label in switch statement

[ppalka at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72810

--- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Author: ppalka
Date: Fri Aug  5 17:21:00 2016
New Revision: 239174

URL: https://gcc.gnu.org/viewcvs?rev=239174&root=gcc&view=rev
Log:
Fix PR tree-optimization/72810

gcc/ChangeLog:

        PR tree-optimization/72810
        * tree-vrp.c (simplify_switch_using_ranges): Avoid changing
        the type of the case labels when truncating.

gcc/testsuite/ChangeLog:

        PR tree-optimization/72810
        * gcc.dg/tree-ssa/vrp110.c: New test.


Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp110.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c