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

Since Tag < Size, Size cannot be zero

Browse Source
This commit is contained in:
Thomas Arts 2019-02-28 10:38:33 +01:00
parent 8dd8e89c1e
commit b5daedaf95
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/aeb_fate_encoding.erl
View File

@ -136,10 +136,8 @@ serialize(Map) when ?IS_FATE_MAP(Map) ->
<<?MAP, <<?MAP,
(rlp_integer(Size))/binary, (rlp_integer(Size))/binary,
(Elements)/binary>>; (Elements)/binary>>;
serialize(?FATE_VARIANT(Size, Tag, Values)) when 0 =< Size serialize(?FATE_VARIANT(Size, Tag, Values)) when 0 < Size, Size < 256,
, Size < 256 0 =< Tag, Tag < Size ->
, 0 =< Tag
, Tag < Size ->
<<?VARIANT, Size:8, Tag:8, <<?VARIANT, Size:8, Tag:8,
(serialize(?FATE_TUPLE(Values)))/binary (serialize(?FATE_TUPLE(Values)))/binary
>>. >>.