From 1ae585843bd45745f659697892f1479848c67796 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 20 Jan 2025 16:15:01 +0100
Subject: [PATCH] [Eva] Removes unused function Eval_typ.is_bitfield.
---
src/plugins/eva/utils/eval_typ.ml | 8 --------
src/plugins/eva/utils/eval_typ.mli | 3 ---
2 files changed, 11 deletions(-)
diff --git a/src/plugins/eva/utils/eval_typ.ml b/src/plugins/eva/utils/eval_typ.ml
index 8b12eff3351..1cc53588178 100644
--- a/src/plugins/eva/utils/eval_typ.ml
+++ b/src/plugins/eva/utils/eval_typ.ml
@@ -23,14 +23,6 @@
open Cil_types
open Cvalue
-let is_bitfield typlv =
- match Cil.unrollType typlv with
- | TInt (_, attrs) | TEnum (_, attrs) ->
- (match Cil.findAttribute Cil.bitfield_attribute_name attrs with
- | [AInt _] -> true
- | _ -> false)
- | _ -> false
-
let bitfield_size_attributes attrs =
match Cil.findAttribute Cil.bitfield_attribute_name attrs with
| [AInt size] -> Some size
diff --git a/src/plugins/eva/utils/eval_typ.mli b/src/plugins/eva/utils/eval_typ.mli
index 9a62832b618..94bac41196b 100644
--- a/src/plugins/eva/utils/eval_typ.mli
+++ b/src/plugins/eva/utils/eval_typ.mli
@@ -24,9 +24,6 @@ open Cil_types
(** Functions related to type conversions *)
-(** Bitfields *)
-val is_bitfield: typ -> bool
-
val sizeof_lval_typ: typ -> Int_Base.t
(** Size of the type of a lval, taking into account that the lval might have
been a bitfield. *)
--
GitLab