[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lmi-commits] [lmi] master d5b8476 1/2: Explicitly assert a precondition
From: |
Greg Chicares |
Subject: |
[lmi-commits] [lmi] master d5b8476 1/2: Explicitly assert a precondition |
Date: |
Tue, 4 Jun 2019 09:42:06 -0400 (EDT) |
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);