From 038bf36d09adf2eabd963a8c8da5bda5680c1378 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Fri, 27 Aug 2021 15:06:41 +0200
Subject: [PATCH] [eva] Remove useless function.
---
src/plugins/value/domains/taint_domain.ml | 3 ---
1 file changed, 3 deletions(-)
diff --git a/src/plugins/value/domains/taint_domain.ml b/src/plugins/value/domains/taint_domain.ml
index fb9f072b6f9..9ea1f091233 100644
--- a/src/plugins/value/domains/taint_domain.ml
+++ b/src/plugins/value/domains/taint_domain.ml
@@ -83,9 +83,6 @@ module LatticeTaint = struct
assume_stmts = Stmt.Set.empty;
dependent_call = false; } ]
- let structural_descr =
- Structural_descr.t_abstract (* TODO *)
-
let compare t1 t2 =
let (<?>) c (cmp,x,y) = if c = 0 then cmp x y else c in
Zone.compare t1.locs_data t2.locs_data
--
GitLab