Tests debug builds in CI (WebAssembly#679)

Add tests for `DEBUG=true` builds of wasi-libc to ensure that
builds-with-asserts pass all tests (and build) as well.

Author: alexcrichton

.github/workflows/main.yml

@@ -118,6 +118,30 @@ jobs:
               MAKE_TARGETS: "no-check-symbols"
               EXTRA_CFLAGS: "-O2 -DNDEBUG -msimd128 -mrelaxed-simd -mbulk-memory -D__wasilibc_simd_string"
 
+          - name: Test wasm32-wasip1 (debug)
+            os: ubuntu-24.04
+            clang_version: 19
+            test: true
+            env:
+              TARGET_TRIPLE: wasm32-wasip1
+              DEBUG: true
+          - name: Test wasm32-wasip2 (debug)
+            os: ubuntu-24.04
+            clang_version: 19
+            test: true
+            env:
+              TARGET_TRIPLE: wasm32-wasip2
+              WASI_SNAPSHOT: p2
+              DEBUG: true
+          - name: Test wasm32-wasip1-threads (debug)
+            os: ubuntu-24.04
+            clang_version: 19
+            test: true
+            env:
+              TARGET_TRIPLE: wasm32-wasip1-threads
+              THREAD_MODEL: posix
+              DEBUG: true
+
     steps:
     - uses: actions/[email protected]
       with:

libc-bottom-half/sources/preopens.c

@@ -65,8 +65,7 @@ static void assert_invariants(void) {
         const preopen *pre = &preopens[i];
         assert(pre->prefix != NULL);
 #ifdef __wasilibc_use_wasip2
-        assert(pre->wasi_handle.__handle != 0);
-        assert(pre->wasi_handle.libc_fd != -1);
+        assert(pre->libc_fd != -1);
 #else
         assert(pre->wasi_handle != -1);
 #endif

test/src/sockets-client-udp-blocking.c

@@ -66,7 +66,7 @@ void test_udp_client() {
     TEST(bytes_received == len);
 
     // Message received should be the same as message sent
-    TEST(strcmp(message, client_buffer) == 0);
+    TEST(strncmp(message, client_buffer, len) == 0);
 
     // Shut down client
     close(socket_fd);