[Cil Builder] Allow the build of expression lists

src/kernel_services/ast_building/cil_builder.ml

@@ -312,6 +312,7 @@ struct
 
   let of_exp e = `exp (CilExp e)
   let of_exp_copy e = `exp (CilExpCopy e)
+  let of_exp_list l = List.map of_exp l
   let unop op e = `exp (Unop (op, harden_exp e))
   let neg e = unop Cil_types.Neg e
   let lognot e = unop Cil_types.LNot e

src/kernel_services/ast_building/cil_builder.mli

@@ -122,6 +122,7 @@ sig
 
   val of_exp : Cil_types.exp -> [> exp]
   val of_exp_copy : Cil_types.exp -> [> exp]
+  val of_exp_list : Cil_types.exp list -> [> exp] list
   val unop : Cil_types.unop -> [< exp] -> [> exp]
   val neg : [< exp] -> [> exp]
   val lognot : [< exp] -> [> exp]
@@ -329,3 +330,4 @@ sig
   val (+=) : [< lval] -> [< exp] -> unit
   val (-=) : [< lval] -> [< exp] -> unit
 end
+