Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005986OCamlOCaml generalpublic2013-04-15 11:112013-04-18 14:00
Reporterfrisch 
Assigned Toxleroy 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0005986: Protect against marshaling 64-bit integers in bytecode
DescriptionThe generic marshaling function should take a flag to forbid it from emitting 64-bit integer (because the resulting value cannot be read from a 32-bit process).

The bytecode compiler should be extended with a command-line flag to prevent it from emitting such integers in structured constants (using the feature above), and we should use this flag when bootstrapping, so that the resulting bytecode executable are usable under 32-bit architectures.
TagsNo tags attached.
Attached Files

- Relationships
related to 0005977resolvedfrisch Build failure on raspberry pi: "input_value: integer too large" 

-  Notes
(0009114)
xleroy (administrator)
2013-04-15 18:43

Working on it.
(0009156)
xleroy (administrator)
2013-04-18 14:00

Implemented in trunk, r13554: option Marshal.Compat_32 to the Marshal.to_* functions and flag -compat-32 to ocamlc.

- Issue History
Date Modified Username Field Change
2013-04-15 11:11 frisch New Issue
2013-04-15 11:12 frisch Relationship added related to 0005977
2013-04-15 18:43 xleroy Note Added: 0009114
2013-04-15 18:43 xleroy Assigned To => xleroy
2013-04-15 18:43 xleroy Status new => acknowledged
2013-04-18 14:00 xleroy Note Added: 0009156
2013-04-18 14:00 xleroy Status acknowledged => resolved
2013-04-18 14:00 xleroy Resolution open => fixed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker