Fix cast

Author: michael-schwarz

src/analyses/baseInvariant.ml

@@ -106,7 +106,7 @@ struct
           if M.tracing then M.tracel "inv" "Consider case of lval %a = %a" d_lval lv VD.pretty (Address (AD.singleton a));
           let st = set' lv (Address (AD.singleton a)) st in
           let old_val = get ~man st (AD.singleton a) None in
-          let old_val = VD.cast (Cilfacade.typeOfLval lv) old_val in (* needed as the type of this pointer may be different *)
+          let old_val = VD.cast (Cilfacade.typeOfLval x) old_val in (* needed as the type of this pointer may be different *)
           (* this what I would originally have liked to do, but eval_rv_lval_refine uses queries and thus stale values *)
           (* let old_val = eval_rv_lval_refine ~man st exp x in *)
           let old_val = map_oldval old_val (Cilfacade.typeOfLval x) in