From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 12107 invoked by alias); 2 Apr 2008 12:53:05 -0000 Received: (qmail 11895 invoked by alias); 2 Apr 2008 12:52:21 -0000 Date: Wed, 02 Apr 2008 12:53:00 -0000 Message-ID: <20080402125221.11894.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug tree-optimization/14495] [tree-ssa] Propagate range info into a switch statement In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "rguenth at gcc dot gnu dot org" Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2008-04/txt/msg00155.txt.bz2 ------- 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 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