use int instead of time_t to print timezone info
authorVladimir Petko <vladimir.petko@canonical.com>
Thu, 23 Oct 2025 10:14:51 +0000 (12:14 +0200)
committerMoritz Mühlenhoff <jmm@debian.org>
Thu, 23 Oct 2025 10:14:51 +0000 (12:14 +0200)
Bug: https://bugs.openjdk.org/browse/JDK-8334502
Last-Update: 2024-06-19

printf() call uses %02d format specifier that requires an int parameter.

Gbp-Pq: Name jdk-8334502-proposed.patch

src/hotspot/share/runtime/os.cpp

index dc0cff5faf17d7764181055c35ba08c59a95059c..374b75a068b9d867f6d8a5153a71dfa360da757b 100644 (file)
@@ -198,8 +198,8 @@ char* os::iso8601_time(jlong milliseconds_since_19700101, char* buffer, size_t b
     abs_local_to_UTC = -(abs_local_to_UTC);
   }
   // Convert time zone offset seconds to hours and minutes.
-  const time_t zone_hours = (abs_local_to_UTC / seconds_per_hour);
-  const time_t zone_min =
+  const int zone_hours = (abs_local_to_UTC / seconds_per_hour);
+  const int zone_min =
     ((abs_local_to_UTC % seconds_per_hour) / seconds_per_minute);
 
   // Print an ISO 8601 date and time stamp into the buffer