QPQ-AG/gmbytecode
10
0
Fork 0
Code Issues 1 Pull Requests 1 Actions Packages Projects Releases 9 Wiki Activity

No safe sanity check for dbgundef

Browse Source
This commit is contained in:
Gaith Hallak 2022-12-23 20:00:06 +03:00
parent ebe6d0fa7e
commit ee4949777f
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/aeb_fate_code.erl
View File

@ -220,6 +220,7 @@ 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})

2
src/aeb_fate_generate_ops.erl
View File

@ -244,7 +244,7 @@ ops_defs() ->
, { 'DBGLOC', 16#b1, false, true, true, ?GAS(0), [a, a, a], dbgloc, {string, integer, integer}, none, "Arg" } , { '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" } , { '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."} , { '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."} , { 'ABORT', 16#fb, true, true, true, ?GAS(10), [a], abort, {string}, none, "Abort execution (dont use all gas) with error message in Arg0."}