From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 19952 invoked by alias); 15 Apr 2005 20:44:30 -0000 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 Received: (qmail 19913 invoked by uid 48); 15 Apr 2005 20:44:26 -0000 Date: Fri, 15 Apr 2005 20:44:00 -0000 Message-ID: <20050415204426.19911.qmail@sourceware.org> From: "laurent at guerby dot net" To: gcc-bugs@gcc.gnu.org In-Reply-To: <20050414201608.21029.aoliva@gcc.gnu.org> References: <20050414201608.21029.aoliva@gcc.gnu.org> Reply-To: gcc-bugzilla@gcc.gnu.org Subject: [Bug tree-optimization/21029] [4.1 Regression] vrp miscompiles Ada front-end, drops loop exit test in well-defined wrap-around circumstances X-Bugzilla-Reason: CC X-SW-Source: 2005-04/txt/msg02121.txt.bz2 List-Id: ------- Additional Comments From laurent at guerby dot net 2005-04-15 20:44 ------- With your patch I'm able to bootstrap but I get a few ACATS FAIL: FAIL: c41203a FAIL: c41203b FAIL: c52102b FAIL: c52102d FAIL: c52103x FAIL: c62002a FAIL: cdd2a02 FAIL: cxa5012 FAIL: cxg2009 FAIL: cxh1001 The first 8 are wrong code, cxa5012 will be fixed by my patch soon and the two last are ICEs, here is cxg2009: /home/guerby/work/gcc/build/build-20050415T203732/gcc/xgcc -c -B/home/guerby/work/gcc/build/build-20050415T203732/gcc/ -gnatws -O2 -I/home/guerby/work/gcc/build/build-20050415T203732/gcc/testsuite/ada/acats/support cxg2009.adb +===========================GNAT BUG DETECTED==============================+ | 4.1.0 20050415 (experimental) (x86_64-unknown-linux-gnu) GCC error: | | in set_value_range, at tree-vrp.c:124 | | Error detected at cxg2009.adb:421:5 | -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21029