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==--
