[erlang-bugs] beam_validator does not validate receive state

[Erik Søe Sørensen]

The following function passes beam_validator verification, but crashes the emulator with a segfault if called:

{function, recv, 0, 2}.
  {label,1}.
    {func_info,{atom,broken_recv},{atom,recv},0}.
  {label,2}.
    {loop_rec_end,{f,3}}.
  {label,3}.
    return.

This is using R14B, compiler version 4.7.2.

Regards,
Erik Søe Sørensen