[eacsl:codegen] Create a helper function to build a block statement from a list of statements

src/plugins/e-acsl/src/code_generator/smart_stmt.ml

@@ -29,6 +29,7 @@ open Cil_types
 let stmt sk = Cil.mkStmt ~valid_sid:true sk
 let instr i = stmt (Instr i)
 let block_stmt blk = stmt (Block blk)
+let block_from_stmts stmts = block_stmt (Cil.mkBlock stmts)
 let call ~loc ?result e args = instr (Call(result, e, args, loc))
 
 let assigns ~loc ~result e = instr (Set(result, e, loc))

src/plugins/e-acsl/src/code_generator/smart_stmt.mli

@@ -36,6 +36,9 @@ val block: stmt -> block -> stmt
 val block_stmt: block -> stmt
 (** Create a block statement from a block *)
 
+val block_from_stmts: stmt list -> stmt
+(** Create a block statement from a statement list. *)
+
 val assigns: loc:location -> result:lval -> exp -> stmt
 (** [assigns ~loc ~result value] create a statement to assign the [value]
     expression to the [result] lval. *)