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 /make/unexpected_use | |
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 'make/unexpected_use')
0 files changed, 0 insertions, 0 deletions