Re: [PATCH tip/locking/core] tools: Update context analysis macros in compiler_types.h

[Lorenzo Stoakes <lorenzo.stoakes@oracle.com>]

On Tue, Jan 27, 2026 at 12:12:06PM +0100, Marco Elver wrote:
> In sync with the main kernel headers, include a stub version of
> compiler-context-analysis.h in tools/include/linux/compiler_types.h and
> remove the sparse context tracking definitions.
>
> Since tools/ headers are generally self-contained, provide a standalone
> tools/include/linux/compiler-context-analysis.h with no-op stubs for now. Also
> clean up redundant stubs in tools/testing/shared/linux/kernel.h that are now
> redundant.
>
> This fixes build errors in tools/testing/radix-tree/ where headers from
> include/linux/ (like cleanup.h) are used directly and expect these
> macros to be defined:
>
> | cc -I../shared -I. -I../../include -I../../arch/x86/include -I../../../lib -g -Og -Wall -D_LGPL_SOURCE -fsanitize=address -fsanitize=undefined    -c -o radix-tree.o radix-tree.c
> | In file included from ../shared/linux/cleanup.h:2,
> |                  from ../shared/linux/../../../../include/linux/idr.h:18,
> |                  from ../shared/linux/idr.h:5,
> |                  from radix-tree.c:18:
> | ../shared/linux/../../../../include/linux/idr.h: In function ‘class_idr_alloc_destructor’:
> | ../shared/linux/../../../../include/linux/cleanup.h:283:9: error: expected declaration specifiers before ‘__no_context_analysis’
> |   283 |         __no_context_analysis                                           \
> |       |         ^~~~~~~~~~~~~~~~~~~~~
>
> Reported-by: kernel test robot <oliver.sang@intel.com>
> Closes: https://lore.kernel.org/oe-lkp/202601261546.d7ae2447-lkp@intel.com
> Signed-off-by: Marco Elver <elver@google.com>
> Cc: Lorenzo Stoakes <lorenzo.stoakes@oracle.com>
> Cc: Sidhartha Kumar <sidhartha.kumar@oracle.com>

Thanks, I tested it locally and it fixes the issue for both radix-trees and the
vma userland tests, so feel free to add:

Reviewed-by: Lorenzo Stoakes <lorenzo.stoakes@oracle.com>
Tested-by: Lorenzo Stoakes <lorenzo.stoakes@oracle.com>

Cheers, Lorenzo

> ---
>  .../include/linux/compiler-context-analysis.h | 42 +++++++++++++++++++
>  tools/include/linux/compiler_types.h          | 16 +------
>  tools/testing/shared/linux/kernel.h           |  4 --
>  3 files changed, 43 insertions(+), 19 deletions(-)
>  create mode 100644 tools/include/linux/compiler-context-analysis.h
>
> diff --git a/tools/include/linux/compiler-context-analysis.h b/tools/include/linux/compiler-context-analysis.h
> new file mode 100644
> index 000000000000..13a9115e9e58
> --- /dev/null
> +++ b/tools/include/linux/compiler-context-analysis.h
> @@ -0,0 +1,42 @@
> +/* SPDX-License-Identifier: GPL-2.0 */
> +#ifndef _TOOLS_LINUX_COMPILER_CONTEXT_ANALYSIS_H
> +#define _TOOLS_LINUX_COMPILER_CONTEXT_ANALYSIS_H
> +
> +/*
> + * Macros and attributes for compiler-based static context analysis.
> + * No-op stubs for tools.
> + */
> +
> +#define __guarded_by(...)
> +#define __pt_guarded_by(...)
> +
> +#define context_lock_struct(name, ...)	struct __VA_ARGS__ name
> +
> +#define __no_context_analysis
> +#define __context_unsafe(comment)
> +#define context_unsafe(...)		({ __VA_ARGS__; })
> +#define context_unsafe_alias(p)
> +#define disable_context_analysis()
> +#define enable_context_analysis()
> +
> +#define __must_hold(...)
> +#define __must_not_hold(...)
> +#define __acquires(...)
> +#define __cond_acquires(ret, x)
> +#define __releases(...)
> +#define __acquire(x)			(void)0
> +#define __release(x)			(void)0
> +
> +#define __must_hold_shared(...)
> +#define __acquires_shared(...)
> +#define __cond_acquires_shared(ret, x)
> +#define __releases_shared(...)
> +#define __acquire_shared(x)		(void)0
> +#define __release_shared(x)		(void)0
> +
> +#define __acquire_ret(call, expr)	(call)
> +#define __acquire_shared_ret(call, expr) (call)
> +#define __acquires_ret
> +#define __acquires_shared_ret
> +
> +#endif /* _TOOLS_LINUX_COMPILER_CONTEXT_ANALYSIS_H */
> diff --git a/tools/include/linux/compiler_types.h b/tools/include/linux/compiler_types.h
> index 067a5b4e0f7b..14e420467eee 100644
> --- a/tools/include/linux/compiler_types.h
> +++ b/tools/include/linux/compiler_types.h
> @@ -13,21 +13,7 @@
>  #define __has_builtin(x) (0)
>  #endif
>
> -#ifdef __CHECKER__
> -/* context/locking */
> -# define __must_hold(x)	__attribute__((context(x,1,1)))
> -# define __acquires(x)	__attribute__((context(x,0,1)))
> -# define __releases(x)	__attribute__((context(x,1,0)))
> -# define __acquire(x)	__context__(x,1)
> -# define __release(x)	__context__(x,-1)
> -#else /* __CHECKER__ */
> -/* context/locking */
> -# define __must_hold(x)
> -# define __acquires(x)
> -# define __releases(x)
> -# define __acquire(x)	(void)0
> -# define __release(x)	(void)0
> -#endif /* __CHECKER__ */
> +#include <linux/compiler-context-analysis.h>
>
>  /* Compiler specific macros. */
>  #ifdef __GNUC__
> diff --git a/tools/testing/shared/linux/kernel.h b/tools/testing/shared/linux/kernel.h
> index c0a2bb785b92..dc2b4ccfb185 100644
> --- a/tools/testing/shared/linux/kernel.h
> +++ b/tools/testing/shared/linux/kernel.h
> @@ -21,9 +21,5 @@
>  #define schedule()
>  #define PAGE_SHIFT	12
>
> -#define __acquires(x)
> -#define __releases(x)
> -#define __must_hold(x)
> -
>  #define EXPORT_PER_CPU_SYMBOL_GPL(x)
>  #endif /* _KERNEL_H */
> --
> 2.52.0.457.g6b5491de43-goog