zack3d/pylingual
1
0
Fork 0
mirror of https://github.com/syssec-utd/pylingual.git synced 2026-05-10 18:39:03 -07:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #48 from tsweet64/cflow-refactor

Browse Source 
Fix matching of the bare try-finally template and nested excepts
This commit is contained in:
Joel-Flores123
2025-06-26 11:34:38 -05:00
committed by GitHub
parent a49852299b 55fa3b53e8
commit 546c9f8806
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pylingual/control_flow_reconstruction/templates/Exception.py
+3 -3
View File
@@ -211,7 +211,7 @@ class NamedExc3_10(ExcBody3_10):
class BareExcept3_10(Except3_10):
template = T(
except_body=~N("tail.", None).of_type(BlockTemplate).with_cond(with_instructions("POP_EXCEPT")),
except_body=~N("tail.", None).with_cond(with_instructions("POP_EXCEPT")),
tail=N.tail(),
)
@@ -266,14 +266,14 @@ class TryFinally3_10(ControlFlowTemplate):
try_header=N("try_body"),
try_body=N("finally_body", None, "fail_body"),
finally_body=~N("tail.").with_in_deg(1).with_cond(no_back_edges),
fail_body=N("tail.").with_cond(with_instructions("RERAISE")),
fail_body=N("tail.").with_cond(ending_instructions("POP_TOP", "RERAISE")),
tail=N.tail(),
)
template2 = T(
try_except=N("finally_tail", None, "fail_body").of_type(TryElse3_10, Try3_10),
finally_tail=N("finally_body", None, "fail_body"),
finally_body=~N("tail.").with_in_deg(1).with_cond(no_back_edges),
fail_body=N("tail.").with_cond(with_instructions("RERAISE")),
fail_body=N("tail.").with_cond(ending_instructions("POP_TOP", "RERAISE")),
tail=N.tail(),
)