tree:   https://github.com/awilliam/linux-vfio.git next
head:   f54e0bcf65bf7d2015e1aa1c6353e5feb71c3654
commit: f54e0bcf65bf7d2015e1aa1c6353e5feb71c3654 [15/15] vfio: Include No-IOMMU 
mode


coccinelle warnings: (new ones prefixed by >>)

>> drivers/vfio/vfio.c:1002:32-35: ERROR: driver is NULL but dereferenced.

vim +1002 drivers/vfio/vfio.c

0b43c082 Alex Williamson 2013-04-29   986       
down_read(&container->group_lock);
0b43c082 Alex Williamson 2013-04-29   987  
0b43c082 Alex Williamson 2013-04-29   988       driver = 
container->iommu_driver;
0b43c082 Alex Williamson 2013-04-29   989  
cba3345c Alex Williamson 2012-07-31   990       switch (arg) {
cba3345c Alex Williamson 2012-07-31   991               /* No base extensions 
yet */
cba3345c Alex Williamson 2012-07-31   992       default:
cba3345c Alex Williamson 2012-07-31   993               /*
cba3345c Alex Williamson 2012-07-31   994                * If no driver is set, 
poll all registered drivers for
cba3345c Alex Williamson 2012-07-31   995                * extensions and 
return the first positive result.  If
cba3345c Alex Williamson 2012-07-31   996                * a driver is already 
set, further queries will be passed
cba3345c Alex Williamson 2012-07-31   997                * only to that driver.
cba3345c Alex Williamson 2012-07-31   998                */
cba3345c Alex Williamson 2012-07-31   999               if (!driver) {
cba3345c Alex Williamson 2012-07-31  1000                       
mutex_lock(&vfio.iommu_drivers_lock);
f54e0bcf Alex Williamson 2015-10-15  1001                       
vfio_for_each_iommu_driver(container, driver) {
cba3345c Alex Williamson 2012-07-31 @1002                               if 
(!try_module_get(driver->ops->owner))
cba3345c Alex Williamson 2012-07-31  1003                                       
continue;
cba3345c Alex Williamson 2012-07-31  1004  
cba3345c Alex Williamson 2012-07-31  1005                               ret = 
driver->ops->ioctl(NULL,
cba3345c Alex Williamson 2012-07-31  1006                                       
                 VFIO_CHECK_EXTENSION,
cba3345c Alex Williamson 2012-07-31  1007                                       
                 arg);
cba3345c Alex Williamson 2012-07-31  1008                               
module_put(driver->ops->owner);
cba3345c Alex Williamson 2012-07-31  1009                               if (ret 
> 0)
cba3345c Alex Williamson 2012-07-31  1010                                       
break;

:::::: The code at line 1002 was first introduced by commit
:::::: cba3345cc494ad286ca8823f44b2c16cae496679 vfio: VFIO core

:::::: TO: Alex Williamson <alex.william...@redhat.com>
:::::: CC: Alex Williamson <alex.william...@redhat.com>

---
0-DAY kernel test infrastructure                Open Source Technology Center
https://lists.01.org/pipermail/kbuild-all                   Intel Corporation
--
To unsubscribe from this list: send the line "unsubscribe kvm" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to