From de9299398ce2e7073df5aeb628827eb33894d8ff Mon Sep 17 00:00:00 2001 From: Henny Sipma Date: Mon, 25 Aug 2025 19:32:55 -0700 Subject: [PATCH] CFG: revert change for single-stmt block --- chb/app/Cfg.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/chb/app/Cfg.py b/chb/app/Cfg.py index 451db56b..09ba1d47 100644 --- a/chb/app/Cfg.py +++ b/chb/app/Cfg.py @@ -477,6 +477,8 @@ def stmt_ast( fn = astfn.function def mk_block(stmts: List[AST.ASTStmt]) -> AST.ASTStmt: + if len(stmts) == 1 and not stmts[0].is_ast_instruction_sequence: + return stmts[0] return astree.mk_block(stmts) gotolabels: Set[str] = set() # this is both used and mutated by run_with_gotolabels()