| Anonymous | Login | Signup for a new account | 2013-05-22 11:00 CEST | ![]() |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||||
| 0005704 | OCaml | OCaml backend (code generation) | public | 2012-07-28 14:03 | 2012-09-24 13:50 | ||||||
| Reporter | lefessan | ||||||||||
| Assigned To | |||||||||||
| Priority | normal | Severity | trivial | Reproducibility | have not tried | ||||||
| Status | confirmed | Resolution | open | ||||||||
| Platform | OS | OS Version | |||||||||
| Product Version | 4.00.0 | ||||||||||
| Target Version | 4.01.0+dev | Fixed in Version | |||||||||
| Summary | 0005704: cmx magic numbers have not been changed for a while | ||||||||||
| Description | It looks like cmx magic numbers have not been changed since commit 7812, but last changes to the Clambda.ulambda (used for inlined function code in .cmx) have commit numbers 11007 and 12179. Some people have noticed segfaults of ocamlopt/ocamlopt.opt due to heap corruption. Is it possible that these segfaults come from .cmx files of older versions ? (I open this bug report so that such problems can be linked to this bug report as a possible cause) | ||||||||||
| Tags | No tags attached. | ||||||||||
| Attached Files | |||||||||||
Notes |
|
|
(0008154) xleroy (administrator) 2012-09-24 13:50 |
I agree that updating the magic numbers wouldn't hurt. On the other hand, I don't think magic number confusion is causing the heap corruption in question --- PR#5757 looks like a more likely culprit. So, I propose to schedule this update for 4.01 and leave it out of the bugfix release 4.00.1. |
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2012-07-28 14:03 | lefessan | New Issue | |
| 2012-07-31 13:31 | doligez | Status | new => confirmed |
| 2012-09-24 13:50 | xleroy | Note Added: 0008154 | |
| 2012-09-24 13:50 | xleroy | Priority | urgent => normal |
| 2012-09-24 13:50 | xleroy | Target Version | 4.00.1+dev => 4.01.0+dev |
| Copyright © 2000 - 2011 MantisBT Group |