From be7c3da98b62e2ef4a65da031539ebd61ed4e7eb Mon Sep 17 00:00:00 2001 From: Valentin Perrelle <valentin.perrelle@cea.fr> Date: Mon, 18 Jul 2022 21:29:00 +0200 Subject: [PATCH] [Cil Builder] Allow the build of expression lists --- src/kernel_services/ast_building/cil_builder.ml | 1 + src/kernel_services/ast_building/cil_builder.mli | 2 ++ 2 files changed, 3 insertions(+) diff --git a/src/kernel_services/ast_building/cil_builder.ml b/src/kernel_services/ast_building/cil_builder.ml index 9a3ee8044d0..f8cfeeba89f 100644 --- a/src/kernel_services/ast_building/cil_builder.ml +++ b/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 diff --git a/src/kernel_services/ast_building/cil_builder.mli b/src/kernel_services/ast_building/cil_builder.mli index c83207cd1d9..34f08cbe78b 100644 --- a/src/kernel_services/ast_building/cil_builder.mli +++ b/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 + -- GitLab