From a45aa4b3576970104d240b21c2c7cb0ccbc2a3dc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 3 Apr 2024 10:19:28 +0200
Subject: [PATCH] [Eva] Cil.theMachine.upointKind should always be unsigned.
---
src/plugins/eva/utils/eval_typ.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/eva/utils/eval_typ.ml b/src/plugins/eva/utils/eval_typ.ml
index 96f0c767a46..554666fb341 100644
--- a/src/plugins/eva/utils/eval_typ.ml
+++ b/src/plugins/eva/utils/eval_typ.ml
@@ -213,7 +213,7 @@ type scalar_typ =
let pointer_range () =
{ i_bits = Cil.bitsSizeOfInt Cil.theMachine.Cil.upointKind;
- i_signed = Cil.isSigned Cil.theMachine.Cil.upointKind }
+ i_signed = false; }
let classify_as_scalar typ =
match Cil.unrollType typ with
--
GitLab