public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "rakdver at atrey dot karlin dot mff dot cuni dot cz" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/17591] Ada bootstrap SEGV in stage2 on osint.adb, no SEGV when -fno-ivopts Date: Thu, 23 Sep 2004 12:12:00 -0000 [thread overview] Message-ID: <20040923121212.4291.qmail@sourceware.org> (raw) In-Reply-To: <20040921184410.17591.laurent@guerby.net> ------- Additional Comments From rakdver at atrey dot karlin dot mff dot cuni dot cz 2004-09-23 12:12 ------- Subject: Re: Ada bootstrap SEGV in stage2 on osint.adb, no SEGV when -fno-ivopts Hello, > 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}; once someone explains me what kind of brand new ultra cool absolutely necessary feature should this "{off: D.619_265 * 4}" stuff be, fixing this (and folowing two failures) should be straightforward. > +===========================GNAT BUG DETECTED==============================+ > | 4.0.0 20040920 (experimental) (i686-pc-linux-gnu) verify_ssa failed. | > | Error detected at c37003a.adb:198:5 | > > +===========================GNAT BUG DETECTED==============================+ > | 4.0.0 20040920 (experimental) (i686-pc-linux-gnu) verify_ssa failed. | > | Error detected at c43204e.adb:179:5 | > > +===========================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 ****************************. No idea, will check once I get to computer with Ada installed. > * 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 <tc_idD.942>; > # VUSE <neighborhood_taxesD.676_978>; > 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 | Ditto. Zdenek -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17591
next prev parent reply other threads:[~2004-09-23 12:12 UTC|newest] Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top 2004-09-21 18:44 [Bug bootstrap/17591] New: " laurent at guerby dot net 2004-09-21 18:49 ` [Bug bootstrap/17591] " pinskia at gcc dot gnu dot org 2004-09-21 19:02 ` laurent at guerby dot net 2004-09-21 19:06 ` pinskia at gcc dot gnu dot org 2004-09-21 19:09 ` [Bug tree-optimization/17591] " pinskia at gcc dot gnu dot org 2004-09-22 21:24 ` [Bug bootstrap/17591] " laurent at guerby dot net 2004-09-22 22:11 ` [Bug tree-optimization/17591] " pinskia at gcc dot gnu dot org 2004-09-23 12:12 ` rakdver at atrey dot karlin dot mff dot cuni dot cz [this message] 2004-09-24 22:31 ` [Bug bootstrap/17591] " laurent at guerby dot net 2004-09-24 22:40 ` [Bug tree-optimization/17591] " pinskia at gcc dot gnu dot org 2004-09-25 11:12 ` rakdver at atrey dot karlin dot mff dot cuni dot cz 2004-09-25 15:18 ` pinskia at gcc dot gnu dot org 2004-09-26 8:32 ` cvs-commit at gcc dot gnu dot org 2004-09-26 13:44 ` pinskia at gcc dot gnu dot org
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20040923121212.4291.qmail@sourceware.org \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).