From 1f4513f14d2822e5b89e557f93f95fb3b89483d1 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 16 Mar 2016 16:19:18 +0100
Subject: [PATCH] [Instrumentation engine] refactoring
---
src/plugins/e-acsl/visit.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index cdc89580824..72be013bddc 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -293,7 +293,7 @@ you must call function `%s' and `__e_acsl_memory_clean by yourself.@]"
(* Grab addresses of arguments for a call to the main
initialization function, i.e., [__e_acsl_memory_init] *)
List.map Cil.mkAddrOfVi main.sformals;
- | _ -> let null = Cil.integer loc 0
+ | _ -> let null = Cil.zero loc
in [ null ; null ] in
let args = args @ [ptrSz] in
let init = Misc.mk_call
--
GitLab