Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[erlc] internal error in pass beam_ssa_pre_codegen, sub pass sanitize #6553

Closed
RobinMorisset opened this issue Dec 14, 2022 · 0 comments · Fixed by #6555
Closed

[erlc] internal error in pass beam_ssa_pre_codegen, sub pass sanitize #6553

RobinMorisset opened this issue Dec 14, 2022 · 0 comments · Fixed by #6555
Assignees
Labels
bug Issue is reported as a bug team:VM Assigned to OTP team VM

Comments

@RobinMorisset
Copy link
Contributor

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)
@RobinMorisset RobinMorisset added the bug Issue is reported as a bug label Dec 14, 2022
@bjorng bjorng added the team:VM Assigned to OTP team VM label Dec 14, 2022
@bjorng bjorng self-assigned this Dec 14, 2022
bjorng added a commit to bjorng/otp that referenced this issue Dec 14, 2022
bjorng added a commit that referenced this issue Dec 15, 2022
…gen/GH-6553

beam_ssa_pre_codegen: Eliminate crash in sub pass sanitize
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Issue is reported as a bug team:VM Assigned to OTP team VM
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants