cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix compiler warning.

Browse Source
This commit is contained in:
chriseth 2022-02-02 17:09:50 +01:00
parent 7a250fea42
commit e6c67924b0
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
libsolutil/LP.cpp
View File

@ -318,7 +318,8 @@ bool boundsToConstraints(SolvingState& _state)
return false; return false;
if (*bounds.lower == *bounds.upper) if (*bounds.lower == *bounds.upper)
{ {
vector<rational> c(columns); LinearExpression c;
c.resize(columns);
c[0] = *bounds.lower; c[0] = *bounds.lower;
c[index] = bigint(1); c[index] = bigint(1);
_state.constraints.emplace_back(Constraint{move(c), true}); _state.constraints.emplace_back(Constraint{move(c), true});
@ -327,14 +328,16 @@ bool boundsToConstraints(SolvingState& _state)
} }
if (bounds.lower && *bounds.lower > 0) if (bounds.lower && *bounds.lower > 0)
{ {
vector<rational> c(columns); LinearExpression c;
c.resize(columns);
c[0] = -*bounds.lower; c[0] = -*bounds.lower;
c[index] = bigint(-1); c[index] = bigint(-1);
_state.constraints.emplace_back(Constraint{move(c), false}); _state.constraints.emplace_back(Constraint{move(c), false});
} }
if (bounds.upper) if (bounds.upper)
{ {
vector<rational> c(columns); LinearExpression c;
c.resize(columns);
c[0] = *bounds.upper; c[0] = *bounds.upper;
c[index] = bigint(1); c[index] = bigint(1);
_state.constraints.emplace_back(Constraint{move(c), false}); _state.constraints.emplace_back(Constraint{move(c), false});