From ded6b69c3f23d2307b177f729e77c43e6c78b61b Mon Sep 17 00:00:00 2001
From: Andrew Wood <ivarch657@gmail.com>
Date: Sun, 24 Sep 2023 21:24:50 +0100
Subject: [PATCH] Minor splint workarounds.

---
 src/pv/elapsedtime.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/pv/elapsedtime.c b/src/pv/elapsedtime.c
index 7ef26cd..e0a3701 100644
--- a/src/pv/elapsedtime.c
+++ b/src/pv/elapsedtime.c
@@ -234,8 +234,12 @@ void pv_nanosleep(long long nanoseconds)
 	memset(&time_remaining, 0, sizeof(time_remaining));
 
 	sleep_for.tv_sec = 0;
+	/*@-type@ */
 	sleep_for.tv_nsec = nanoseconds;
+	/*@+type@ *//* splint rationale - best effort */
+	/*@-unrecog@ */
 	(void) nanosleep(&sleep_for, &time_remaining);
+	/*@+unrecog@ *//* splint rationale - doesn't know of nanosleep() */
 #else
 	struct timeval tv;
 	tv.tv_sec = 0;