fix(libc): pick strftime and asctime names from a doubled 32-bit index

core/libs/prx/libc/src/Time.cpp

@@ -275,8 +275,10 @@ void addNumber(FormatBuffer& buffer, std::int64_t value, int modulus, const char
 }
 
 const char* tableName(int index, const char* const* names, const char* const* shortNames, int count) {
-    if (index < 0) return shortNames[0];
-    return index < count ? names[index] : "";
+    const auto field = static_cast<std::int32_t>(static_cast<std::uint32_t>(index) * 2u + (names == shortNames ? 0u : 1u));
+    if (field < 0) return shortNames[0];
+    if (field >= 2 * count) return "";
+    return field % 2 == 0 ? shortNames[field / 2] : names[field / 2];
 }
 
 int twoDigitYear(std::int64_t year) {

core/libs/tests/GuestStrftime.cpp

@@ -82,6 +82,23 @@ int main() {
         Check(name, time, "%a|%A|%b|%B|%m|%u|%w", expected[value + 3]);
     }
 
+    struct WrappedName {
+        int value;
+        const char* expected;
+    };
+    constexpr WrappedName wrapped[] = {
+        {-2147483647 - 1, "Sun|Sunday|Jan|January"}, {-1884104312, "|||"}, {-1073741825, "|||"}, {-1073741824, "Sun|Sun|Jan|Jan"},
+        {536870912, "|||"}, {1073741823, "|||"}, {1073741824, "Sun|Sun|Jan|Jan"}, {1526330116, "Sun|Sun|Jan|Jan"}, {2147483647, "Sun|Sun|Jan|Jan"},
+    };
+    for (const auto& item : wrapped) {
+        GuestTm time = base;
+        time.tm_wday = item.value;
+        time.tm_mon = item.value;
+        char name[32];
+        std::snprintf(name, sizeof(name), "wrapped index %d", item.value);
+        Check(name, time, "%a|%A|%b|%B", item.expected);
+    }
+
     struct Field {
         int value;
         const char* expected;