diff options
| author | Erlang/OTP <[email protected]> | 2019-07-09 09:52:15 +0200 |
|---|---|---|
| committer | Erlang/OTP <[email protected]> | 2019-07-09 09:52:15 +0200 |
| commit | 861aaf5ae85c9992329b0dbb726c46696ee22fff (patch) | |
| tree | 0f1fea08c4970000c50a6979c8cebd2912c69c70 /lib/compiler/src | |
| parent | 82bfcda20f6ca3ec77bc3f35974aca82c12b896f (diff) | |
| parent | a8461ffed773c4ff80779c16a3637ba3d2e915fd (diff) | |
| download | otp-861aaf5ae85c9992329b0dbb726c46696ee22fff.tar.gz otp-861aaf5ae85c9992329b0dbb726c46696ee22fff.tar.bz2 otp-861aaf5ae85c9992329b0dbb726c46696ee22fff.zip | |
Merge branch 'john/compiler/fix-fail-path-exceptions-bsm/OTP-15946' into maint-22
* john/compiler/fix-fail-path-exceptions-bsm/OTP-15946:
beam_ssa_bsm: Leave ?BADARG_BLOCK alone when cloning fail path
Diffstat (limited to 'lib/compiler/src')
| -rw-r--r-- | lib/compiler/src/beam_ssa_bsm.erl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/compiler/src/beam_ssa_bsm.erl b/lib/compiler/src/beam_ssa_bsm.erl index 382e6f635e..1ac9e6a3bb 100644 --- a/lib/compiler/src/beam_ssa_bsm.erl +++ b/lib/compiler/src/beam_ssa_bsm.erl @@ -683,8 +683,12 @@ aca_copy_successors(Lbl0, Blocks0, Counter0) -> Lbl = maps:get(Lbl0, BRs), {Lbl, Blocks, Counter}. +aca_cs_build_brs([?BADARG_BLOCK=Lbl | Path], Counter, Acc) -> + %% ?BADARG_BLOCK is a marker and not an actual block, so renaming it will + %% break exception handling. + aca_cs_build_brs(Path, Counter, Acc#{ Lbl => Lbl }); aca_cs_build_brs([Lbl | Path], Counter0, Acc) -> - aca_cs_build_brs(Path, Counter0 + 1, maps:put(Lbl, Counter0, Acc)); + aca_cs_build_brs(Path, Counter0 + 1, Acc#{ Lbl => Counter0 }); aca_cs_build_brs([], Counter, Acc) -> {Acc, Counter}. |