Re: [PATCH v7 0/6] Enable context analysis in the SCSI core and UFS driver

Bart,

> This patch series enables context analysis for the SCSI core and the UFS
> driver. The advantages are as follows:
>  - The compiler (only Clang) verifies whether the lock and unlock calls match
>    what has been declared via __must_hold(), __acquires() or __releases().
>    This is useful for catching locking bugs in error paths.
>  - Support for __guarded_by() is enabled. If a member variable is annotated
>    with __guarded_by(lock), the compiler will issue a warning if that member
>    variable is accessed without holding 'lock'.
>
> Additionally, a patch is included that suppresses KCSAN complaints about SCSI
> host state changes.

Applied to 7.3/scsi-staging, thanks!

-- 
Martin K. Petersen