Thanks to visit codestin.com
Credit goes to github.com

Skip to content

[erlc] internal consistency check failed on bs_match #6613

@RobinMorisset

Description

@RobinMorisset

On master,

f(<<_>>) ->
    ok;
f(X) ->
    try
        try X of
            #{(not ok) := _} ->
                ok;
            <<Z, Z>> ->
                ok
        after
            ok
        end
    catch
        _ ->
            ok
    end,
    X.

crashes erlc with:

final_bs_match:1: function f/1+20:
  Internal consistency check failed - please report this bug.
  Instruction: {bs_match,{f,0},
                         {y,1},
                         {commands,[{integer,2,{literal,[]},8,1,{x,2}}]}}
  Error:       throws_exception:

Metadata

Metadata

Labels

bugIssue is reported as a bugteam:VMAssigned to OTP team VM

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions