From 5d0b6b89101f77c29a7dbad58851c78766927708 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 13 Apr 2022 15:58:37 +0200
Subject: [PATCH] [Eva] GUI: restores highlighting of dead statements in
unreachable functions.
---
src/plugins/value/gui_files/register_gui.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/value/gui_files/register_gui.ml b/src/plugins/value/gui_files/register_gui.ml
index e99b3d3ea02..31d005daf3e 100644
--- a/src/plugins/value/gui_files/register_gui.ml
+++ b/src/plugins/value/gui_files/register_gui.ml
@@ -172,7 +172,7 @@ let active_highlighter buffer localizable ~start ~stop =
| Some color_area ->
apply_tag buffer color_area start stop
| None ->
- if Gui_eval.results_kf_computed kf then begin
+ if Analysis.status kf <> Analyzed NoResults then begin
let csf = Gui_callstacks_filters.focused_callstacks () in
if Gui_callstacks_filters.is_reachable_stmt csf stmt then begin
if Gui_callstacks_filters.is_non_terminating_instr csf stmt then
--
GitLab