From cf4fe1fa1c07e1ce484d6163180740d5574b4e9c Mon Sep 17 00:00:00 2001
From: Adrian Reber <areber@redhat.com>
Date: Tue, 13 Oct 2020 13:38:48 +0000
Subject: [PATCH] vdso-compat: let coverity know that the function does not
 return

Signed-off-by: Adrian Reber <areber@redhat.com>
---
 criu/vdso-compat.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/criu/vdso-compat.c b/criu/vdso-compat.c
index a68c0bace..8f5d19e10 100644
--- a/criu/vdso-compat.c
+++ b/criu/vdso-compat.c
@@ -13,6 +13,7 @@ static void exit_on(int ret, int err_fd, char *reason)
 	if (ret) {
 		syscall(__NR_write, err_fd, reason, strlen(reason));
 		syscall(__NR_exit, ret);
+		__builtin_unreachable();
 	}
 }
 /*