Re: [PATCH 0/2] s390/block: Enable CONTEXT_ANALYSIS

[Stefan Haberland <sth@linux.ibm.com>]

Am 06.08.26 um 15:00 schrieb Heiko Carstens:
> Enable CONTEXT_ANALYSYS for drivers/s390/block.
> 
> Static code checking for acquiring and releasing locks used to be done
> with sparse. That was removed with [1] and replaced with a clang based
> approach [2]. The new approach requires that each subsystem needs to be
> explicitly enabled for checking.
> 
> Do that for drivers/s390/block. In order to avoid false positives due to
> conditional locking, disable context analysis for specific functions of
> the dasd driver.
> 
> Disabling context analysis for specific functions keeps analysis enabled
> for the rest of a file.
> 
> Jens, if you and Stefan agree to the dasd patches, I think it would be
> best if this would be routed via your tree.
> 
> Thanks,
> Heiko
> 

Sounds good to me.
Acked-by: Stefan Haberland <sth@linux.ibm.com>

> [1] 5b63d0ae94cc ("compiler-context-analysis: Remove Sparse support")
> [2] 3269701cb256 ("compiler-context-analysis: Add infrastructure for Context Analysis with Clang")
> 
> Heiko Carstens (2):
>   s390/dasd: Add __context_unsafe() attribute to various functions
>   s390/block: Enable CONTEXT_ANALYSIS
> 
>  drivers/s390/block/Makefile    | 2 ++
>  drivers/s390/block/dasd_eckd.c | 7 +++++++
>  2 files changed, 9 insertions(+)
>