From 7703c4ca86a390303d0a120f8811c8fd704c5168 Mon Sep 17 00:00:00 2001
From: Sidney Congard
Date: Tue, 21 Jun 2022 11:41:09 +0200
Subject: concrete & symbolic evaluation work with new LLBC format

---
 src/Substitute.ml | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

(limited to 'src/Substitute.ml')

diff --git a/src/Substitute.ml b/src/Substitute.ml
index 711e438b..4b0a04ca 100644
--- a/src/Substitute.ml
+++ b/src/Substitute.ml
@@ -210,12 +210,6 @@ let place_substitute (_tsubst : T.TypeVarId.id -> T.ety) (p : E.place) : E.place
   (* There is nothing to do *)
   p
 
-(** Apply a type substitution to an operand constant value *)
-let operand_constant_value_substitute (_tsubst : T.TypeVarId.id -> T.ety)
-    (op : E.operand_constant_value) : E.operand_constant_value =
-  (* There is nothing to do *)
-  op
-
 (** Apply a type substitution to an operand *)
 let operand_substitute (tsubst : T.TypeVarId.id -> T.ety) (op : E.operand) :
     E.operand =
@@ -225,9 +219,7 @@ let operand_substitute (tsubst : T.TypeVarId.id -> T.ety) (op : E.operand) :
   | E.Move p -> E.Move (p_subst p)
   | E.Constant (ety, cv) ->
       let rsubst x = x in
-      E.Constant
-        ( ty_substitute rsubst tsubst ety,
-          operand_constant_value_substitute tsubst cv )
+      E.Constant ( ty_substitute rsubst tsubst ety, cv )
 
 (** Apply a type substitution to an rvalue *)
 let rvalue_substitute (tsubst : T.TypeVarId.id -> T.ety) (rv : E.rvalue) :
@@ -289,6 +281,7 @@ let rec statement_substitute (tsubst : T.TypeVarId.id -> T.ety)
       let p = place_substitute tsubst p in
       let rvalue = rvalue_substitute tsubst rvalue in
       A.Assign (p, rvalue)
+  | A.AssignGlobal g -> A.AssignGlobal g
   | A.FakeRead p ->
       let p = place_substitute tsubst p in
       A.FakeRead p
-- 
cgit v1.2.3