Fix error generating VCD files on Windows UCRT. Issue #637

nickg · Aug 11, 2024 · 0fdcb65 · 0fdcb65
1 parent 80b88e2
commit 0fdcb65
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/NEWS.md b/NEWS.md
@@ -3,6 +3,8 @@
   a partially constrained type (#932).
 - Elaboration of large designs on Windows no longer fail with linker
   errors due to excessive command line length.
+- Fixed a bug which prevented VCD files from being generated on Windows
+  systems using the UCRT runtime library (#637).
 
 ## Version 1.13.1 - 2024-07-25
 - Windows installer was missing some standard library files.

diff --git a/thirdparty/fstapi.c b/thirdparty/fstapi.c
@@ -4638,6 +4638,10 @@ if(sectype == FST_BL_ZWRAPPER)
 #endif
 
         zfd = dup(fileno(xc->f));
+#ifdef __MINGW32__
+	// For some reason UCRT increments the file position by 1 (see #637)
+	_lseek(zfd, 1+8+8, SEEK_SET);
+#endif
         zhandle = gzdopen(zfd, "rb");
         if(zhandle)
                 {