mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-12 11:54:07 +00:00
Code Activity

revert swap changes to fix CI

Browse source
This commit is contained in:
Nuno Lopes 2026-02-10 19:30:49 +00:00
parent b8a036816e
commit de26d8f6f7
4 changed files with 7 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/math/polynomial/polynomial.cpp
View file

@ -2133,7 +2133,7 @@ namespace polynomial {
m_m2pos.reset(m);
m_m2pos.set(m, i);
}
m_tmp_as = std::move(new_as);
m_tmp_as.swap(new_as);
}
// For each monomial m

8
src/math/polynomial/upolynomial.cpp
View file

@ -249,7 +249,7 @@ namespace upolynomial {
void core_manager::neg(unsigned sz, numeral const * p, numeral_vector & buffer) {
neg_core(sz, p, m_basic_tmp);
buffer = std::move(m_basic_tmp);
buffer.swap(m_basic_tmp);
}
// buffer := p1 + p2
@ -274,7 +274,7 @@ namespace upolynomial {
void core_manager::add(unsigned sz1, numeral const * p1, unsigned sz2, numeral const * p2, numeral_vector & buffer) {
add_core(sz1, p1, sz2, p2, m_basic_tmp);
buffer = std::move(m_basic_tmp);
buffer.swap(m_basic_tmp);
}
// buffer := p1 - p2
@ -802,7 +802,7 @@ namespace upolynomial {
TRACE(mgcd, tout << "found GCD\n";);
mul(candidate, c_g);
flip_sign_if_lm_neg(candidate);
result = std::move(candidate);
candidate.swap(result);
TRACE(mgcd, tout << "r: "; display_star(tout, result); tout << "\n";);
return;
}
@ -1009,7 +1009,7 @@ namespace upolynomial {
set(sz, p, result);
for (unsigned i = 1; i < k; ++i)
mul(m_pw_tmp.size(), m_pw_tmp.data(), sz, p, m_pw_tmp);
r = std::move(result);
r.swap(result);
#if 0
unsigned mask = 1;
numeral_vector & p2 = m_pw_tmp;

2
src/qe/nlqsat.cpp
View file

@ -387,7 +387,7 @@ namespace qe {
for (unsigned i = vars.size(); i-- > 0;) {
ex.project(vars[i], result.size(), result.data(), new_result);
TRACE(qe, display_project(tout, vars[i], result, new_result););
result = std::move(new_result);
result.swap(new_result);
}
negate_clause(result);
}

2
src/smt/proto_model/proto_model.cpp
View file

@ -239,7 +239,7 @@ void proto_model::cleanup() {
unregister_decl(faux);
}
}
m_aux_decls = std::move(found_aux_fs);
m_aux_decls.swap(found_aux_fs);
}
TRACE(model_bug, model_v2_pp(tout, *this););
}