From 8fddd069a2b076d0b3d28673e50d3fd6f7a9f0f8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20H=C3=B6gberg?= Date: Fri, 8 Feb 2019 14:13:48 +0100 Subject: beam_validator: Remove pointless fragility propagation set_aliased_type already preserves fragility when updating the type of a fragile register. --- lib/compiler/src/beam_validator.erl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib') diff --git a/lib/compiler/src/beam_validator.erl b/lib/compiler/src/beam_validator.erl index c659b502bb..1aa05a8495 100644 --- a/lib/compiler/src/beam_validator.erl +++ b/lib/compiler/src/beam_validator.erl @@ -1393,7 +1393,7 @@ update_type(Merge, Type0, Reg, Vst) -> none -> Type0; T -> T end, - set_aliased_type(propagate_fragility(Type, [Reg], Vst), Reg, Vst). + set_aliased_type(Type, Reg, Vst). update_ne_types(LHS, RHS, Vst) -> T1 = get_durable_term_type(LHS, Vst), -- cgit v1.2.3