From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 15212 invoked by alias); 1 May 2006 10:09:16 -0000 Received: (qmail 15190 invoked by uid 48); 1 May 2006 10:09:10 -0000 Date: Mon, 01 May 2006 10:09:00 -0000 Message-ID: <20060501100910.15189.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug tree-optimization/25643] VRP does not remove -fbounds-check for Fortran In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "baldrick at free dot fr" 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/msg00019.txt.bz2 List-Id: ------- Comment #6 from baldrick at free dot fr 2006-05-01 10:09 ------- Re comment #5: > so we have [1,1] UNION [2, +INF] and we just get ~[0,0] bogus > and it also means this is PR 23744. This is more than PR 23744: with the fix for PR 23744 applied, __builtin_abort () is still not eliminated due to VRP failing to eliminate the i > n comparison (symbolic range). -- baldrick at free dot fr changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |baldrick at free dot fr http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25643