logic: fix -Wrange-loop-construct warning with clang 10
Change-Id: Ia4cd193e099b9e85da48f83087cd93482db9a628
This commit is contained in:
1 parent
a0546dbc86
commit
d6a0956c35
1 file changed
+3
-3
+3
-3
@@ -649,18 +649,18 @@ Logic::trimState(State& partialState, const State& state, size_t nExcludedStates
|
||||
partialState.reset();
|
||||
|
||||
std::vector<ConstLeafPtr> leaves;
|
||||
for (const ConstLeafPtr& leaf : state.getLeaves()) {
|
||||
for (const auto& leaf : state.getLeaves()) {
|
||||
leaves.push_back(leaf);
|
||||
}
|
||||
|
||||
std::shuffle(leaves.begin(), leaves.end(), m_rng);
|
||||
|
||||
size_t statesToEncode = leaves.size() - std::min(leaves.size() - 1, nExcludedStates);
|
||||
for (const auto& constLeafPtr : leaves) {
|
||||
for (const auto& leaf : leaves) {
|
||||
if (statesToEncode == 0) {
|
||||
break;
|
||||
}
|
||||
partialState.update(constLeafPtr->getSessionName(), constLeafPtr->getSeq());
|
||||
partialState.update(leaf->getSessionName(), leaf->getSeq());
|
||||
--statesToEncode;
|
||||
}
|
||||
}
|
||||
|
||||
Reference in new issue
Block a user