mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-16 03:55:42 +00:00
Code Activity

Make Windows env lookup exception-safe

Browse source
This commit is contained in:
copilot-swe-agent[bot] 2026-05-27 17:09:40 +00:00 • committed by GitHub
parent 4b5c61b5ac
commit 801e5b6a6a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 4 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/cmd_context/tptp_frontend.cpp
View file

@ -1785,12 +1785,11 @@ class tptp_parser {
char* buffer = nullptr;
size_t len = 0;
errno_t err = ::_dupenv_s(&buffer, &len, name);
if (err != 0)
if (err != 0 || !buffer)
return false;
if (!buffer)
return false;
value.assign(buffer);
std::free(buffer);
std::unique_ptr<char, decltype(&std::free)> buffer_guard(buffer, &std::free);
value.assign(buffer_guard.get());
(void)len;
return true;
#else
char const* v = std::getenv(name);