Merge pull request #3670 from tautschnig/_pipe

C library: model _pipe

Author: tautschnig

buildspec-windows.yml

@@ -47,7 +47,6 @@ phases:
         Remove-Item cbmc\byte_update5 -Force -Recurse
         Remove-Item cbmc\byte_update6 -Force -Recurse
         Remove-Item cbmc\byte_update7 -Force -Recurse
-        Remove-Item cbmc-library\pipe-01 -Force -Recurse
         Remove-Item cpp -Force -Recurse
         Remove-Item cbmc-cpp -Force -Recurse
         Remove-Item goto-gcc -Force -Recurse

src/ansi-c/library/unistd.c

@@ -80,6 +80,21 @@ int pipe(int fildes[2])
   return 0;
 }
 
+/* FUNCTION: _pipe */
+
+#ifdef _WIN32
+#undef pipe
+int pipe(int fildes[2]);
+
+int _pipe(int *pfds, unsigned int psize, int textmode)
+{
+__CPROVER_HIDE:;
+  (void)psize;
+  (void)textmode;
+  return pipe(pfds);
+}
+#endif
+
 /* FUNCTION: close */
 
 extern struct __CPROVER_pipet __CPROVER_pipes[];