ERL-660: Internal error in beam_jump

[OTP-Maintainer]

Original reporter: ulfnorell
Affected version: OTP-21.0
Fixed in version: OTP-21.0.2
Component: compiler
Migrated from: https://bugs.erlang.org/browse/ERL-660

---

Tested with OTP-21.0.1
{code:erlang}
-module(bug).

bad(X, Y) ->
  _ = 0 / (X ! 1),
  _ = case Y of
        X -> ok;
        _ -> error
      end,
  X ! 1.
{code}

Error:
{code}
bug.erl: internal error in beam_jump;
crash reason: {case_clause,{'EXIT',{{case_clause,{fr,1}},
                      [{beam_utils,check_liveness,3,
                                   [{file,"beam_utils.erl"},{line,469}]},
                       {beam_utils,check_liveness_at,3,
                                   [{file,"beam_utils.erl"},{line,652}]},
                       {beam_utils,is_killed,3,
                                   [{file,"beam_utils.erl"},{line,119}]},
                       {beam_jump,opt_useless_block_loads,3,
                                  [{file,"beam_jump.erl"},{line,416}]},
                       {beam_jump,opt_useless_block_loads,3,
                                  [{file,"beam_jump.erl"},{line,424}]},
                       {beam_jump,opt_useless_block_loads,3,
                                  [{file,"beam_jump.erl"},{line,421}]},
                       {beam_jump,opt_useless_block_loads,3,
                                  [{file,"beam_jump.erl"},{line,424}]},
                       {beam_jump,opt_useless_loads,3,
                                  [{file,"beam_jump.erl"},{line,394}]}]}}}

  in function  compile:'-select_passes/2-anonymous-2-'/3 (compile.erl, line 585)
  in call from compile:'-internal_comp/5-anonymous-1-'/3 (compile.erl, line 349)
  in call from compile:fold_comp/4 (compile.erl, line 376)
  in call from compile:internal_comp/5 (compile.erl, line 360)
  in call from compile:'-do_compile/2-anonymous-0-'/2 (compile.erl, line 177)
  in call from compile:'-do_compile/2-anonymous-1-'/1 (compile.erl, line 190)
{code}

[OTP-Maintainer]

bjorn said:

https://github.com/erlang/otp/pull/1856