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

[Eva] Fixes Eval_typ.need_cast on non-scalar types.

parent 53c35ea8
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/value/utils/eval_typ.ml
+ 2
− 1
View file @ 4ea5d809
...@@ -226,7 +226,8 @@ let classify_as_scalar typ = ...@@ -226,7 +226,8 @@ let classify_as_scalar typ =
let need_cast t1 t2 = let need_cast t1 t2 =
match classify_as_scalar t1, classify_as_scalar t2 with match classify_as_scalar t1, classify_as_scalar t2 with
| None, _ | _, None -> false | None, None -> Cil.need_cast t1 t2
| None, _ | _, None -> true
| Some st1, Some st2 -> | Some st1, Some st2 ->
match st1, st2 with match st1, st2 with
| (TSInt ir1 | TSPtr ir1), (TSInt ir2 | TSPtr ir2) -> ir1 <> ir2 | (TSInt ir1 | TSPtr ir1), (TSInt ir2 | TSPtr ir2) -> ir1 <> ir2
......
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