Re: [PATCH 1/1] efivarfs: fix statfs() on efivarfs

From: kernel test robot
Date: Sat Sep 09 2023 - 18:40:05 EST


Hi Heinrich,

kernel test robot noticed the following build warnings:

[auto build test WARNING on linus/master]
[also build test WARNING on v6.5 next-20230908]
[If your patch is applied to the wrong git tree, kindly drop us a note.
And when submitting patch, we suggest to use '--base' as documented in
https://git-scm.com/docs/git-format-patch#_base_tree_information]

url: https://github.com/intel-lab-lkp/linux/commits/Heinrich-Schuchardt/efivarfs-fix-statfs-on-efivarfs/20230910-020949
base: linus/master
patch link: https://lore.kernel.org/r/20230909180812.10904-1-heinrich.schuchardt%40canonical.com
patch subject: [PATCH 1/1] efivarfs: fix statfs() on efivarfs
config: riscv-randconfig-r003-20230910 (https://download.01.org/0day-ci/archive/20230910/202309100610.zLYrHmqr-lkp@xxxxxxxxx/config)
compiler: clang version 14.0.6 (https://github.com/llvm/llvm-project.git f28c006a5895fc0e329fe15fead81e37457cb1d1)
reproduce (this is a W=1 build): (https://download.01.org/0day-ci/archive/20230910/202309100610.zLYrHmqr-lkp@xxxxxxxxx/reproduce)

If you fix the issue in a separate patch/commit (i.e. not just a new version of
the same patch/commit), kindly add following tags
| Reported-by: kernel test robot <lkp@xxxxxxxxx>
| Closes: https://lore.kernel.org/oe-kbuild-all/202309100610.zLYrHmqr-lkp@xxxxxxxxx/

All warnings (new ones prefixed by >>):

>> fs/efivarfs/super.c:45:6: warning: variable 'remaining_space' is used uninitialized whenever 'if' condition is false [-Wsometimes-uninitialized]
if (efi_rt_services_supported(EFI_RT_SUPPORTED_QUERY_VARIABLE_INFO)) {
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
fs/efivarfs/super.c:60:6: note: uninitialized use occurs here
if (remaining_space > efivar_reserved_space())
^~~~~~~~~~~~~~~
fs/efivarfs/super.c:45:2: note: remove the 'if' if its condition is always true
if (efi_rt_services_supported(EFI_RT_SUPPORTED_QUERY_VARIABLE_INFO)) {
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
fs/efivarfs/super.c:32:36: note: initialize the variable 'remaining_space' to silence this warning
u64 storage_space, remaining_space, max_variable_size;
^
= 0
1 warning generated.


vim +45 fs/efivarfs/super.c

26
27 static int efivarfs_statfs(struct dentry *dentry, struct kstatfs *buf)
28 {
29 const u32 attr = EFI_VARIABLE_NON_VOLATILE |
30 EFI_VARIABLE_BOOTSERVICE_ACCESS |
31 EFI_VARIABLE_RUNTIME_ACCESS;
32 u64 storage_space, remaining_space, max_variable_size;
33 efi_status_t status;
34
35 /*
36 * This is not a normal filesystem, so no point in pretending it has a block
37 * size; we declare f_bsize to 1, so that we can then report the exact value
38 * sent by EFI QueryVariableInfo in f_blocks and f_bfree
39 */
40 buf->f_bsize = 1;
41 buf->f_namelen = NAME_MAX;
42 buf->f_type = dentry->d_sb->s_magic;
43
44 /* Some UEFI firmware does not implement QueryVariable() */
> 45 if (efi_rt_services_supported(EFI_RT_SUPPORTED_QUERY_VARIABLE_INFO)) {
46 status = efivar_query_variable_info(attr, &storage_space,
47 &remaining_space,
48 &max_variable_size);
49 if (status == EFI_SUCCESS) {
50 buf->f_blocks = storage_space;
51 buf->f_bfree = remaining_space;
52 }
53 }
54
55 /*
56 * In f_bavail we declare the free space that the kernel will allow writing
57 * when the storage_paranoia x86 quirk is active. To use more, users
58 * should boot the kernel with efi_no_storage_paranoia.
59 */
60 if (remaining_space > efivar_reserved_space())
61 buf->f_bavail = remaining_space - efivar_reserved_space();
62 else
63 buf->f_bavail = 0;
64
65 return 0;
66 }
67 static const struct super_operations efivarfs_ops = {
68 .statfs = efivarfs_statfs,
69 .drop_inode = generic_delete_inode,
70 .evict_inode = efivarfs_evict_inode,
71 };
72

--
0-DAY CI Kernel Test Service
https://github.com/intel/lkp-tests/wiki