Address code review feedback for PR 9391

Author: holtrop-wolfssl

.github/workflows/os-check.yml

@@ -63,6 +63,7 @@ jobs:
           '--enable-coding=no',
           '--enable-dtls --enable-dtls13 --enable-ocspstapling --enable-ocspstapling2
            --enable-cert-setup-cb --enable-sessioncerts',
+          '--disable-sni --disable-ecc --disable-tls13 --disable-secure-renegotiation-info',
         ]
     name: make check
     if: github.repository_owner == 'wolfssl'

src/internal.c

@@ -38310,7 +38310,7 @@ static int DoSessionTicket(WOLFSSL* ssl, const byte* input, word32* inOutIdx,
                 if ((ret = TLSX_PopulateExtensions(ssl, 1)) != 0)
                     goto out;
 #else
-                word64 extensions_seen = 0u;
+                word32 extensions_seen = 0U;
 #endif
 
                 if ((i - begin) + OPAQUE16_LEN > helloSz) {
@@ -38364,12 +38364,11 @@ static int DoSessionTicket(WOLFSSL* ssl, const byte* input, word32* inOutIdx,
                     ato16(&input[i], &extSz);
                     i += OPAQUE16_LEN;
 
-                    if (extId < (sizeof(extensions_seen) * 8u))
-                    {
-                        word64 mask = 1u << extId;
-                        if ((extensions_seen & mask) != 0u)
-                        {
-                            WOLFSSL_MSG("DoClientHello: duplicate extension found");
+                    if (extId < (sizeof(extensions_seen) * 8U)) {
+                        word32 mask = 1u << extId;
+                        if ((extensions_seen & mask) != 0U) {
+                            WOLFSSL_MSG(
+                                    "DoClientHello: duplicate extension found");
                             ret = DUPLICATE_TLS_EXT_E;
                             goto out;
                         }