Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005476OCamlOCaml generalpublic2012-01-13 18:122013-08-31 12:44
Reporterlefessan 
Assigned Tolefessan 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.12.1 
Target VersionFixed in Version3.13.0+dev 
Summary0005476: bug in native code compilation of let rec on float arrays
DescriptionGabriel Scherer found that the following code leads to a segmentation fault:

let test =
  let rec x = [| y; y |] and y = 1. in
  assert (x = [| 1.; 1. |]);
  assert (y = 1.);
 
TagsNo tags attached.
Attached Filespatch file icon 0002-cmmgen-fix-letrec-bindings-float-array-segfault.patch [^] (2,845 bytes) 2012-01-13 18:35 [Show Content]

- Relationships

-  Notes
(0006684)
lefessan (developer)
2012-01-14 20:19

I forgot to mention it, but I applied Gabriel's patch in the SVN as commit r12021. If everybody is ok with it, I am going to close this bug.

- Issue History
Date Modified Username Field Change
2012-01-13 18:12 lefessan New Issue
2012-01-13 18:12 lefessan Status new => assigned
2012-01-13 18:12 lefessan Assigned To => lefessan
2012-01-13 18:12 lefessan File Added: 0001-Improve-Cmm-code-generator-for-for-loops.patch
2012-01-13 18:34 lefessan File Deleted: 0001-Improve-Cmm-code-generator-for-for-loops.patch
2012-01-13 18:35 lefessan File Added: 0002-cmmgen-fix-letrec-bindings-float-array-segfault.patch
2012-01-14 20:19 lefessan Note Added: 0006684
2012-01-16 21:36 lefessan Status assigned => resolved
2012-01-16 21:36 lefessan Fixed in Version => 3.13.0+dev
2012-01-16 21:36 lefessan Resolution open => fixed
2013-08-31 12:44 xleroy Status resolved => closed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker