From 539d2505871d2f2e2228a266f2522379db7b70b2 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 26 Feb 2025 10:44:59 +0100
Subject: [PATCH] * spot/twaalgos/gtec/gtec.cc: Work around spurious warning.

---
 spot/twaalgos/gtec/gtec.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/spot/twaalgos/gtec/gtec.cc b/spot/twaalgos/gtec/gtec.cc
index e50e0b7ad..af7f0b64b 100644
--- a/spot/twaalgos/gtec/gtec.cc
+++ b/spot/twaalgos/gtec/gtec.cc
@@ -459,6 +459,9 @@ namespace spot
                 auto i = ecs_->h.find(curr);
                 assert(i != ecs_->h.end());
                 assert(i->first == curr);
+                // work around g++-14.2.0 spurious "potential null
+                // pointer dereference" warning.
+                SPOT_ASSUME(i != ecs_->h.end());
                 ecs_->root.rem().push_front(i->first);
                 inc_depth();
               }