From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 13008 invoked by alias); 4 May 2006 06:40:36 -0000 Received: (qmail 12918 invoked by alias); 4 May 2006 06:40:25 -0000 Date: Thu, 04 May 2006 06:40:00 -0000 Message-ID: <20060504064025.12917.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug tree-optimization/27285] [4.1 regression] ivopts postgresql miscompilation In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "jakub 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-05/txt/msg00333.txt.bz2 List-Id: ------- Comment #6 from jakub at gcc dot gnu dot org 2006-05-04 06:40 ------- Subject: Bug 27285 Author: jakub Date: Thu May 4 06:40:15 2006 New Revision: 113515 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113515 Log: PR tree-optimization/27285 Backport from mainline: 2006-03-28 Zdenek Dvorak PR tree-optimization/25985 * tree-ssa-loop-niter.c (number_of_iterations_le, number_of_iterations_ne): Make comments more precise. (number_of_iterations_cond): Add only_exit argument. Use the fact that signed variables do not overflow only when only_exit is true. (loop_only_exit_p): New. (number_of_iterations_exit): Pass result of loop_only_exit_p to number_of_iterations_cond. * gcc.c-torture/execute/pr27285.c: New test. Added: branches/gcc-4_1-branch/gcc/testsuite/gcc.c-torture/execute/pr27285.c Modified: branches/gcc-4_1-branch/gcc/ChangeLog branches/gcc-4_1-branch/gcc/testsuite/ChangeLog branches/gcc-4_1-branch/gcc/tree-ssa-loop-niter.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27285