Bug#1090046: libz3-dev: variable e potentially used without being set

[Jeffrey Cliff]

Package:  libz3-dev

This is a multi-part MIME message sent by hand with help from reportbug


--===============0809246958063827606==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: inline

UGFja2FnZTogbGliejMtZGV2ClZlcnNpb246IHozLTQuMTMuMwpTZXZlcml0eTogbWlub3IKCkRl
YXIgTWFpbnRhaW5lciwKCndoZW4gY29tcGlsaW5nIHRoaXMgcGFja2FnZSB3aXRoIGdjYyAxNS4w
OgoKL3NvdXJjZXMvZGViaWFuL3ozLXozLTQuMTMuMy9zcmMvdXRpbC9zeW1ib2wuY3BwOjExMzoz
MDoKL3NvdXJjZXMvZGViaWFuL3ozLXozLTQuMTMuMy9zcmMvdXRpbC9zeW1ib2wuY3BwOjcyOjIw
OiB3YXJuaW5nOiDigJhl4oCZIG1heSBiZSB1c2VkIHVuaW5pdGlhbGl6ZWQgWy1XbWF5YmUtdW5p
bml0aWFsaXplZF0KICAgNzIgfCAgICAgICAgICAgICByZXN1bHQgPSBlLT5nZXRfZGF0YSgpOwog
ICAgICB8ICAgICAgICAgICAgIH5+fn5+fn5efn5+fn5+fn5+fn5+fn4KL3NvdXJjZXMvZGViaWFu
L3ozLXozLTQuMTMuMy9zcmMvdXRpbC9zeW1ib2wuY3BwOiBJbiBtZW1iZXIgZnVuY3Rpb24g4oCY
Y29uc3QgY2hhciogaW50ZXJuYWxfc3ltYm9sX3RhYmxlczo6Z2V0X3N0cihjb25zdCBjaGFyKini
gJk6Ci9zb3VyY2VzL2RlYmlhbi96My16My00LjEzLjMvc3JjL3V0aWwvc3ltYm9sLmNwcDo1ODoz
Mjogbm90ZTog4oCYZeKAmSB3YXMgZGVjbGFyZWQgaGVyZQogICA1OCB8ICAgICAgICAgc3RyX2hh
c2h0YWJsZTo6ZW50cnkgKiBlOwogICAgICB8ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
ICBeCgoKVGhlIGZvbGxvd2luZyBwYXRjaCBkZWZpbmVzIGUgdG8gYmUgTlVMTCBhbmQgYWxsb3dz
IGZvciBjb21waWxhdGlvbiB3aXRob3V0IHRoaXMgd2FybmluZy4KCkplZmYgQ2xpZmYKCgotLSBT
eXN0ZW0gSW5mb3JtYXRpb246CkRpc3RyaWJ1dG9yIElEOglEZXZ1YW4KRGVzY3JpcHRpb246CURl
dnVhbiBHTlUvTGludXggNiAoZXhjYWxpYnVyL2NlcmVzKQpSZWxlYXNlOgk2CkNvZGVuYW1lOgll
eGNhbGlidXIgY2VyZXMKQXJjaGl0ZWN0dXJlOiB4ODZfNjQKCktlcm5lbDogTGludXggNi4xMi4w
LWdudS1saWJyZWxpYnJlLWMyMy1nbm0gKFNNUCB3LzIgQ1BVIHRocmVhZHM7IFBSRUVNUFQpCkxv
Y2FsZTogTEFORz1lbl9DQS5VVEYtOCwgTENfQ1RZUEU9ZW5fQ0EuVVRGLTggKGNoYXJtYXA9VVRG
LTgpLCBMQU5HVUFHRT1lbl9DQTplbgpTaGVsbDogL2Jpbi9zaCBsaW5rZWQgdG8gL3Vzci9iaW4v
ZGFzaApJbml0OiBzeXN2aW5pdCAodmlhIC9zYmluL2luaXQpCkxTTTogQXBwQXJtb3I6IGVuYWJs
ZWQKClZlcnNpb25zIG9mIHBhY2thZ2VzIGxpYnozLWRldiBkZXBlbmRzIG9uOgppaSAgbGliejMt
NCAgNC4xMy4zLTEKCmxpYnozLWRldiByZWNvbW1lbmRzIG5vIHBhY2thZ2VzLgoKbGliejMtZGV2
IHN1Z2dlc3RzIG5vIHBhY2thZ2VzLgo=

--===============0809246958063827606==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment; filename="initialize1.diff"

Description: initialize variable e
It's not enough to just declare this variable, because it is used
potentially without
initializing.  earlier versions of gcc don't care about this but gcc
15 caught it.
Author: jeff cliff
Origin: http://b4hntuy3fimfh2227vf4f74emnya7p35i5brtqujs6leqvtclfwvjbqd.onion/FreeOS.html
Last-Update: 2024-12-15
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
Index: z3-4.13.3/src/util/symbol.cpp
===================================================================
--- z3-4.13.3.orig/src/util/symbol.cpp
+++ z3-4.13.3/src/util/symbol.cpp
@@ -55,7 +55,7 @@ public:
     char const * get_str(char const * d) {
         const char * result;
         lock_guard _lock(*lock);
-        str_hashtable::entry * e;
+        str_hashtable::entry * e=NULL;
         if (m_table.insert_if_not_there_core(d, e)) {
             // new entry
             size_t l   = strlen(d);

--===============0809246958063827606==--