Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007598OCamllexing and parsingpublic2017-07-25 14:082017-07-25 22:30
Assigned To 
Platformx64OSmacosOS Version10.11.6
Product Version4.05.0 
Target VersionFixed in Version 
Summary0007598: Out-of-date camlp4 causes segfault in ocamlopt.opt
DescriptionSuggested fix: add code to detect incompatibility and produce helpful error message.
Steps To ReproduceInstall version 4.05 of OCaml and 4.04+1 of camlp4. Create file containing the text

type bar = < quux: unit >


ocamlopt.opt -c -pp camlp4o.opt

This creates a segfault. See the OS X crash report attached.
TagsNo tags attached.
Attached Files? file icon ocamlopt.opt_2017-07-25-134408_Bart-Jacobss-MacBook-Pro.crash [^] (11,194 bytes) 2017-07-25 14:08

- Relationships
related to 0007599new Document why, when and how to update magic numbers 

-  Notes
gasche (developer)
2017-07-25 21:38

(to devs) I would assume that the AST magic number should have been checked before deserialization of the AST. Does this report suggest that we have forgotten to update the AST magic number between 4.04 and 4.05? If so, then we could fix this in the 4.05 branch and in trunk.

- Issue History
Date Modified Username Field Change
2017-07-25 14:08 bartjacobs New Issue
2017-07-25 14:08 bartjacobs File Added: ocamlopt.opt_2017-07-25-134408_Bart-Jacobss-MacBook-Pro.crash
2017-07-25 21:38 gasche Note Added: 0018137
2017-07-25 22:30 gasche Relationship added related to 0007599

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker