diff options
| author | Robert Norton | 2018-06-26 11:31:20 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-06-26 11:34:36 +0100 |
| commit | 2e529d7f5261749d0a1463283020f56265ad2e9a (patch) | |
| tree | a531d721b941c0951bed1b2e7decd2367038aba1 /src/bytecode_util.ml | |
| parent | 090d2b38c09f12fdbb677b94b94ac7d86bb8c789 (diff) | |
In elf_loader don't attempt to convert paddr to int64 because on MIPS it is quite likely to exceed representable range of signed 64-bit integer (e.g. address starting 0x9...). Also make clear which values are displayed in hex vs. decimal.
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions