Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006277OCamlOCaml backend (code generation)public2013-12-18 14:262013-12-18 16:17
Reportersbriais 
Assigned To 
PrioritynormalSeveritycrashReproducibilityalways
StatusresolvedResolutionfixed 
PlatformLinux 64 bitsOSOS Version
Product Version4.01.0 
Target VersionFixed in Version4.01.1+dev 
Summary0006277: Compiler crash when turning on -unsafe option.
DescriptionThe compiler crash when compiling the attached code with -unsafe turned on.

Steps To Reproduce$ ocamlopt -unsafe -c foo.ml
>> Fatal error: Selection.emit_expr: unbound var j_1010
Fatal error: exception Misc.Fatal_error

TagsNo tags attached.
Attached Files? file icon foo.ml [^] (83 bytes) 2013-12-18 14:26 [Show Content]

- Relationships
related to 0006216resolvedxleroy inlining of GADT matches generates invalid assembly 

-  Notes
(0010750)
xleroy (administrator)
2013-12-18 15:41

This is another manifestation of the problem with float unboxing described in 0006216. The fix for 0006216 (patch "cmmgen-patch.diff" there) also fixes this issue. Already corrected in 4.01 bugfix branch and in trunk.

- Issue History
Date Modified Username Field Change
2013-12-18 14:26 sbriais New Issue
2013-12-18 14:26 sbriais File Added: foo.ml
2013-12-18 15:39 xleroy Relationship added related to 0006216
2013-12-18 15:41 xleroy Note Added: 0010750
2013-12-18 15:41 xleroy Status new => resolved
2013-12-18 15:41 xleroy Resolution open => fixed
2013-12-18 15:41 xleroy Fixed in Version => 4.01.1+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker