From ae805538e9a37c5866972778da842033c0017216 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Fri, 4 Dec 2015 15:26:31 +0100
Subject: [PATCH] Disable functionality that re-creates assignments of literal
strings during global initialisation
---
src/plugins/e-acsl/visit.ml | 7 +------
1 file changed, 1 insertion(+), 6 deletions(-)
diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index 84f6ff220a2..8bb5b69801a 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -164,12 +164,7 @@ class e_acsl_visitor prj generate = object (self)
| None -> model stmts, env
| Some (CompoundInit _) -> assert false
| Some (SingleInit e) ->
- let e, env = self#literal_string env e in
- let stmt =
- Cil.mkStmtOneInstr ~valid_sid:true
- (Set(Cil.var new_vi, e, e.eloc))
- in
- model (stmt :: stmts), env)
+ let _, env = self#literal_string env e in stmts, env)
global_vars
([ return ], env)
in
--
GitLab