mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-15 03:25:43 +00:00
Code Activity

Polish Windows getenv helper portability

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

7
src/cmd_context/tptp_frontend.cpp
View file

@ -1783,13 +1783,12 @@ class tptp_parser {
static bool get_env_var(char const* name, std::string& value) {
#ifdef _WIN32
char* buffer = nullptr;
size_t len = 0;
errno_t err = ::_dupenv_s(&buffer, &len, name);
errno_t err = ::_dupenv_s(&buffer, nullptr, name);
if (err != 0 || !buffer)
return false;
std::unique_ptr<char, decltype(&std::free)> buffer_guard(buffer, &std::free);
auto free_env = [](char* p) { std::free(p); };
std::unique_ptr<char, decltype(free_env)> buffer_guard(buffer, free_env);
value.assign(buffer_guard.get());
(void)len;
return true;
#else
char const* v = std::getenv(name);