Closed
Description
On master:
f(<<X>>) ->
<<X, ((<<_:0>> = <<_>>) = <<>>)>>.
crashes erlc with the following error message:
Sub pass sanitize
Function: f/1
minimized/pre_codegen_2.erl: internal error in pass beam_ssa_pre_codegen:
exception error: no match of right hand side value [{b_literal,integer},
{b_var,10},
{b_literal,[unsigned,big]},
{b_literal,8},
{b_literal,1}]
in function beam_ssa_pre_codegen:sanitize_instr/3 (beam_ssa_pre_codegen.erl, line 912)
in call from beam_ssa_pre_codegen:do_sanitize_is/9 (beam_ssa_pre_codegen.erl, line 817)
in call from beam_ssa_pre_codegen:sanitize/5 (beam_ssa_pre_codegen.erl, line 679)
in call from beam_ssa_pre_codegen:sanitize/1 (beam_ssa_pre_codegen.erl, line 669)
in call from compile:run_sub_passes_1/3 (compile.erl, line 422)
in call from beam_ssa_pre_codegen:function/2 (beam_ssa_pre_codegen.erl, line 160)
in call from beam_ssa_pre_codegen:functions/2 (beam_ssa_pre_codegen.erl, line 89)
in call from beam_ssa_pre_codegen:module/2 (beam_ssa_pre_codegen.erl, line 84)