From e2bb33a05e95893afafa2a62096fb29d7040d932 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 1 Apr 2020 09:55:51 +0200
Subject: [PATCH] [value] yet another missing Cil.update_var_type
---
src/plugins/value/domains/cvalue/builtins_malloc.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/value/domains/cvalue/builtins_malloc.ml b/src/plugins/value/domains/cvalue/builtins_malloc.ml
index 30c6755737c..727ef69ca50 100644
--- a/src/plugins/value/domains/cvalue/builtins_malloc.ml
+++ b/src/plugins/value/domains/cvalue/builtins_malloc.ml
@@ -454,7 +454,7 @@ let update_variable_validity ?(make_weak=false) base sizev =
(* Mutating the type of a varinfo is not exactly a good idea. This is
probably fine here, because the type of a malloced variable is
almost never used. *)
- vi.vtype <- weaken_type vi.vtype;
+ Cil.update_var_type vi (weaken_type vi.vtype);
end;
Base.update_variable_validity variable_v
~weak:make_weak ~min_alloc:min_sure_bits ~max_alloc:max_valid_bits;
--
GitLab