From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 16107 invoked by alias); 22 Sep 2004 21:24:27 -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 16096 invoked by uid 48); 22 Sep 2004 21:24:26 -0000 Date: Wed, 22 Sep 2004 21:24:00 -0000 Message-ID: <20040922212426.16094.qmail@sourceware.org> From: "laurent at guerby dot net" To: gcc-bugs@gcc.gnu.org In-Reply-To: <20040921184410.17591.laurent@guerby.net> References: <20040921184410.17591.laurent@guerby.net> Reply-To: gcc-bugzilla@gcc.gnu.org Subject: [Bug bootstrap/17591] Ada bootstrap SEGV in stage2 on osint.adb, no SEGV when -fno-ivopts X-Bugzilla-Reason: CC X-SW-Source: 2004-09/txt/msg02623.txt.bz2 List-Id: ------- Additional Comments From laurent at guerby dot net 2004-09-22 21:24 ------- I deactivated ivopts with the following patch: Index: common.opt =================================================================== RCS file: /cvs/gcc/gcc/gcc/common.opt,v retrieving revision 1.55 diff -u -r1.55 common.opt --- common.opt 14 Sep 2004 08:05:45 -0000 1.55 +++ common.opt 22 Sep 2004 20:57:57 -0000 @@ -473,7 +473,7 @@ Instrument function entry and exit with profiling calls fivopts -Common Report Var(flag_ivopts) Init(1) +Common Report Var(flag_ivopts) Init(0) Optimize induction variables on trees fkeep-inline-functions It cured the problem, and also fixed the following ACATS tests on x86: c37003a c43204e c48009b cc3224a cxaa010 The 19 remaining ACATS failure are identical on x86 and x86_64 and do not seem related to ivopts. Zdenek, what information I can provide would be helpful to you on this issue? I can try reducing some of the five tests above, here are their exact failure mode: * c37003a c37003a.adb: In function 'C37003A': c37003a.adb:40: error: Definition in block 8 does not dominate use in block 59 for SSA_NAME: D.619_265 in statement: ivtmp.99D.1044_1133 = &r1.4D.614_73->a2D.424{off: D.619_265 * 4}[1]{lb: 1 sz: 4}; +===========================GNAT BUG DETECTED==============================+ | 4.0.0 20040920 (experimental) (i686-pc-linux-gnu) verify_ssa failed. | | Error detected at c37003a.adb:198:5 | * c43204e c43204e.adb: In function 'C43204E': c43204e.adb:35: error: Definition in block 184 does not dominate use in block 490 for SSA_NAME: D.2674_2039 in statement: ivtmp.365D.3607_12228 = &_initD.2608_788->ra22D.655{off: D.2674_2039 * 4}[J159b.239D.2678_36]{lb: SR.299D.3291_250 sz: D.1169_662 * 4}[SR.297D.3289_256]{lb: SR.297D.3289_256 sz: 4}; +===========================GNAT BUG DETECTED==============================+ | 4.0.0 20040920 (experimental) (i686-pc-linux-gnu) verify_ssa failed. | | Error detected at c43204e.adb:179:5 | * c48009b c48009b.adb: In function 'C48009B': c48009b.adb:45: error: Definition in block 125 does not dominate use in block 124 for SSA_NAME: D.1048_538 in statement: ivtmp.149D.1490_1845 = &VIEW_CONVERT_EXPR(*va_t_rec_arrD.423_480).bD.790.eD.786{off: D.1048_538 * 4}[1]{lb: 1 sz: 4}; +===========================GNAT BUG DETECTED==============================+ | 4.0.0 20040920 (experimental) (i686-pc-linux-gnu) verify_ssa failed. | | Error detected at c48009b.adb:255:5 | * cc3224a compiles but fails at run time: ,.,. CC3224A ACATS 2.5 04-09-20 21:39:14 ---- CC3224A CHECK THAT A FORMAL ARRAY TYPE DENOTES ITS ACTUAL PARAMETER, AND THAT OPERATIONS OF THE FORMAL TYPE ARE THOSE IDENTIFIED WITH THE CORRESPONDING OPERATIONS OF THE ACTUAL TYPE. * CC3224A AND REPORT.FAILED - BOOLEAN. * CC3224A OR REPORT.FAILED - BOOLEAN. **** CC3224A FAILED ****************************. * cxaa010 cxaa010.adb: In function 'CXAA010': cxaa010.adb:78: error: Expected an SSA_NAME object while verifying SSA_NAME tc_id in statement # tc_idD.942 = V_MAY_DEF ; # VUSE ; tc_idD.942 = *ruatmp.227D.1832_4516; +===========================GNAT BUG DETECTED==============================+ | 4.0.0 20040920 (experimental) (i686-pc-linux-gnu) verify_ssa failed. | | No source file position information available | Laurent -- What |Removed |Added ---------------------------------------------------------------------------- CC| |laurent at guerby dot net Component|tree-optimization |bootstrap http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17591