From c983151b9c8b236c95588617212ab0ed70fc466d Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Mon, 7 Feb 2022 14:15:48 +0100
Subject: [PATCH] posix.cfg: Added support for lseek64().

---
 cfg/posix.cfg    | 21 +++++++++++++++++++++
 test/cfg/posix.c | 21 +++++++++++++++++++++
 2 files changed, 42 insertions(+)

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index c7f37f50b..3adced971 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -3397,6 +3397,27 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
       <valid>0:2</valid>
     </arg>
   </function>
+  <!-- https://man7.org/linux/man-pages/man3/lseek64.3.html -->
+  <!-- off64_t lseek64(int fildes, off64_t offset, int whence); defined in POSIX.1 (1996). -->
+  <function name="lseek64">
+    <returnValue type="off64_t"/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <not-bool/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+    <arg nr="3" direction="in">
+      <not-uninit/>
+      <not-bool/>
+      <valid>0:2</valid>
+    </arg>
+  </function>
   <!-- int nanosleep(const struct timespec *rqtp, struct timespec *rmtp); -->
   <function name="nanosleep">
     <returnValue type="int"/>
diff --git a/test/cfg/posix.c b/test/cfg/posix.c
index 5cc3a0360..eb7919bbe 100644
--- a/test/cfg/posix.c
+++ b/test/cfg/posix.c
@@ -29,6 +29,27 @@
 #include <wchar.h>
 #include <string.h>
 
+
+void invalidFunctionArg_lseek64(int fd, off_t offset, int origin)
+{
+    // cppcheck-suppress invalidFunctionArg
+    (void)lseek64(-1, offset, SEEK_SET);
+    // cppcheck-suppress invalidFunctionArg
+    (void)lseek64(fd, offset, -1);
+    // cppcheck-suppress invalidFunctionArg
+    (void)lseek64(fd, offset, 3);
+    // cppcheck-suppress invalidFunctionArg
+    (void)lseek64(fd, offset, 42+SEEK_SET);
+    // cppcheck-suppress invalidFunctionArg
+    (void)lseek64(fd, offset, SEEK_SET+42);
+    // No warning is expected for
+    (void)lseek64(0, offset, origin);
+    (void)lseek64(fd, offset, origin);
+    (void)lseek64(fd, offset, SEEK_SET);
+    (void)lseek64(fd, offset, SEEK_CUR);
+    (void)lseek64(fd, offset, SEEK_END);
+}
+
 void invalidFunctionArg_lseek(int fd, off_t offset, int origin)
 {
     // cppcheck-suppress invalidFunctionArg