From 1f4b9450e5aa140335ef789d9356bea5557bac53 Mon Sep 17 00:00:00 2001
From: Jean-Paul Chaput <Jean-Paul.Chaput@lip6.fr>
Date: Sat, 18 Mar 2023 18:11:03 +0100
Subject: [PATCH] Fix, IntervalTree::overlap_iterator was progressing one step
 too far.

---
 hurricane/src/hurricane/hurricane/IntervalTree.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/hurricane/src/hurricane/hurricane/IntervalTree.h b/hurricane/src/hurricane/hurricane/IntervalTree.h
index 7d4673b2..f479651c 100644
--- a/hurricane/src/hurricane/hurricane/IntervalTree.h
+++ b/hurricane/src/hurricane/hurricane/IntervalTree.h
@@ -186,8 +186,9 @@ namespace Hurricane {
   template< typename Data >
   typename IntervalTree<Data>::overlap_iterator& IntervalTree<Data>::overlap_iterator::operator++ ()
   {
-    while (this->isValid()) {
+    while ( true ) {
       Super::iterator::operator++();
+      if (not this->isValid()) break;
 
       cdebug_log(0,0) << "IntervalTree::overlap_iterator::operator++() "
                       << ::getString(this->getNode()) << std::endl;