From 91c1e83f96fe499953914cfb3b4195f6fd53dbe3 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Wed, 4 Oct 2023 11:07:46 +0200
Subject: [PATCH] [eva] Remove loc position, done by populate_funspec
---
src/plugins/eva/engine/compute_functions.ml | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/plugins/eva/engine/compute_functions.ml b/src/plugins/eva/engine/compute_functions.ml
index 37ab6859940..213095c8c13 100644
--- a/src/plugins/eva/engine/compute_functions.ml
+++ b/src/plugins/eva/engine/compute_functions.ml
@@ -82,8 +82,6 @@ let generate_specs () =
Self.warning "Generating potentially incorrect assigns \
for function '%a' for which option %s is set"
Kernel_function.pretty kf Parameters.UsePrototype.option_name;
- (* The function populate_funspec may emit a warning. Position a loc. *)
- Cil.CurrentLoc.set (Kernel_function.get_location kf);
Populate_spec.populate_funspec ~do_body:true kf [`Assigns];
end
in
--
GitLab