From a6b5f9be30fdb9469701060af49c377c9a9c5a2b Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 27 May 2026 17:10:43 +0000 Subject: [PATCH] Polish Windows getenv helper portability --- src/cmd_context/tptp_frontend.cpp | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/cmd_context/tptp_frontend.cpp b/src/cmd_context/tptp_frontend.cpp index 82f7f97322..5101bc00ef 100644 --- a/src/cmd_context/tptp_frontend.cpp +++ b/src/cmd_context/tptp_frontend.cpp @@ -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 buffer_guard(buffer, &std::free); + auto free_env = [](char* p) { std::free(p); }; + std::unique_ptr buffer_guard(buffer, free_env); value.assign(buffer_guard.get()); - (void)len; return true; #else char const* v = std::getenv(name);