From ce5a36a533b5435d465c856131fb3aff5301d49f Mon Sep 17 00:00:00 2001
From: Lucian Popescu <lucian.popescu@tecnico.ulisboa.pt>
Date: Thu, 5 Nov 2026 15:14:17 +0000
Subject: [PATCH] Read getenv names and values as raw bytes in refcount

---
 rules/cstdlib/tgt_refcount.rs | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/rules/cstdlib/tgt_refcount.rs b/rules/cstdlib/tgt_refcount.rs
index d9ba7ede9f..b001d245f7 100644
--- a/rules/cstdlib/tgt_refcount.rs
+++ b/rules/cstdlib/tgt_refcount.rs
@@ -20,9 +20,10 @@ fn f5(a0: usize, a1: usize) -> AnyPtr {
 }
 
 fn f6(a0: Ptr<i8>) -> Ptr<i8> {
-    match ::std::env::var(a0.to_rust_string()) {
-        Ok(__val) => Ptr::alloc_c_str(__val.as_bytes()),
-        Err(_) => Ptr::null(),
+    use ::std::os::unix::ffi::OsStrExt;
+    match a0.with_c_bytes(|__name| ::std::env::var_os(::std::ffi::OsStr::from_bytes(__name))) {
+        Some(__val) => Ptr::alloc_c_str(__val.as_bytes()),
+        None => Ptr::null(),
     }
 }