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

[Heiko Carstens <hca@linux.ibm.com>]

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

[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(+)

-- 
2.53.0