mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-29 03:45:51 +00:00
Code Activity

address some build warnings.

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-01-12 10:18:11 -08:00
parent b780b54574
commit fa22b646aa
2 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/sls/sls_seq_plugin.cpp
View file

@ -694,7 +694,7 @@ namespace sls {
hashtable<zstring, zstring_hash_proc, default_eq<zstring>> set;
set.insert(zstring(""));
for (unsigned i = 0; i < val_other.length(); ++i) {
for (unsigned j = val_other.length(); j-- > 0; ) {
for (unsigned j = val_other.length() - i; j-- > 0; ) {
zstring sub = val_other.extract(i, j);
if (set.contains(sub))
break;

1
src/util/parray.h
View file

@ -414,6 +414,7 @@ public:
void push_back(ref & r, value const & v) {
if (r.m_ref == nullptr)
mk(r);
SASSERT(r.m_ref);
if (r.root()) {
if (r.unshared()) {
rpush_back(r.m_ref, v);