diff options
| author | Alasdair Armstrong | 2019-02-20 14:18:49 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-02-20 14:21:23 +0000 |
| commit | a45ce2aecdd27de565dd32d42c8c79d10e2edd0a (patch) | |
| tree | 379ef84eae44cb28ce8b6730f94a2f82f780bd04 /src/elf_loader.ml | |
| parent | fc7d360e9442ab2e945e0d2da97faaf0eefec66f (diff) | |
Remove dead branches when compiling to C
Specifically remove branches where flow-typing implies false, as this
allows the optimizer to prove anything, which can result in nonsense
code. This does incur something of a performance hit.
Diffstat (limited to 'src/elf_loader.ml')
0 files changed, 0 insertions, 0 deletions