Revert "No safe sanity check for dbgundef"

This reverts commit ee4949777fd988b76b9f854a2523a64a6dcdf591.
This commit is contained in:
Gaith Hallak 2022-12-23 20:46:22 +03:00
parent dd6ec9bc9b
commit 3446cd3df6

View File

@ -220,7 +220,6 @@ safe_sanity_check(IsLast, Op, Args) ->
true -> true ->
case IsLast == aeb_fate_opcodes:end_bb(Op) of case IsLast == aeb_fate_opcodes:end_bb(Op) of
true -> ok; true -> ok;
false when Op == 6 -> ok;
false -> error({wrong_opcode_in_bb, Op}) false -> error({wrong_opcode_in_bb, Op})
end; end;
false -> error({wrong_nr_args_opcode, Op}) false -> error({wrong_nr_args_opcode, Op})