Re: [PATCH v2 01/34] compiler_types: Move lock checking attributes to compiler-capability-analysis.h

From: Bart Van Assche
Date: Tue Mar 04 2025 - 18:27:21 EST


On 3/4/25 1:21 AM, Marco Elver wrote:
The conditional definition of lock checking macros and attributes is
about to become more complex. Factor them out into their own header for
better readability, and to make it obvious which features are supported
by which mode (currently only Sparse). This is the first step towards
generalizing towards "capability analysis".

Reviewed-by: Bart Van Assche <bvanassche@xxxxxxx>