:::::: :::::: Manual check reason: "low confidence static check warning: drivers/iio/dac/ad7293.c:139:8: warning: Excessive padding in 'struct ad7293_state' (48 padding bytes, where 16 is optimal). " ::::::
CC: l...@lists.linux.dev CC: kbuild-...@lists.01.org BCC: l...@intel.com CC: linux-ker...@vger.kernel.org TO: Antoniu Miclaus <antoniu.micl...@analog.com> CC: Jonathan Cameron <jonathan.came...@huawei.com> CC: Cai Huoqing <cai.huoq...@linux.dev> tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master head: 4b35035bcf80ddb47c0112c4fbd84a63a2836a18 commit: 0bb12606c05fe9737e3056fe76d6e4b9c2a87b57 iio:dac:ad7293: add support for AD7293 date: 7 months ago :::::: branch date: 2 days ago :::::: commit date: 7 months ago config: arm-randconfig-c002-20220619 (https://download.01.org/0day-ci/archive/20220620/202206200944.9csasowi-...@intel.com/config) compiler: clang version 15.0.0 (https://github.com/llvm/llvm-project 91688716ba49942051dccdf7b9c4f81a7ec8feaf) reproduce (this is a W=1 build): wget https://raw.githubusercontent.com/intel/lkp-tests/master/sbin/make.cross -O ~/bin/make.cross chmod +x ~/bin/make.cross # install arm cross compiling tool for clang build # apt-get install binutils-arm-linux-gnueabi # https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=0bb12606c05fe9737e3056fe76d6e4b9c2a87b57 git remote add linus https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git git fetch --no-tags linus master git checkout 0bb12606c05fe9737e3056fe76d6e4b9c2a87b57 # save the config file COMPILER_INSTALL_PATH=$HOME/0day COMPILER=clang make.cross ARCH=arm clang-analyzer If you fix the issue, kindly add following tag where applicable Reported-by: kernel test robot <l...@intel.com> clang-analyzer warnings: (new ones prefixed by >>) drivers/mtd/parsers/redboot.c:192:2: note: Loop condition is false. Execution continues on line 229 for (i = 0; i < numslots; i++) { ^ drivers/mtd/parsers/redboot.c:229:6: note: Access to field 'img' results in a dereference of a null pointer (loaded from variable 'fl') if (fl->img->flash_base) { ^~ drivers/mtd/parsers/redboot.c:251:3: warning: Call to function 'strcpy' is insecure as it does not provide bounding of the memory buffer. Replace unbounded copy functions with analogous functions that support length arguments such as 'strlcpy'. CWE-119 [clang-analyzer-security.insecureAPI.strcpy] strcpy(nullname, nullstring); ^~~~~~ drivers/mtd/parsers/redboot.c:251:3: note: Call to function 'strcpy' is insecure as it does not provide bounding of the memory buffer. Replace unbounded copy functions with analogous functions that support length arguments such as 'strlcpy'. CWE-119 strcpy(nullname, nullstring); ^~~~~~ drivers/mtd/parsers/redboot.c:270:3: warning: Call to function 'strcpy' is insecure as it does not provide bounding of the memory buffer. Replace unbounded copy functions with analogous functions that support length arguments such as 'strlcpy'. CWE-119 [clang-analyzer-security.insecureAPI.strcpy] strcpy(names, fl->img->name); ^~~~~~ drivers/mtd/parsers/redboot.c:270:3: note: Call to function 'strcpy' is insecure as it does not provide bounding of the memory buffer. Replace unbounded copy functions with analogous functions that support length arguments such as 'strlcpy'. CWE-119 strcpy(names, fl->img->name); ^~~~~~ 1 warning generated. fs/autofs/dev-ioctl.c:519:34: warning: Although the value stored to 'devid' is used in the enclosing expression, the value is never actually read from 'devid' [clang-analyzer-deadcode.DeadStores] param->ismountpoint.out.devid = devid = 0; ^ ~ fs/autofs/dev-ioctl.c:519:34: note: Although the value stored to 'devid' is used in the enclosing expression, the value is never actually read from 'devid' param->ismountpoint.out.devid = devid = 0; ^ ~ 1 warning generated. fs/adfs/dir.c:277:29: warning: Value stored to 'ops' during its initialization is never read [clang-analyzer-deadcode.DeadStores] const struct adfs_dir_ops *ops = ADFS_SB(sb)->s_dir; ^~~ ~~~~~~~~~~~~~~~~~~ fs/adfs/dir.c:277:29: note: Value stored to 'ops' during its initialization is never read const struct adfs_dir_ops *ops = ADFS_SB(sb)->s_dir; ^~~ ~~~~~~~~~~~~~~~~~~ 1 warning generated. Suppressed 1 warnings (1 in non-user code). Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well. 1 warning generated. Suppressed 1 warnings (1 in non-user code). Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well. 1 warning generated. drivers/of/device.c:59:29: warning: Value stored to 'of_node' during its initialization is never read [clang-analyzer-deadcode.DeadStores] struct device_node *node, *of_node = dev->of_node; ^~~~~~~ ~~~~~~~~~~~~ drivers/of/device.c:59:29: note: Value stored to 'of_node' during its initialization is never read struct device_node *node, *of_node = dev->of_node; ^~~~~~~ ~~~~~~~~~~~~ 1 warning generated. Suppressed 1 warnings (1 in non-user code). Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well. 1 warning generated. Suppressed 1 warnings (1 in non-user code). Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well. 1 warning generated. Suppressed 1 warnings (1 in non-user code). Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well. 1 warning generated. Suppressed 1 warnings (1 in non-user code). Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well. 1 warning generated. Suppressed 1 warnings (1 in non-user code). Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well. 1 warning generated. Suppressed 1 warnings (1 in non-user code). Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well. 1 warning generated. Suppressed 1 warnings (1 in non-user code). Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well. 1 warning generated. Suppressed 1 warnings (1 in non-user code). Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well. 1 warning generated. Suppressed 1 warnings (1 in non-user code). Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well. 2 warnings generated. drivers/iio/dac/ad5791.c:84:8: warning: Excessive padding in 'struct ad5791_state' (53 padding bytes, where 21 is optimal). Optimal fields order: data, spi, reg_vdd, reg_vss, chip_info, vref_neg_mv, ctrl, pwr_down_mode, vref_mv, pwr_down, consider reordering the fields or adding explicit padding members [clang-analyzer-optin.performance.Padding] struct ad5791_state { ~~~~~~~^~~~~~~~~~~~~~ drivers/iio/dac/ad5791.c:84:8: note: Excessive padding in 'struct ad5791_state' (53 padding bytes, where 21 is optimal). Optimal fields order: data, spi, reg_vdd, reg_vss, chip_info, vref_neg_mv, ctrl, pwr_down_mode, vref_mv, pwr_down, consider reordering the fields or adding explicit padding members struct ad5791_state { ~~~~~~~^~~~~~~~~~~~~~ Suppressed 1 warnings (1 in non-user code). Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well. 1 warning generated. Suppressed 1 warnings (1 in non-user code). Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well. 1 warning generated. Suppressed 1 warnings (1 in non-user code). Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well. 3 warnings generated. >> drivers/iio/dac/ad7293.c:139:8: warning: Excessive padding in 'struct >> ad7293_state' (48 padding bytes, where 16 is optimal). Optimal fields order: data, page_select, spi, gpio_reset, reg_avdd, reg_vdrive, lock, consider reordering the fields or adding explicit padding members [clang-analyzer-optin.performance.Padding] struct ad7293_state { ~~~~~~~^~~~~~~~~~~~~~ drivers/iio/dac/ad7293.c:139:8: note: Excessive padding in 'struct ad7293_state' (48 padding bytes, where 16 is optimal). Optimal fields order: data, page_select, spi, gpio_reset, reg_avdd, reg_vdrive, lock, consider reordering the fields or adding explicit padding members struct ad7293_state { ~~~~~~~^~~~~~~~~~~~~~ >> drivers/iio/dac/ad7293.c:647:13: warning: Assigned value is garbage or >> undefined [clang-analyzer-core.uninitialized.Assign] *read_val = temp; ^ ~~~~ drivers/iio/dac/ad7293.c:644:6: note: Assuming 'read_val' is non-null if (read_val) { ^~~~~~~~ drivers/iio/dac/ad7293.c:644:2: note: Taking true branch if (read_val) { ^ drivers/iio/dac/ad7293.c:645:3: note: 'temp' declared without an initial value u16 temp; ^~~~~~~~ drivers/iio/dac/ad7293.c:646:9: note: Calling 'ad7293_spi_read' ret = ad7293_spi_read(st, reg, &temp); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ drivers/iio/dac/ad7293.c:207:8: note: Calling '__ad7293_spi_read' ret = __ad7293_spi_read(st, reg, val); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ drivers/iio/dac/ad7293.c:175:11: note: Taking false branch length = FIELD_GET(AD7293_TRANSF_LEN_MSK, reg); ^ include/linux/bitfield.h:108:3: note: expanded from macro 'FIELD_GET' __BF_FIELD_CHECK(_mask, _reg, 0U, "FIELD_GET: "); \ ^ include/linux/bitfield.h:46:3: note: expanded from macro '__BF_FIELD_CHECK' BUILD_BUG_ON_MSG(!__builtin_constant_p(_mask), \ ^ include/linux/build_bug.h:39:37: note: expanded from macro 'BUILD_BUG_ON_MSG' #define BUILD_BUG_ON_MSG(cond, msg) compiletime_assert(!(cond), msg) ^ include/linux/compiler_types.h:335:2: note: expanded from macro 'compiletime_assert' _compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__) ^ include/linux/compiler_types.h:323:2: note: expanded from macro '_compiletime_assert' __compiletime_assert(condition, msg, prefix, suffix) ^ include/linux/compiler_types.h:315:3: note: expanded from macro '__compiletime_assert' if (!(condition)) \ ^ drivers/iio/dac/ad7293.c:175:11: note: Loop condition is false. Exiting loop length = FIELD_GET(AD7293_TRANSF_LEN_MSK, reg); ^ include/linux/bitfield.h:108:3: note: expanded from macro 'FIELD_GET' __BF_FIELD_CHECK(_mask, _reg, 0U, "FIELD_GET: "); \ ^ include/linux/bitfield.h:46:3: note: expanded from macro '__BF_FIELD_CHECK' BUILD_BUG_ON_MSG(!__builtin_constant_p(_mask), \ ^ include/linux/build_bug.h:39:37: note: expanded from macro 'BUILD_BUG_ON_MSG' #define BUILD_BUG_ON_MSG(cond, msg) compiletime_assert(!(cond), msg) ^ include/linux/compiler_types.h:335:2: note: expanded from macro 'compiletime_assert' _compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__) ^ include/linux/compiler_types.h:323:2: note: expanded from macro '_compiletime_assert' __compiletime_assert(condition, msg, prefix, suffix) ^ include/linux/compiler_types.h:307:2: note: expanded from macro '__compiletime_assert' do { \ ^ drivers/iio/dac/ad7293.c:175:11: note: Taking false branch length = FIELD_GET(AD7293_TRANSF_LEN_MSK, reg); ^ include/linux/bitfield.h:108:3: note: expanded from macro 'FIELD_GET' __BF_FIELD_CHECK(_mask, _reg, 0U, "FIELD_GET: "); \ ^ include/linux/bitfield.h:48:3: note: expanded from macro '__BF_FIELD_CHECK' BUILD_BUG_ON_MSG((_mask) == 0, _pfx "mask is zero"); \ ^ include/linux/build_bug.h:39:37: note: expanded from macro 'BUILD_BUG_ON_MSG' #define BUILD_BUG_ON_MSG(cond, msg) compiletime_assert(!(cond), msg) ^ include/linux/compiler_types.h:335:2: note: expanded from macro 'compiletime_assert' _compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__) ^ include/linux/compiler_types.h:323:2: note: expanded from macro '_compiletime_assert' __compiletime_assert(condition, msg, prefix, suffix) ^ include/linux/compiler_types.h:315:3: note: expanded from macro '__compiletime_assert' if (!(condition)) \ ^ drivers/iio/dac/ad7293.c:175:11: note: Loop condition is false. Exiting loop length = FIELD_GET(AD7293_TRANSF_LEN_MSK, reg); ^ include/linux/bitfield.h:108:3: note: expanded from macro 'FIELD_GET' __BF_FIELD_CHECK(_mask, _reg, 0U, "FIELD_GET: "); \ ^ include/linux/bitfield.h:48:3: note: expanded from macro '__BF_FIELD_CHECK' BUILD_BUG_ON_MSG((_mask) == 0, _pfx "mask is zero"); \ ^ include/linux/build_bug.h:39:37: note: expanded from macro 'BUILD_BUG_ON_MSG' #define BUILD_BUG_ON_MSG(cond, msg) compiletime_assert(!(cond), msg) ^ include/linux/compiler_types.h:335:2: note: expanded from macro 'compiletime_assert' _compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__) ^ include/linux/compiler_types.h:323:2: note: expanded from macro '_compiletime_assert' __compiletime_assert(condition, msg, prefix, suffix) ^ include/linux/compiler_types.h:307:2: note: expanded from macro '__compiletime_assert' do { \ vim +139 drivers/iio/dac/ad7293.c 0bb12606c05fe9 Antoniu Miclaus 2021-12-02 138 0bb12606c05fe9 Antoniu Miclaus 2021-12-02 @139 struct ad7293_state { 0bb12606c05fe9 Antoniu Miclaus 2021-12-02 140 struct spi_device *spi; 0bb12606c05fe9 Antoniu Miclaus 2021-12-02 141 /* Protect against concurrent accesses to the device, page selection and data content */ 0bb12606c05fe9 Antoniu Miclaus 2021-12-02 142 struct mutex lock; 0bb12606c05fe9 Antoniu Miclaus 2021-12-02 143 struct gpio_desc *gpio_reset; 0bb12606c05fe9 Antoniu Miclaus 2021-12-02 144 struct regulator *reg_avdd; 0bb12606c05fe9 Antoniu Miclaus 2021-12-02 145 struct regulator *reg_vdrive; 0bb12606c05fe9 Antoniu Miclaus 2021-12-02 146 u8 page_select; 0bb12606c05fe9 Antoniu Miclaus 2021-12-02 147 u8 data[3] ____cacheline_aligned; 0bb12606c05fe9 Antoniu Miclaus 2021-12-02 148 }; 0bb12606c05fe9 Antoniu Miclaus 2021-12-02 149 -- 0-DAY CI Kernel Test Service https://01.org/lkp _______________________________________________ kbuild mailing list -- kbuild@lists.01.org To unsubscribe send an email to kbuild-le...@lists.01.org