[erlc] internal consistency check failed on bs_get_integer2: "unassigned"

[RobinMorisset]

On master,

f([X | Y]) ->
    try
        ([ok || _ <- Y] > catch <<ok>>) xor false
    catch
        <<Z:X>> ->
            Z
    end.

crashes erlc with the error message:

bs_get_integer2:1: function f/1+29:
  Internal consistency check failed - please report this bug.
  Instruction: {test,bs_get_integer2,
                   {f,13},
                   4,
                   [{tr,{x,3},{t_bs_context,1}},
                    {y,1},
                    1,
                    {field_flags,
                        [{anno,[13,{file,"minimized/bs_get_integer2.erl"}]},
                         unsigned,big]}],
                   {x,4}}
  Error:       {unassigned,{y,1}}:

This might be a duplicate of #6603, since both show Error: {unassigned, {y, . I am filing it separately because it triggers on a different instruction (bs_get_integer2 vs move), with rather different testcases.

[jhogberg]

Thanks for your report, closing this as duplicate of #6603 :)