Added missing requires clause.

dlib/optimization/optimization_solve_qp_using_smo.h

@@ -581,6 +581,7 @@ namespace dlib
         for (auto& Q : Q_blocks)
         {
             DLIB_CASSERT(Q.nr() == Q.nc(), "All the matrices in Q_blocks have the same dimensions.");
+            DLIB_CASSERT(Q.size() > 0, "All the matrices in Q_blocks must be non-empty and have the same dimensions.");
             DLIB_CASSERT(Q.nr() == Q_blocks[0].nr() && Q.nc() == Q_blocks[0].nc(), "All the matrices in Q_blocks have the same dimensions.");
         }
 #ifdef ENABLE_ASSERTS

dlib/optimization/optimization_solve_qp_using_smo_abstract.h

@@ -183,8 +183,8 @@ namespace dlib
         requires
             - Q_blocks.size() > 0
             - Q_blocks.size() == bs.size() == alphas.size() == lowers.size() == uppers.size()
-            - All the matrices in Q_blocks have the same dimensions.  Moreover, they are square
-              matrices.
+            - All the matrices in Q_blocks have the same dimensions.  Moreover, they are
+              non-empty square matrices.
             - All the matrices in bs, Q_offdiag, alphas, lowers, and uppers have the same
               dimensions.  Moreover, they are all column vectors.
             - Q_blocks[0].nr() == alphas[0].size()