Use common type in AssertIndexRange for the comparison

diff --git a/include/deal.II/base/exceptions.h b/include/deal.II/base/exceptions.h
index 6ff4068d00c62b693802d984544a6a50a84c6830..9f01ac2012a9ebad32b12e03e4fee965c778f184 100644 (file)
--- a/include/deal.II/base/exceptions.h
+++ b/include/deal.II/base/exceptions.h
@@ -1402,11 +1402,16 @@ namespace internal
  * fails.
  *
  * @ingroup Exceptions
- * @author Guido Kanschat 2007
+ * @author Guido Kanschat, Daniel Arndt, 2007, 2018
  */
 #define AssertIndexRange(index, range)                                         \
   Assert(                                                                      \
-    (index) < (range),                                                         \
+    static_cast<typename ::dealii::internal::argument_type<void(               \
+        typename std::common_type<decltype(index), decltype(range)>::type)>::  \
+                  type>(index) <                                               \
+      static_cast<typename ::dealii::internal::argument_type<void(             \
+        typename std::common_type<decltype(index), decltype(range)>::type)>::  \
+                    type>(range),                                              \
     dealii::ExcIndexRangeType<typename ::dealii::internal::argument_type<void( \
       typename std::common_type<decltype(index), decltype(range)>::type)>::    \
                                 type>((index), 0, (range)))