mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-23 00:37:36 +00:00
Code Activity

replace some copies with moves

Browse source
This commit is contained in:
Nuno Lopes 2026-02-09 22:45:13 +00:00 • committed by Nikolaj Bjorner
parent 6b28d65487
commit a3e7bbb92f
8 changed files with 27 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/qe/nlarith_util.cpp
View file

@ -1953,8 +1953,8 @@ namespace nlarith {
for (; i + 1 < mat.size(); i += 2) {
if (mat[i+1].contains(Zero)) {
if (i != j) {
mat[j] = mat[i];
mat[j+1] = mat[i+1];
mat[j] = std::move(mat[i]);
mat[j+1] = std::move(mat[i+1]);
}
j += 2;
}

1
src/qe/nlqsat.cpp
View file

@ -385,7 +385,6 @@ namespace qe {
// They are sorted by size, so we project the largest variables first to avoid
// renaming variables.
for (unsigned i = vars.size(); i-- > 0;) {
new_result.reset();
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);