diff options
| author | Robert Norton | 2018-02-26 16:28:10 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-02-26 16:28:57 +0000 |
| commit | 1752c930f79e5da8e9c165075d0b2f9bef1c2643 (patch) | |
| tree | f6ac5de203c526eeb6ccb39836ecbe99ee13189f /src | |
| parent | 64634ce688436c001dd92984247906dab4370931 (diff) | |
work around linksem crashing when trying to print an elf file where entry_point overflows an ocaml int.
Diffstat (limited to 'src')
| -rw-r--r-- | src/elf_loader.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/elf_loader.ml b/src/elf_loader.ml index 83c36821..1be3b1d1 100644 --- a/src/elf_loader.ml +++ b/src/elf_loader.ml @@ -80,7 +80,8 @@ let read name = (elf_epi: Sail_interface.executable_process_image), (symbol_map: Elf_file.global_symbol_init_info)) -> - prerr_endline (Sail_interface.string_of_executable_process_image elf_epi); + (* XXX disabled because it crashes if entry_point overflows an ocaml int :-( + prerr_endline (Sail_interface.string_of_executable_process_image elf_epi);*) (elf_file, elf_epi, symbol_map) end in |