diff -Nrup a/include/linux-i386/sysdep.h b/include/linux-i386/sysdep.h

--- a/include/linux-i386/sysdep.h	2019-10-03 20:00:29.000000000 -0600

+++ b/include/linux-i386/sysdep.h	2020-10-19 16:10:45.680585173 -0600

@@ -139,12 +139,18 @@ static __inline__ uint32_t ips_cmpxchg(v

 				       uint32_t old_val, uint32_t new_val)

 {

 	uint32_t prev;

-	struct xchg_dummy {

-		uint32_t a[100];

-	};

+	/* This code used to cast PTR to a type which was an array of 100

+	   uint32_t objects.  That makes no sense as the cmpxchgl's side

+	   effect can be covered by an single int.

+

+	   The semantics of GCC's ASMs for memory is that it clobbers the

+	   whole pointed-to object.  Thus analyzers saw a 100 uint32_t sized

+	   store which triggers diagnostics for out of bounds array writes.

+

+	   The cast to the dummy type has been removed.  */

 	asm volatile (LOCK_PREFIX "cmpxchgl %1,%2" : "=a"(prev)

-		      : "q"(new_val), "m"(*(struct xchg_dummy *)ptr), "0"(old_val)

+		      : "q"(new_val), "m"(*ptr), "0"(old_val)

 		      : "memory");

 	return prev;