[PATCH 1/4] locking/atomic/x86: Silence intentional wrapping addition

David Howells dhowells at redhat.com
Fri Apr 26 00:40:50 PDT 2024


Kees Cook <keescook at chromium.org> wrote:

> -	return i + xadd(&v->counter, i);
> +	return wrapping_add(int, i, xadd(&v->counter, i));

Ewww.  Can't you just mark the variable as wrapping in some way, either by:

	unsigned int __cyclic counter;

or, to use rxrpc packet sequence numbers as an example:

	typedef unsigned int __cyclic rxrpc_seq_t;

	rxrpc_seq_t	tx_top;

Then you can get the compiler to spit out a warning if you use <, <=, > or >=
on the numbers as an added bonus.  (You should use before() and after()
instead).

David




More information about the linux-arm-kernel mailing list