From ee4949777fd988b76b9f854a2523a64a6dcdf591 Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Fri, 23 Dec 2022 20:00:06 +0300 Subject: [PATCH] No safe sanity check for dbgundef --- src/aeb_fate_code.erl | 1 + src/aeb_fate_generate_ops.erl | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/aeb_fate_code.erl b/src/aeb_fate_code.erl index c3c2003..4cfe9e7 100644 --- a/src/aeb_fate_code.erl +++ b/src/aeb_fate_code.erl @@ -220,6 +220,7 @@ safe_sanity_check(IsLast, Op, Args) -> true -> case IsLast == aeb_fate_opcodes:end_bb(Op) of true -> ok; + false when Op == 6 -> ok; false -> error({wrong_opcode_in_bb, Op}) end; false -> error({wrong_nr_args_opcode, Op}) diff --git a/src/aeb_fate_generate_ops.erl b/src/aeb_fate_generate_ops.erl index 409ae5f..6594cce 100644 --- a/src/aeb_fate_generate_ops.erl +++ b/src/aeb_fate_generate_ops.erl @@ -244,7 +244,7 @@ ops_defs() -> , { 'DBGLOC', 16#b1, false, true, true, ?GAS(0), [a, a, a], dbgloc, {string, integer, integer}, none, "Arg" } , { 'DBGDEF', 16#b2, false, true, true, ?GAS(0), [a, a], dbgdef, {string, any}, none, "Arg" } - , { 'DBGUNDEF', 16#b3, true, true, true, ?GAS(0), [a, a], dbgundef, {string, any}, none, "Arg" } + , { 'DBGUNDEF', 16#b3, false, true, true, ?GAS(0), [a, a], dbgundef, {string, any}, none, "Arg" } , { 'DEACTIVATE', 16#fa, false, true, true, ?GAS(10), [], deactivate, {}, none, "Mark the current contract for deactivation."} , { 'ABORT', 16#fb, true, true, true, ?GAS(10), [a], abort, {string}, none, "Abort execution (dont use all gas) with error message in Arg0."}