Skip to content

Commit db09ece

Browse files
author
Thomas Hader
committed
Added comment
1 parent 31839cb commit db09ece

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/polynomial/feasibility_set.c

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -149,6 +149,7 @@ int lp_feasibility_set_is_point_int(const lp_feasibility_set_t* set) {
149149
for (size_t i = 0; i < set->size; ++i) {
150150
long tmp = lp_interval_count_int(set->intervals + i);
151151
assert(tmp >= 0);
152+
// checking tmp and the sum independently to avoid overflows
152153
if (tmp > 1 || tmp + cnt > 1) {
153154
return 0;
154155
}

0 commit comments

Comments
 (0)