diff options
author | John Högberg <[email protected]> | 2019-01-25 09:41:12 +0100 |
---|---|---|
committer | John Högberg <[email protected]> | 2019-01-25 09:41:12 +0100 |
commit | 7160deffbc2828b13ef5e1162d76b0b8851bab55 (patch) | |
tree | d7f1765a708099bf436cd60b4448e2f136c7aa37 /lib/compiler/src | |
parent | 677efa620e85bd78317c139dcb11efb3ea42d16e (diff) | |
parent | bd6a3d3c574644151ecc4d919673bb0526c94bd0 (diff) | |
download | otp-7160deffbc2828b13ef5e1162d76b0b8851bab55.tar.gz otp-7160deffbc2828b13ef5e1162d76b0b8851bab55.tar.bz2 otp-7160deffbc2828b13ef5e1162d76b0b8851bab55.zip |
Merge branch 'john/compiler/misc-validator-fixes/ERL-832'
* john/compiler/misc-validator-fixes/ERL-832:
Make the beam_validator smarter again, again
Diffstat (limited to 'lib/compiler/src')
-rw-r--r-- | lib/compiler/src/beam_validator.erl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/compiler/src/beam_validator.erl b/lib/compiler/src/beam_validator.erl index 15ed267c54..4081e366a5 100644 --- a/lib/compiler/src/beam_validator.erl +++ b/lib/compiler/src/beam_validator.erl @@ -871,7 +871,7 @@ valfun_4({test,is_map,{f,Lbl},[Src]}, Vst0) -> valfun_4({test,is_nil,{f,Lbl},[Src]}, Vst0) -> Vst = case get_term_type(Src, Vst0) of list -> - branch_state(Lbl, set_type_reg(cons, Src, Vst0)); + branch_state(Lbl, set_aliased_type(cons, Src, Vst0)); _ -> branch_state(Lbl, Vst0) end, |