[Bug tree-optimization/14495] [tree-ssa] Propagate range info into a switch statement

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2008-04-02 12:52 -------
Subject: Bug 14495

Author: rguenth
Date: Wed Apr  2 12:51:37 2008
New Revision: 133834

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=133834
Log:
2008-04-02  Richard Guenther  <[EMAIL PROTECTED]>

        PR tree-optimization/14495
        * tree-vrp.c (vrp_visit_cond_stmt): Do not handle
        SWITCH_EXPR here ...
        (vrp_visit_switch_stmt): ... but here (new function).
        (find_case_label_index): New helper function.
        (vrp_visit_stmt): Dispatch to vrp_visit_switch_stmt.

        * gcc.dg/tree-ssa/vrp40.c: New testcase.

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


-- 


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