Skip to content

Commit de92993

Browse files
committed
CFG: revert change for single-stmt block
1 parent d4834ec commit de92993

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

chb/app/Cfg.py

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -477,6 +477,8 @@ def stmt_ast(
477477
fn = astfn.function
478478

479479
def mk_block(stmts: List[AST.ASTStmt]) -> AST.ASTStmt:
480+
if len(stmts) == 1 and not stmts[0].is_ast_instruction_sequence:
481+
return stmts[0]
480482
return astree.mk_block(stmts)
481483

482484
gotolabels: Set[str] = set() # this is both used and mutated by run_with_gotolabels()

0 commit comments

Comments
 (0)