[lmi-commits] [lmi] master d5b8476 1/2: Explicitly assert a precondition

[Greg Chicares]

branch: master
commit d5b8476f60e1fe5c91b1f99194d19d58adba6b6d
Author: Gregory W. Chicares <address@hidden>
Commit: Gregory W. Chicares <address@hidden>

    Explicitly assert a precondition
    
    Constructing a vector from an invalid range would be UB.
---
 cso_table.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/cso_table.cpp b/cso_table.cpp
index 0ac73dd..18f795c 100644
--- a/cso_table.cpp
+++ b/cso_table.cpp
@@ -988,7 +988,8 @@ std::vector<double> cso_table
     LMI_ASSERT(1.0 == p[omega - 1]);
 
     LMI_ASSERT(0 <= min_age);
-    LMI_ASSERT(max_age <= omega);
+    LMI_ASSERT(     min_age <= max_age);
+    LMI_ASSERT(                max_age <= omega);
 
     std::vector<double> v(p + min_age, p + max_age);