From 6d81ddc40a2e32bb1ed7cac06d9b9a4973e77728 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 26 Mar 2024 09:57:41 +0100
Subject: [PATCH] [kernel] update to new Current_loc API following rebase
---
src/kernel_services/abstract_interp/origin.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/kernel_services/abstract_interp/origin.ml b/src/kernel_services/abstract_interp/origin.ml
index c659b68b9b4..eb11a9658de 100644
--- a/src/kernel_services/abstract_interp/origin.ml
+++ b/src/kernel_services/abstract_interp/origin.ml
@@ -159,7 +159,7 @@ let is_current = function
current location. *)
let register_write bases t =
if is_unknown t then false else
- let current_loc = Cil.CurrentLoc.get () in
+ let current_loc = Current_loc.get () in
let is_new = not (History.mem t) in
let change (w, r, b) =
LocSet.add current_loc w, r, Base.SetLattice.join b bases
@@ -171,7 +171,7 @@ let register_write bases t =
(* Registers a read only if the current location is not that of the origin. *)
let register_read bases t =
if not (is_unknown t || is_current t) then
- let current_loc = Cil.CurrentLoc.get () in
+ let current_loc = Current_loc.get () in
let change (w, r, b) =
w, LocSet.add current_loc r, Base.SetLattice.join b bases
in
--
GitLab