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

Adjust Windows env helper error handling

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

5
src/cmd_context/tptp_frontend.cpp
View file

@ -1785,11 +1785,8 @@ class tptp_parser {
char* buffer = nullptr;
size_t len = 0;
errno_t err = ::_dupenv_s(&buffer, &len, name);
if (err != 0) {
if (buffer)
std::free(buffer);
if (err != 0)
return false;
}
if (!buffer)
return false;
value.assign(buffer);