From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 4169 invoked by alias); 22 Dec 2008 09:06:26 -0000 Received: (qmail 4023 invoked by uid 48); 22 Dec 2008 09:05:04 -0000 Date: Mon, 22 Dec 2008 09:06:00 -0000 Message-ID: <20081222090504.4022.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug middle-end/38572] [4.4 Regression] ICE in set_value_range, at tree-vrp.c:398 In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "bonzini at 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-12/txt/msg02045.txt.bz2 ------- Comment #20 from bonzini at gnu dot org 2008-12-22 09:05 ------- This is a latent bug in the handling of out-of-bounds values. It happens because a value changes from [256, 256] to [256, 257]. VRP then forces the upper bound to the max-value of the type, generating the invalid range [256, 7]. We should punt and give VARYING. Probably caused by the tree-ssa-propagate.c hunk of my patch, but also probably latent. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38572