diff --git a/src/plugins/eva/utils/eval_typ.ml b/src/plugins/eva/utils/eval_typ.ml
index 96f0c767a464317fee680bdcb4a8a43ecc1fc5e8..554666fb3418023e6642c574d970ee937ce79232 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