aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2017-08-31 10:07:21 +0200
committerGitHub <[email protected]>2017-08-31 10:07:21 +0200
commitc8e6fc560fc8fd2f0e993975d33a017503f0489b (patch)
treeccf3f46bf8dc2547b6852548db784163b443e701
parentcd5217099530419e8d53a1f96d9e477ac6620417 (diff)
parent4c31fd0b966571508b4eb5170ddb0b38fbaf5fc0 (diff)
downloadotp-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.erl14
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.