Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000048OCamlOCaml generalpublic2000-03-03 20:122000-03-06 16:04
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000048: CVS OCaml
DescriptionFull_Name: Wolfram Kahl
Version: 2.99+7
OS: Solaris 7 and 2.6, Tru64Unix
Submission from: aspirateur.inria.fr (128.93.8.116)
Submitted by: doligez


Date: 1 Mar 2000 14:26:04 -0000
Message-ID: <20000301142604.9711.qmail@heraklit.informatik.unibw-muenchen.de>
From: Wolfram Kahl <kahl@heraklit.informatik.unibw-muenchen.de>
To: garrigue@kurims.kyoto-u.ac.jp
Subject: CVS OCaml

Furthermore, my big stream parser xmlParse.ml does not want to be compiled
with -inline 2 or bigger --- ocamlopt then raises an uncaught
Array.get exception (on Solaris 7 and 2.6).
It works for -inline 1 and without -inline.
I include the source below --- I hope I didn't forget any utilities.

[source not included -- Damien]

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000316)
administrator (administrator)
2000-03-03 20:23

>From: Wolfram Kahl <kahl@heraklit.informatik.unibw-muenchen.de>

>Furthermore, my big stream parser xmlParse.ml does not want to be compiled
>with -inline 2 or bigger --- ocamlopt then raises an uncaught
>Array.get exception (on Solaris 7 and 2.6).
>It works for -inline 1 and without -inline.

The problem seems to be at line 572 in asmcomp/selectgen.ml:
         Istore(_, addr) when r.(0).typ = Float -> Istore(Double, addr)
but r can be the empty array.

I'm fixing it by replacing line 572 with these two lines:
        | Istore(_, addr) when Array.length r > 0 && r.(0).typ = Float
            -> Istore(Double, addr)

I'm not sure about the correctness of the fix. Xavier will have to confirm it.

-- Damien
(0000317)
administrator (administrator)
2000-03-06 16:04

Fixed on 2000-03-06 by Xavier.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker