diff options
| author | Björn Gustavsson <[email protected]> | 2017-08-31 10:07:21 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2017-08-31 10:07:21 +0200 |
| commit | c8e6fc560fc8fd2f0e993975d33a017503f0489b (patch) | |
| tree | ccf3f46bf8dc2547b6852548db784163b443e701 | |
| parent | cd5217099530419e8d53a1f96d9e477ac6620417 (diff) | |
| parent | 4c31fd0b966571508b4eb5170ddb0b38fbaf5fc0 (diff) | |
| download | otp-c8e6fc560fc8fd2f0e993975d33a017503f0489b.tar.gz otp-c8e6fc560fc8fd2f0e993975d33a017503f0489b.tar.bz2 otp-c8e6fc560fc8fd2f0e993975d33a017503f0489b.zip | |
Merge pull request #1553 from bjorng/bjorn/compiler/fix-beam_validator
Make handling of match contexts stricter
OTP-14591
| -rw-r--r-- | lib/compiler/src/beam_validator.erl | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/lib/compiler/src/beam_validator.erl b/lib/compiler/src/beam_validator.erl index 622e00bb2b..00901077d3 100644 --- a/lib/compiler/src/beam_validator.erl +++ b/lib/compiler/src/beam_validator.erl @@ -1430,13 +1430,13 @@ merge_types(bool, {atom,A}) -> merge_bool(A); merge_types({atom,A}, bool) -> merge_bool(A); -merge_types(#ms{id=Id,valid=B0,slots=Slots}=M, - #ms{id=Id,valid=B1,slots=Slots}) -> - M#ms{valid=B0 bor B1,slots=Slots}; -merge_types(#ms{}=M, _) -> - M; -merge_types(_, #ms{}=M) -> - M; +merge_types(#ms{id=Id1,valid=B0,slots=Slots}, + #ms{id=Id2,valid=B1,slots=Slots}) -> + Id = if + Id1 =:= Id2 -> Id1; + true -> make_ref() + end, + #ms{id=Id,valid=B0 band B1,slots=Slots}; merge_types(T1, T2) when T1 =/= T2 -> %% Too different. All we know is that the type is a 'term'. term. |