From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 23589 invoked by alias); 9 Feb 2006 13:40:58 -0000 Received: (qmail 23567 invoked by alias); 9 Feb 2006 13:40:56 -0000 Date: Thu, 09 Feb 2006 13:40:00 -0000 Message-ID: <20060209134056.23566.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug tree-optimization/26180] [4.1 Regression] wrong code due to VRP and unsigned multiplies with wraps In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "dnovillo at gcc dot gnu dot org" Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2006-02/txt/msg00908.txt.bz2 List-Id: ------- Comment #6 from dnovillo at gcc dot gnu dot org 2006-02-09 13:40 ------- Subject: Bug 26180 Author: dnovillo Date: Thu Feb 9 13:40:52 2006 New Revision: 110795 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=110795 Log: PR 26180 * tree-vrp.c (vrp_int_const_binop): Detect overflow when multiplying unsigned values. Tidy comments. testsuite PR 26180 * gcc.dg/tree-ssa/pr26180.c: New test. Added: branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/tree-ssa/pr26180.c Modified: branches/gcc-4_1-branch/gcc/ChangeLog branches/gcc-4_1-branch/gcc/testsuite/ChangeLog branches/gcc-4_1-branch/gcc/tree-vrp.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26180