Powered by Linux
FP with unreachable code check — Semantic Matching Tool

FP with unreachable code check

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Hi Dan,


I think iio_device_claim_direct_scoped() needs special handling, for some reason smatch thinks all these calls are not reachable.

drivers/iio/adc/ad7380.c:371 ad7380_debugfs_reg_access() warn: ignoring unreachable code. drivers/iio/adc/ad7380.c:500 ad7380_read_raw() warn: ignoring unreachable code. drivers/iio/adc/ad7380.c:589 ad7380_write_raw() warn: ignoring unreachable code. drivers/iio/adc/ad7606.c:153 ad7606_read_raw() warn: ignoring unreachable code.



Thanks,
Harshit




[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux