mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

temper warning messages from uninitalized pointers

Browse source
This commit is contained in:
Nikolaj Bjorner 2024-04-30 17:00:49 -07:00
parent 4c070f9e76
commit b0222cbdaa
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/util/hashtable.h
View file

@ -472,7 +472,7 @@ public:
that was already in the table.
*/
data const & insert_if_not_there(data const & e) {
entry * et;
entry * et = nullptr;
insert_if_not_there_core(e, et);
return et->get_data();
}
@ -482,7 +482,7 @@ public:
Return the entry that contains e.
*/
entry * insert_if_not_there2(data const & e) {
entry * et;
entry * et = nullptr;
insert_if_not_there_core(e, et);
return et;
}