[PATCH v6 6/6] iio: pressure: dps310: check the lock markings with context analysis
Rupesh Majhi <[email protected]>
| Newsgroups | org.kernel.vger.linux-iio,dev.linux.lists.llvm,org.kernel.vger.linux-kernel |
|---|---|
| Message-ID | <[email protected]> |
__must_hold() markings added earlier in this series are only documentation unless the file opts in, so switch the analysis on for dps310.o. Clean with clang 23.1.0 at W=1. It does run: dropping the lock around dps310_fill_scan() fails the build rather than going quietly. Assisted-by: Claude:claude-opus-5 Signed-off-by: Rupesh Majhi <[email protected]> --- drivers/iio/pressure/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/drivers/iio/pressure/Makefile b/drivers/iio/pressure/Makefile index bc0d11a20acc..4b1a05f7a0bd 100644 --- a/drivers/iio/pressure/Makefile +++ b/drivers/iio/pressure/Makefile @@ -3,6 +3,8 @@ # Makefile for industrial I/O pressure drivers # +CONTEXT_ANALYSIS_dps310.o := y + # When adding new entries keep the list in alphabetical order obj-$(CONFIG_ABP060MG) += abp060mg.o obj-$(CONFIG_ABP2030PA) += abp2030pa.o -- 2.43.0