From cc148ef94a15afa01cd1a325cc4b50b4e6f229a9 Mon Sep 17 00:00:00 2001
From: Rebecca Ghidini <rebecca.ghidini@tum.de>
Date: Tue, 30 Jul 2024 11:08:12 +0200
Subject: [PATCH] simplify redundant definitions in startState

---
 src/analyses/startStateAnalysis.ml | 15 ---------------
 1 file changed, 15 deletions(-)

diff --git a/src/analyses/startStateAnalysis.ml b/src/analyses/startStateAnalysis.ml
index 76d4388e21..efd2e839a2 100644
--- a/src/analyses/startStateAnalysis.ml
+++ b/src/analyses/startStateAnalysis.ml
@@ -48,10 +48,6 @@ struct
   let startstate v = D.bot ()
   let exitstate = startstate
 
-  (* TODO: there should be a better way to do this, this should be removed here. *)
-  let return ctx exp_opt f =
-    ctx.local
-
   let query ctx (type a) (q: a Queries.t): a Queries.result =
     let open Queries in
     match q with
@@ -59,22 +55,11 @@ struct
     | EvalValue e -> Address (eval (ask_of_ctx ctx) ctx.local e)
     | _ -> Result.top q
 
-  let enter ctx var_opt f args =
-    [ctx.local, ctx.local]
-
   let body ctx (f:fundec) =
     (* assign function parameters *)
     List.fold_left (fun st var -> let value = get_value (ask_of_ctx ctx) (Lval (Var var, NoOffset)) in
                      if M.tracing then M.trace "startState" "added value: var: %a; value: %a" d_lval (Var (duplicated_variable var), NoOffset) Value.pretty value;
                      D.add (duplicated_variable var) value st) (D.empty()) f.sformals
-
-  let combine_env ctx (lval:lval option) fexp (f:fundec) (args:exp list) fc au (f_ask: Queries.ask) =
-    ctx.local
-
-  let combine_assign ctx var_opt expr f exprs t_context_opt t ask =
-    (* remove duplicated vars and local vars *)
-    ctx.local
-
 end
 
 let _ =