From 7857bf65f0f376c1b06fd60edee4c1c8a6d35a25 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 28 Apr 2023 10:33:03 +0200
Subject: [PATCH] [Eva] Octagons: replaces Self.abort (user error) by
Self.fatal (plugin error).
---
src/plugins/eva/domains/octagons.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/plugins/eva/domains/octagons.ml b/src/plugins/eva/domains/octagons.ml
index 2c7c52fdfd5..0b2938d68ce 100644
--- a/src/plugins/eva/domains/octagons.ml
+++ b/src/plugins/eva/domains/octagons.ml
@@ -1013,7 +1013,8 @@ module Deps = struct
let v_zone = if direct then deps.data else deps.indirect in
Locations.Zone.intersects v_zone zone
with Not_found ->
- Self.abort "can not find %a for intersection with %a in@.%a"
+ Self.fatal
+ "Octagon domain: cannot find %a for intersection with %a in@.%a"
Variable.pretty v Locations.Zone.pretty zone pretty (m,i)
in
let get_at_base b intervals (data_acc, indirect_acc) =
--
GitLab