From 67470c7bc1eb716d229eefaef12bfa3cf5ac78cc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 5 May 2021 09:29:39 +0200
Subject: [PATCH] [Eva] Fixes a possible crash when reporting red statuses.
---
src/plugins/value/utils/red_statuses.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/plugins/value/utils/red_statuses.ml b/src/plugins/value/utils/red_statuses.ml
index cd194c77d7a..f57c4127228 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
--
GitLab