diff options
| author | Brian Campbell | 2018-02-21 17:18:02 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-02-21 17:24:19 +0000 |
| commit | 4f4bba5ea1fe6a208025cb62317be7398a4291d1 (patch) | |
| tree | 3f8ad7c7e2d7c8364c909a4883673ff016230241 /src/pattern_completeness.ml | |
| parent | 0c9960e4efb510bea03906a528ac4cf57263dbf5 (diff) | |
Cut out dead if branches according to the type environment during mono
const progagation.
Needed to avoid negative bitvector sizes on aarch64
Also propagate values found from "if var = const ...", which is needed in
aarch64
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions