Merge pull request #8371 from tautschnig/fnctl

C library: __fcntl_time64 for Debian/ARM

Author: tautschnig

src/ansi-c/library/fcntl.c

@@ -54,6 +54,15 @@ int fcntl64(int fd, int cmd, ...)
   return __CPROVER_fcntl(fd, cmd);
 }
 
+/* FUNCTION: __fcntl_time64 */
+
+int __CPROVER_fcntl(int, int);
+
+int __fcntl_time64(int fd, int cmd, ...)
+{
+  return __CPROVER_fcntl(fd, cmd);
+}
+
 /* FUNCTION: __CPROVER_open */
 
 #ifndef __CPROVER_FCNTL_H_INCLUDED

src/ansi-c/library_check.sh

@@ -45,6 +45,7 @@ perl -p -i -e 's/^_setjmp\n//' __functions # pipe, macOS
 perl -p -i -e 's/^_time(32|64)\n//' __functions # time, Windows
 perl -p -i -e 's/^__builtin___snprintf_chk\n//' __functions # snprintf, macOS
 perl -p -i -e 's/^__builtin___vsnprintf_chk\n//' __functions # vsnprintf, macOS
+perl -p -i -e 's/^__fcntl_time64\n//' __functions # fcntl, Linux
 perl -p -i -e 's/^__inet_(addr|aton|ntoa|network)\n//' __functions # inet_*, FreeBSD
 perl -p -i -e 's/^__isoc99_v?fscanf\n//' __functions # fscanf, Linux
 perl -p -i -e 's/^__isoc99_v?scanf\n//' __functions # scanf, Linux