mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-27 19:08:49 +00:00
Code Activity

Fix "missing field initializer" warnings.

Browse source
This commit is contained in:
David Detlefs 2026-06-18 19:22:05 -07:00
parent 8cb5f32ef7
commit 75b81900d5
4 changed files with 24 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/util/map.h
View file

@ -115,7 +115,7 @@ public:
}
entry * find_core(key const & k) const {
return m_table.find_core(key_data{k});
return m_table.find_core(key_data{k, value()});
}
bool find(key const & k, value & v) const {
@ -137,7 +137,7 @@ public:
}
iterator find_iterator(key const & k) const {
return m_table.find(key_data{k});
return m_table.find(key_data{k, value()});
}
value const & find(key const& k) const {
@ -161,10 +161,10 @@ public:
return find_core(k) != nullptr;
}
void remove(key const & k) {
m_table.remove(key_data{k});
void remove(key const &k) {
m_table.remove(key_data{k, value()});
}
void erase(key const & k) {
remove(k);
}