From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 14995 invoked by alias); 24 Feb 2007 12:48:04 -0000 Received: (qmail 14843 invoked by alias); 24 Feb 2007 12:47:52 -0000 Date: Sat, 24 Feb 2007 12:48:00 -0000 Message-ID: <20070224124752.14831.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug tree-optimization/30911] VRP fails to eliminate range checks in Ada code In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "charlet at adacore dot com" 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: 2007-02/txt/msg02760.txt.bz2 ------- Comment #36 from charlet at adacore dot com 2007-02-24 12:47 ------- Subject: Re: VRP fails to eliminate range checks in Ada code > I was talking about the rts that get's used if I configure with > --disable-bootstrap, do a make and then run make check-ada from within the > gcc/ subdirectory. As far as I understand that rts seems to be built using > the bootstrap compiler. At least this would explain the difference in the > number of acats failures I see comparing a bootstrapped tree vs. a > non-bootstrapped tree. Sorry, I am not familiar with --disable-bootstrap, but if it builds the Ada rts with the bootstrap compiler, then that's a clear bug in the top level makefiles. Ada makefiles are not designed to build the Ada rts with the host compiler, so there must be some very strange makefile interaction going on if true. You can easily verify that of course by checking your build log. Arno -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30911