diff options
author | John Högberg <[email protected]> | 2019-06-25 09:01:01 +0200 |
---|---|---|
committer | John Högberg <[email protected]> | 2019-07-05 11:33:38 +0200 |
commit | ec35aa92f49dedf4b25a78c6b8d56d629db6642d (patch) | |
tree | 6d78188bf4cd2bc2e693739ef64c3a8ea4fe913f /lib/compiler/src/beam_kernel_to_ssa.erl | |
parent | 02c74c89232ed72f16c2a326e0c15938c3493041 (diff) | |
download | otp-ec35aa92f49dedf4b25a78c6b8d56d629db6642d.tar.gz otp-ec35aa92f49dedf4b25a78c6b8d56d629db6642d.tar.bz2 otp-ec35aa92f49dedf4b25a78c6b8d56d629db6642d.zip |
beam_ssa_type: Skip impossible branches
Whenever there's a type conflict during type inference we know
that the branch will not be taken. Previously we'd go down the
branch with garbage type information which would crash in some
cases.
There's no test case for the crashes because the ones I've found
require union types to happen, and we already have good coverage
once they're in place.
Diffstat (limited to 'lib/compiler/src/beam_kernel_to_ssa.erl')
0 files changed, 0 insertions, 0 deletions