Workaround the following warning: "assuming signed overflow does not occur when assuming that (X + c) < X is always false"

1 files changed, 2 insertions, 2 deletions

diff --git a/Eigen/src/Core/Block.h b/Eigen/src/Core/Block.h
index 5f6426517..358b3188b 100644
--- a/Eigen/src/Core/Block.h
+++ b/Eigen/src/Core/Block.h
@@ -137,8 +137,8 @@ template<typename XprType, int BlockRows, int BlockCols, bool InnerPanel> class
     {
       eigen_assert((RowsAtCompileTime==Dynamic || RowsAtCompileTime==blockRows)
           && (ColsAtCompileTime==Dynamic || ColsAtCompileTime==blockCols));
-      eigen_assert(a_startRow >= 0 && blockRows >= 0 && a_startRow + blockRows <= xpr.rows()
-          && a_startCol >= 0 && blockCols >= 0 && a_startCol + blockCols <= xpr.cols());
+      eigen_assert(a_startRow >= 0 && blockRows >= 0 && a_startRow  <= xpr.rows() - blockRows
+          && a_startCol >= 0 && blockCols >= 0 && a_startCol <= xpr.cols() - blockCols);
     }
 };