CC: l...@lists.linux.dev
CC: kbuild-...@lists.01.org
CC: linux-ker...@vger.kernel.org
TO: Christoph Hellwig <h...@lst.de>
CC: Keith Busch <kbu...@kernel.org>
CC: "Javier González" <javier.g...@samsung.com>
CC: Chaitanya Kulkarni <chaitanya.kulka...@wdc.com>

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git 
master
head:   79a72162048e42a677bc7336a9f5d86fc3ff9558
commit: 2405252a680e2151046f4f256d706c3ca92fedef nvme: move the ioctl code to a 
separate file
date:   8 months ago
:::::: branch date: 12 hours ago
:::::: commit date: 8 months ago
config: mips-randconfig-c004-20211203 
(https://download.01.org/0day-ci/archive/20211205/202112052142.jqvlrfgr-...@intel.com/config)
compiler: clang version 14.0.0 (https://github.com/llvm/llvm-project 
1e328b06c15273edf4a40a27ca24931b5efb3a87)
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 mips cross compiling tool for clang build
        # apt-get install binutils-mips-linux-gnu
        # 
https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=2405252a680e2151046f4f256d706c3ca92fedef
        git remote add linus 
https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
        git fetch --no-tags linus master
        git checkout 2405252a680e2151046f4f256d706c3ca92fedef
        # save the config file to linux build tree
        COMPILER_INSTALL_PATH=$HOME/0day COMPILER=clang make.cross ARCH=mips 
clang-analyzer 

If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <l...@intel.com>


clang-analyzer warnings: (new ones prefixed by >>)
   drivers/usb/host/ehci-q.c:792:2: note: Taking false branch
           if (maxp > 1024) {
           ^
   drivers/usb/host/ehci-q.c:805:6: note: Assuming 'type' is equal to 
PIPE_INTERRUPT
           if (type == PIPE_INTERRUPT) {
               ^~~~~~~~~~~~~~~~~~~~~~
   drivers/usb/host/ehci-q.c:805:2: note: Taking true branch
           if (type == PIPE_INTERRUPT) {
           ^
   drivers/usb/host/ehci-q.c:812:7: note: Assuming field 'speed' is not equal 
to USB_SPEED_HIGH
                   if (urb->dev->speed == USB_SPEED_HIGH) {
                       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   drivers/usb/host/ehci-q.c:812:3: note: Taking false branch
                   if (urb->dev->speed == USB_SPEED_HIGH) {
                   ^
   drivers/usb/host/ehci-q.c:842:8: note: 'is_input' is 0
                           if (is_input) {         // SPLIT, gap, CSPLIT+DATA
                               ^~~~~~~~
   drivers/usb/host/ehci-q.c:842:4: note: Taking false branch
                           if (is_input) {         // SPLIT, gap, CSPLIT+DATA
                           ^
   drivers/usb/host/ehci-q.c:850:17: note: Assuming 'tt' is null
                           think_time = tt ? tt->think_time : 0;
                                        ^~
   drivers/usb/host/ehci-q.c:850:17: note: '?' condition is false
   drivers/usb/host/ehci-q.c:854:8: note: Assuming field 'interval' is <= field 
'periodic_size'
                           if (urb->interval > ehci->periodic_size)
                               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   drivers/usb/host/ehci-q.c:854:4: note: Taking false branch
                           if (urb->interval > ehci->periodic_size)
                           ^
   drivers/usb/host/ehci-q.c:859:10: note: Assuming '__UNIQUE_ID___x396' is >= 
'__UNIQUE_ID___y397'
                           tmp = min_t(unsigned, EHCI_BANDWIDTH_FRAMES,
                                 ^
   include/linux/minmax.h:110:27: note: expanded from macro 'min_t'
   #define min_t(type, x, y)       __careful_cmp((type)(x), (type)(y), <)
                                   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   include/linux/minmax.h:44:3: note: expanded from macro '__careful_cmp'
                   __cmp_once(x, y, __UNIQUE_ID(__x), __UNIQUE_ID(__y), op))
                   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   include/linux/minmax.h:39:3: note: expanded from macro '__cmp_once'
                   __cmp(unique_x, unique_y, op); })
                   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   include/linux/minmax.h:34:26: note: expanded from macro '__cmp'
   #define __cmp(x, y, op) ((x) op (y) ? (x) : (y))
                            ^~~~~~~~~~
   drivers/usb/host/ehci-q.c:859:10: note: '?' condition is false
                           tmp = min_t(unsigned, EHCI_BANDWIDTH_FRAMES,
                                 ^
   include/linux/minmax.h:110:27: note: expanded from macro 'min_t'
   #define min_t(type, x, y)       __careful_cmp((type)(x), (type)(y), <)
                                   ^
   include/linux/minmax.h:44:3: note: expanded from macro '__careful_cmp'
                   __cmp_once(x, y, __UNIQUE_ID(__x), __UNIQUE_ID(__y), op))
                   ^
   include/linux/minmax.h:39:3: note: expanded from macro '__cmp_once'
                   __cmp(unique_x, unique_y, op); })
                   ^
   include/linux/minmax.h:34:26: note: expanded from macro '__cmp'
   #define __cmp(x, y, op) ((x) op (y) ? (x) : (y))
                            ^
   drivers/usb/host/ehci-q.c:861:10: note: '?' condition is false
                           tmp = rounddown_pow_of_two(tmp);
                                 ^
   include/linux/log2.h:193:2: note: expanded from macro 'rounddown_pow_of_two'
           __builtin_constant_p(n) ? (             \
           ^
   drivers/usb/host/ehci-q.c:861:10: note: Calling '__rounddown_pow_of_two'
                           tmp = rounddown_pow_of_two(tmp);
                                 ^
   include/linux/log2.h:195:2: note: expanded from macro 'rounddown_pow_of_two'
           __rounddown_pow_of_two(n)               \
           ^~~~~~~~~~~~~~~~~~~~~~~~~
   include/linux/log2.h:67:13: note: The result of the left shift is undefined 
due to shifting by '4294967295', which is greater or equal to the width of type 
'unsigned long'
           return 1UL << (fls_long(n) - 1);
                      ^  ~~~~~~~~~~~~~~~~~
   Suppressed 5 warnings (5 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.
   4 warnings generated.
   Suppressed 4 warnings (4 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.
   4 warnings generated.
   Suppressed 4 warnings (4 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.
   5 warnings generated.
   drivers/base/regmap/regmap-mmio.c:52:3: warning: Value stored to 
'min_stride' is never read [clang-analyzer-deadcode.DeadStores]
                   min_stride = 0;
                   ^            ~
   drivers/base/regmap/regmap-mmio.c:52:3: note: Value stored to 'min_stride' 
is never read
                   min_stride = 0;
                   ^            ~
   Suppressed 4 warnings (4 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.
   5 warnings generated.
   Suppressed 5 warnings (5 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.
   11 warnings generated.
   Suppressed 11 warnings (11 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.
   8 warnings generated.
>> drivers/nvme/host/ioctl.c:193:6: warning: Branch condition evaluates to a 
>> garbage value [clang-analyzer-core.uninitialized.Branch]
           if (cmd.flags)
               ^
   drivers/nvme/host/ioctl.c:437:2: note: Control jumps to 'case 3225964097:'  
at line 438
           switch (cmd) {
           ^
   drivers/nvme/host/ioctl.c:439:10: note: Calling 'nvme_user_cmd'
                   return nvme_user_cmd(ctrl, NULL, argp);
                          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   drivers/nvme/host/ioctl.c:189:6: note: Assuming the condition is false
           if (!capable(CAP_SYS_ADMIN))
               ^~~~~~~~~~~~~~~~~~~~~~~
   drivers/nvme/host/ioctl.c:189:2: note: Taking false branch
           if (!capable(CAP_SYS_ADMIN))
           ^
   drivers/nvme/host/ioctl.c:191:6: note: Calling 'copy_from_user'
           if (copy_from_user(&cmd, ucmd, sizeof(cmd)))
               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   include/linux/uaccess.h:191:2: note: Taking true branch
           if (likely(check_copy_size(to, n, false)))
           ^
   include/linux/uaccess.h:192:7: note: Calling '_copy_from_user'
                   n = _copy_from_user(to, from, n);
                       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
   include/linux/uaccess.h:157:7: note: Calling 'should_fail_usercopy'
           if (!should_fail_usercopy() && likely(access_ok(from, n))) {
                ^~~~~~~~~~~~~~~~~~~~~~
   include/linux/fault-inject-usercopy.h:18:49: note: Returning zero, which 
participates in a condition later
   static inline bool should_fail_usercopy(void) { return false; }
                                                   ^~~~~~~~~~~~
   include/linux/uaccess.h:157:7: note: Returning from 'should_fail_usercopy'
           if (!should_fail_usercopy() && likely(access_ok(from, n))) {
                ^~~~~~~~~~~~~~~~~~~~~~
   include/linux/uaccess.h:157:6: note: Left side of '&&' is true
           if (!should_fail_usercopy() && likely(access_ok(from, n))) {
               ^
   include/linux/uaccess.h:157:33: note: Assuming the condition is false
           if (!should_fail_usercopy() && likely(access_ok(from, n))) {
                                          ^
   include/linux/compiler.h:45:22: note: expanded from macro 'likely'
   #  define likely(x)     (__branch_check__(x, 1, __builtin_constant_p(x)))
                            ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   include/linux/compiler.h:33:32: note: expanded from macro '__branch_check__'
                           ______r = __builtin_expect(!!(x), expect);      \
                                                       ^~~~
   include/linux/uaccess.h:157:2: note: Taking true branch
           if (!should_fail_usercopy() && likely(access_ok(from, n))) {
           ^
   include/linux/uaccess.h:159:9: note: Calling 'raw_copy_from_user'
                   res = raw_copy_from_user(to, from, n);
                         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   arch/mips/include/asm/uaccess.h:616:2: note: Taking false branch
           if (eva_kernel_access())
           ^
   arch/mips/include/asm/uaccess.h:619:3: note: Returning without writing to 
'to->flags'
                   return __invoke_copy_from_user(to, from, n);
                   ^
   include/linux/uaccess.h:159:9: note: Returning from 'raw_copy_from_user'
                   res = raw_copy_from_user(to, from, n);
                         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   include/linux/uaccess.h:161:6: note: Assuming 'res' is 0, which participates 
in a condition later
           if (unlikely(res))
               ^
   include/linux/compiler.h:48:24: note: expanded from macro 'unlikely'
   #  define unlikely(x)   (__branch_check__(x, 0, __builtin_constant_p(x)))
                            ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   include/linux/compiler.h:33:32: note: expanded from macro '__branch_check__'
                           ______r = __builtin_expect(!!(x), expect);      \
                                                       ^~~~
   include/linux/uaccess.h:161:2: note: Taking false branch
           if (unlikely(res))
           ^
   include/linux/uaccess.h:163:2: note: Returning without writing to 'to->flags'
           return res;
           ^
   include/linux/uaccess.h:163:2: note: Returning zero (loaded from 'res'), 
which participates in a condition later
           return res;
           ^~~~~~~~~~
   include/linux/uaccess.h:192:7: note: Returning from '_copy_from_user'
                   n = _copy_from_user(to, from, n);
                       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
   include/linux/uaccess.h:193:2: note: Returning without writing to 'to->flags'
           return n;
           ^
   include/linux/uaccess.h:193:2: note: Returning zero (loaded from 'n'), which 
participates in a condition later
           return n;
           ^~~~~~~~
   drivers/nvme/host/ioctl.c:191:6: note: Returning from 'copy_from_user'
           if (copy_from_user(&cmd, ucmd, sizeof(cmd)))
               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   drivers/nvme/host/ioctl.c:191:2: note: Taking false branch
           if (copy_from_user(&cmd, ucmd, sizeof(cmd)))
           ^
   drivers/nvme/host/ioctl.c:193:6: note: Branch condition evaluates to a 
garbage value
           if (cmd.flags)
               ^~~~~~~~~
   drivers/nvme/host/ioctl.c:224:7: warning: Assigned value is garbage or 
undefined [clang-analyzer-core.uninitialized.Assign]
                   if (put_user(result, &ucmd->result))
                       ^
   arch/mips/include/asm/uaccess.h:154:2: note: expanded from macro 'put_user'
           __put_user_check((x), (ptr), sizeof(*(ptr)))

vim +193 drivers/nvme/host/ioctl.c

2405252a680e21 Christoph Hellwig 2021-04-10  179  
2405252a680e21 Christoph Hellwig 2021-04-10  180  static int 
nvme_user_cmd(struct nvme_ctrl *ctrl, struct nvme_ns *ns,
2405252a680e21 Christoph Hellwig 2021-04-10  181                        struct 
nvme_passthru_cmd __user *ucmd)
2405252a680e21 Christoph Hellwig 2021-04-10  182  {
2405252a680e21 Christoph Hellwig 2021-04-10  183        struct 
nvme_passthru_cmd cmd;
2405252a680e21 Christoph Hellwig 2021-04-10  184        struct nvme_command c;
2405252a680e21 Christoph Hellwig 2021-04-10  185        unsigned timeout = 0;
2405252a680e21 Christoph Hellwig 2021-04-10  186        u64 result;
2405252a680e21 Christoph Hellwig 2021-04-10  187        int status;
2405252a680e21 Christoph Hellwig 2021-04-10  188  
2405252a680e21 Christoph Hellwig 2021-04-10  189        if 
(!capable(CAP_SYS_ADMIN))
2405252a680e21 Christoph Hellwig 2021-04-10  190                return -EACCES;
2405252a680e21 Christoph Hellwig 2021-04-10  191        if 
(copy_from_user(&cmd, ucmd, sizeof(cmd)))
2405252a680e21 Christoph Hellwig 2021-04-10  192                return -EFAULT;
2405252a680e21 Christoph Hellwig 2021-04-10 @193        if (cmd.flags)
2405252a680e21 Christoph Hellwig 2021-04-10  194                return -EINVAL;
2405252a680e21 Christoph Hellwig 2021-04-10  195        if (ns && cmd.nsid != 
ns->head->ns_id) {
2405252a680e21 Christoph Hellwig 2021-04-10  196                
dev_err(ctrl->device,
2405252a680e21 Christoph Hellwig 2021-04-10  197                        "%s: 
nsid (%u) in cmd does not match nsid (%u) of namespace\n",
2405252a680e21 Christoph Hellwig 2021-04-10  198                        
current->comm, cmd.nsid, ns->head->ns_id);
2405252a680e21 Christoph Hellwig 2021-04-10  199                return -EINVAL;
2405252a680e21 Christoph Hellwig 2021-04-10  200        }
2405252a680e21 Christoph Hellwig 2021-04-10  201  
2405252a680e21 Christoph Hellwig 2021-04-10  202        memset(&c, 0, 
sizeof(c));
2405252a680e21 Christoph Hellwig 2021-04-10  203        c.common.opcode = 
cmd.opcode;
2405252a680e21 Christoph Hellwig 2021-04-10  204        c.common.flags = 
cmd.flags;
2405252a680e21 Christoph Hellwig 2021-04-10  205        c.common.nsid = 
cpu_to_le32(cmd.nsid);
2405252a680e21 Christoph Hellwig 2021-04-10  206        c.common.cdw2[0] = 
cpu_to_le32(cmd.cdw2);
2405252a680e21 Christoph Hellwig 2021-04-10  207        c.common.cdw2[1] = 
cpu_to_le32(cmd.cdw3);
2405252a680e21 Christoph Hellwig 2021-04-10  208        c.common.cdw10 = 
cpu_to_le32(cmd.cdw10);
2405252a680e21 Christoph Hellwig 2021-04-10  209        c.common.cdw11 = 
cpu_to_le32(cmd.cdw11);
2405252a680e21 Christoph Hellwig 2021-04-10  210        c.common.cdw12 = 
cpu_to_le32(cmd.cdw12);
2405252a680e21 Christoph Hellwig 2021-04-10  211        c.common.cdw13 = 
cpu_to_le32(cmd.cdw13);
2405252a680e21 Christoph Hellwig 2021-04-10  212        c.common.cdw14 = 
cpu_to_le32(cmd.cdw14);
2405252a680e21 Christoph Hellwig 2021-04-10  213        c.common.cdw15 = 
cpu_to_le32(cmd.cdw15);
2405252a680e21 Christoph Hellwig 2021-04-10  214  
2405252a680e21 Christoph Hellwig 2021-04-10  215        if (cmd.timeout_ms)
2405252a680e21 Christoph Hellwig 2021-04-10  216                timeout = 
msecs_to_jiffies(cmd.timeout_ms);
2405252a680e21 Christoph Hellwig 2021-04-10  217  
2405252a680e21 Christoph Hellwig 2021-04-10  218        status = 
nvme_submit_user_cmd(ns ? ns->queue : ctrl->admin_q, &c,
2405252a680e21 Christoph Hellwig 2021-04-10  219                        
nvme_to_user_ptr(cmd.addr), cmd.data_len,
2405252a680e21 Christoph Hellwig 2021-04-10  220                        
nvme_to_user_ptr(cmd.metadata), cmd.metadata_len,
2405252a680e21 Christoph Hellwig 2021-04-10  221                        0, 
&result, timeout);
2405252a680e21 Christoph Hellwig 2021-04-10  222  
2405252a680e21 Christoph Hellwig 2021-04-10  223        if (status >= 0) {
2405252a680e21 Christoph Hellwig 2021-04-10  224                if 
(put_user(result, &ucmd->result))
2405252a680e21 Christoph Hellwig 2021-04-10  225                        return 
-EFAULT;
2405252a680e21 Christoph Hellwig 2021-04-10  226        }
2405252a680e21 Christoph Hellwig 2021-04-10  227  
2405252a680e21 Christoph Hellwig 2021-04-10  228        return status;
2405252a680e21 Christoph Hellwig 2021-04-10  229  }
2405252a680e21 Christoph Hellwig 2021-04-10  230  

---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-...@lists.01.org
_______________________________________________
kbuild mailing list -- kbuild@lists.01.org
To unsubscribe send an email to kbuild-le...@lists.01.org

Reply via email to