8000 [erlc] internal error in pass beam_ssa_opt, sub pass ssa_opt_type_continue · Issue #6664 · erlang/otp · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

[erlc] internal error in pass beam_ssa_opt, sub pass ssa_opt_type_continue #6664

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.

Sign up for GitHub

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

Jump to bottom
Closed
RobinMorisset opened this issue Jan 13, 2023 · 1 comment
Closed

[erlc] internal error in pass beam_ssa_opt, sub pass ssa_opt_type_continue #6664

RobinMorisset opened this issue Jan 13, 2023 · 1 comment
Assignees
@bjorng
Labels
bug Issue is reported as a bug team:VM Assigned to OTP team VM

Comments

@RobinMorisset
Copy link
Contributor

Describe the bug

f(X, #{0 := X, 0 := Y}, Y = [_ | _]) ->
    try
        Y = ok
    catch
        _ ->
            [_ | []] = Y = X
    end.

crashes erlc with

Function: f/3
Sub pass ssa_opt_type_continue
Function: f/3
minimized/ssa_opt.erl: internal error in pass beam_ssa_opt:
exception error: no match of right hand side value any
  in function  beam_ssa_type:type/5 (beam_ssa_type.erl, line 2156)
  in call from beam_ssa_type:update_types/3 (beam_ssa_type.erl, line 2046)
  in call from beam_ssa_type:simplify/5 (beam_ssa_type.erl, line 1051)
  in call from beam_ssa_type:opt_is/8 (beam_ssa_type.erl, line 589)
  in call from beam_ssa_type:opt_bs/8 (beam_ssa_type.erl, line 530)
  in call from beam_ssa_type:do_opt_function/6 (beam_ssa_type.erl, line 508)
  in call from beam_ssa_type:opt_function/6 (beam_ssa_type.erl, line 481)
  in call from beam_ssa_opt:ssa_opt_type_continue/1 (beam_ssa_opt.erl, line 434)

Affected versions
@RobinMorisset RobinMorisset added the bug Issue is reported as a bug label Jan 13, 2023
@bjorng bjorng added the team:VM Assigned to OTP team VM label Jan 13, 2023
@bjorng bjorng self-assigned this Jan 13, 2023
@bjorng
Copy link
Contributor
bjorng commented Jan 13, 2023

This seems to be a duplicate of #6599.

@bjorng bjorng closed this as completed Jan 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@bjorng bjorng

Labels
bug Issue is reported as a bug team:VM Assigned to OTP team VM
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@bjorng @RobinMorisset
0