This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/17591] Ada bootstrap SEGV in stage2 on osint.adb, no SEGV when -fno-ivopts
- From: "rakdver at atrey dot karlin dot mff dot cuni dot cz" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 23 Sep 2004 12:12:12 -0000
- Subject: [Bug tree-optimization/17591] Ada bootstrap SEGV in stage2 on osint.adb, no SEGV when -fno-ivopts
- References: <20040921184410.17591.laurent@guerby.net>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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