[Bug bootstrap/17591] Ada bootstrap SEGV in stage2 on osint.adb, no SEGV when -fno-ivopts

["laurent at guerby dot net" <gcc-bugzilla at gcc dot gnu dot org>]

------- 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<struct
c48009b__T71bD.795>(*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 <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                            |

Laurent


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |laurent at guerby dot net
          Component|tree-optimization           |bootstrap


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17591