Fall back to Tz::UTC

src/shims/time.rs

@@ -142,8 +142,8 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
         // Figure out what time zone is in use
         let tz = this.get_var(OsStr::new("TZ"))?.unwrap_or_else(|| OsString::from("UTC"));
         let tz = match tz.into_string() {
-            Ok(tz) => Tz::from_str(&tz).unwrap_or(Tz::Zulu),
-            _ => Tz::Zulu,
+            Ok(tz) => Tz::from_str(&tz).unwrap_or(Tz::UTC),
+            _ => Tz::UTC,
         };
 
         // Convert that to local time, then return the broken-down time value.
@@ -156,7 +156,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
 
         // tm_zone represents the timezone value in the form of: +0730, +08, -0730 or -08.
         // This may not be consistent with libc::localtime_r's result.
-        let offset_in_seconds = Utc::now().with_timezone(&tz).offset().fix().local_minus_utc();
+        let offset_in_seconds = dt.offset().fix().local_minus_utc();
         let tm_gmtoff = offset_in_seconds;
         let mut tm_zone = String::new();
         if offset_in_seconds < 0 {