Debug section is sometimes not readable when using -pack

[vicuna]

Original bug ID: 6549
Reporter: @hhugo
Assigned to: @gasche
Status: closed (set by @xavierleroy on 2016-12-07T10:34:48Z)
Resolution: fixed
Priority: normal
Severity: crash
Version: 4.02.0+beta1 / +rc1
Target version: 4.02.1+dev
Category: back end (clambda to assembly)
Monitored by: @gasche

Bug description

the DBUG section of packed object is wrong when there are no debug_event available.
this is due to missing begin_end in the following code (bytepackager.ml line 225)

if !Clflags.debug && !events <> [] then
output_value oc (List.rev !events);
output_value oc (StringSet.elements !debug_dirs);

try to use ocamldebug or js_of_ocaml on a bytecode program with this kind of invalid debug section with result in a crash

Uncaught exception: Failure("input_value: bad object")

File attachments

• bytepackager-fix.patch

[vicuna]

Comment author: @gasche

Fixed in 4.02.