We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d4834ec commit 9f6af5aCopy full SHA for 9f6af5a
chb/app/Cfg.py
@@ -477,6 +477,8 @@ def stmt_ast(
477
fn = astfn.function
478
479
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]
482
return astree.mk_block(stmts)
483
484
gotolabels: Set[str] = set() # this is both used and mutated by run_with_gotolabels()
0 commit comments