From 5c3e042628b7db2b82d92f644f7ab0fc409a357b Mon Sep 17 00:00:00 2001
From: Marc Glisse <marc.glisse@inria.fr>
Date: Wed, 13 May 2020 18:45:28 +0200
Subject: BOOST_UNREACHABLE_RETURN + comment

---
 .../include/gudhi/Bitmap_cubical_complex_base.h                      | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/Bitmap_cubical_complex/include/gudhi/Bitmap_cubical_complex_base.h b/src/Bitmap_cubical_complex/include/gudhi/Bitmap_cubical_complex_base.h
index 99487dc3..5927bbec 100644
--- a/src/Bitmap_cubical_complex/include/gudhi/Bitmap_cubical_complex_base.h
+++ b/src/Bitmap_cubical_complex/include/gudhi/Bitmap_cubical_complex_base.h
@@ -13,6 +13,8 @@
 
 #include <gudhi/Bitmap_cubical_complex/counter.h>
 
+#include <boost/config.hpp>
+
 #include <iostream>
 #include <vector>
 #include <string>
@@ -115,6 +117,7 @@ class Bitmap_cubical_complex_base {
    * returned. Note that the input parameter can be a cell of any dimension (vertex, edge, etc).
    * On the other hand, the output is always indicating the position of
    * a top-dimensional cube in the data structure.
+   * \pre The filtration values are assigned as per `impose_lower_star_filtration()`.
    **/
   inline size_t get_top_dimensional_coface_of_a_cell(size_t splx);
 
@@ -621,7 +624,7 @@ size_t Bitmap_cubical_complex_base<T>::get_top_dimensional_coface_of_a_cell(size
       }
     }  
   }
-  return splx;
+  BOOST_UNREACHABLE_RETURN(-2);
 }
 
 template <typename T>
-- 
cgit v1.2.3