diff options
| author | John Högberg <[email protected]> | 2019-01-17 14:45:55 +0100 |
|---|---|---|
| committer | John Högberg <[email protected]> | 2019-01-21 07:51:06 +0100 |
| commit | 53b46c186051e256a4238f4c4b75e3dcbf61a1b0 (patch) | |
| tree | d6521712017053fe23fd07c19c257d4c64d144be /lib/compiler/src/beam_ssa_opt.erl | |
| parent | 2d96971a96868d70a750422788d1493a5cbed605 (diff) | |
| download | otp-53b46c186051e256a4238f4c4b75e3dcbf61a1b0.tar.gz otp-53b46c186051e256a4238f4c4b75e3dcbf61a1b0.tar.bz2 otp-53b46c186051e256a4238f4c4b75e3dcbf61a1b0.zip | |
beam_ssa_type: Fix type subtraction in #b_switch{}
A switch is equivalent to a series of '=:=', so we have to subtract
each value individually from the type. Subtracting a join risks
removing too much type information, and managed to narrow "number"
into "float" in the attached test case.
Diffstat (limited to 'lib/compiler/src/beam_ssa_opt.erl')
0 files changed, 0 insertions, 0 deletions