From a7f73aec4ca1931a494cd2893357737d59ea0e29 Mon Sep 17 00:00:00 2001
From: cgzones <cgzones@googlemail.com>
Date: Mon, 15 Jan 2024 21:44:04 +0100
Subject: [PATCH] lib: avoid UB on sequence wrap-around (#347)

Signed integer overflow is undefined, allowing compilers to optimize the
condition `++sequence < 0` away.
---
 lib/netlink.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/lib/netlink.c b/lib/netlink.c
index 66a1e7c89..ff26d33f8 100644
--- a/lib/netlink.c
+++ b/lib/netlink.c
@@ -26,6 +26,7 @@
 #include <string.h>
 #include <errno.h>
 #include <fcntl.h>
+#include <limits.h>
 #include <time.h>
 #include <sys/poll.h>
 #include "libaudit.h"
@@ -220,8 +221,10 @@ int __audit_send(int fd, int type, const void *data, unsigned int size, int *seq
 		return -errno;
 	}
 
-	if (++sequence < 0) 
+	if (sequence == INT_MAX)
 		sequence = 1;
+	else
+		sequence++;
 	*seq = sequence;
 
 	memset(&req, 0, sizeof(req));