Skip to content
Snippets Groups Projects
Commit a45aa4b3 authored by David Bühler's avatar David Bühler
Browse files

[Eva] Cil.theMachine.upointKind should always be unsigned.

parent 8bb63bdb
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/eva/utils/eval_typ.ml
+ 1
− 1
View file @ a45aa4b3
...@@ -213,7 +213,7 @@ type scalar_typ = ...@@ -213,7 +213,7 @@ type scalar_typ =
let pointer_range () = let pointer_range () =
{ i_bits = Cil.bitsSizeOfInt Cil.theMachine.Cil.upointKind; { i_bits = Cil.bitsSizeOfInt Cil.theMachine.Cil.upointKind;
i_signed = Cil.isSigned Cil.theMachine.Cil.upointKind } i_signed = false; }
let classify_as_scalar typ = let classify_as_scalar typ =
match Cil.unrollType typ with match Cil.unrollType typ with
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment