------- Comment #9 from rguenth at gcc dot gnu dot org 2008-04-02 12:54 ------- Subject: Bug 14495
Author: rguenth Date: Wed Apr 2 12:54:08 2008 New Revision: 133835 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=133835 Log: 2008-04-02 Richard Guenther <[EMAIL PROTECTED]> PR tree-optimization/14495 PR tree-optimization/34793 * tree-vrp.c (struct switch_update): New structure. (to_remove_edges, to_update_switch_stmts): New VECs. (simplify_switch_using_ranges): New function. Remove not taken case labels and edges. (simplify_stmt_using_ranges): Call it. (identify_jump_threads): Mark edges we have queued for removal so we don't thread them. (execute_vrp): Remove edges queued for removal, update SWITCH_STMT case label vector. * tree-cfg.c (group_case_labels): Deal with missing default label. (tree_verify_flow_info): Allow missing default label. * stmt.c (emit_case_bit_tests): Deal with NULL default_label. (emit_case_nodes): Likewise. (expand_case): Do not rely on the default label to be present. * expr.c (try_casesi): Deal with NULL default_label. (do_tablejump): Likewise. * gcc.dg/tree-ssa/vrp41.c: New testcase. * gcc.dg/tree-ssa/vrp42.c: Likewise. Added: trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp41.c trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp42.c Modified: trunk/gcc/ChangeLog trunk/gcc/expr.c trunk/gcc/stmt.c trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-cfg.c trunk/gcc/tree-vrp.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14495
