diff options
| author | John Högberg <[email protected]> | 2019-02-08 14:13:48 +0100 |
|---|---|---|
| committer | John Högberg <[email protected]> | 2019-02-08 15:47:13 +0100 |
| commit | 8fddd069a2b076d0b3d28673e50d3fd6f7a9f0f8 (patch) | |
| tree | 77827650be181a7852dc16df61989654856f3579 | |
| parent | a185892f7acc5d1d51b2f167b8304edf2377e9bf (diff) | |
| download | otp-8fddd069a2b076d0b3d28673e50d3fd6f7a9f0f8.tar.gz otp-8fddd069a2b076d0b3d28673e50d3fd6f7a9f0f8.tar.bz2 otp-8fddd069a2b076d0b3d28673e50d3fd6f7a9f0f8.zip | |
beam_validator: Remove pointless fragility propagation
set_aliased_type already preserves fragility when updating the type
of a fragile register.
| -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 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), |