diff --git a/src/plugins/value/utils/red_statuses.ml b/src/plugins/value/utils/red_statuses.ml
index cd194c77d7a2ef18a4cc3bb67e224939e2e56e04..f57c412722830a9d1258773b1338a1df9eb57f72 100644
--- a/src/plugins/value/utils/red_statuses.ml
+++ b/src/plugins/value/utils/red_statuses.ml
@@ -147,7 +147,8 @@ let compute_information (kinstr, alarm_or_prop, contexts) =
     match alarm_or_prop with
     | Alarm alarm ->
       let kf, stmt = kinstr_to_stmt kinstr in
-      let code_annot, _ = Alarms.to_annot kinstr alarm in
+      let loc = Cil_datatype.Stmt.loc stmt in
+      let code_annot, _ = Alarms.to_annot kinstr ~loc alarm in
       let property = Property.ip_of_code_annot_single kf stmt code_annot in
       kf, property, true
     | Prop ip -> kf_of_property ip, ip, false