QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Fix liveness

Browse Source
This commit is contained in:
radrow 2022-07-03 19:25:10 +02:00
parent 0bc9cfb957
commit 9335db65d0
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/aeso_fcode_to_fate.erl
View File

@ -819,9 +819,6 @@ ann_live(LiveTop, [I | Is], LiveOut) ->
ann_live1(_LiveTop, switch_body, LiveOut) ->
Ann = #{ live_in => LiveOut, live_out => LiveOut },
{{i, Ann, switch_body}, LiveOut};
ann_live1(LiveTop, {jump, Ref}, _LiveOut) ->
Ann = #{ live_in => LiveTop, live_out => [] },
{{i, Ann, {jump, Ref}}, LiveTop};
ann_live1(LiveTop, loop, _LiveOut) ->
Ann = #{ live_in => LiveTop, live_out => [] },
{{i, Ann, loop}, LiveTop};