Hi Dan,

On Wed, Jun 10, 2015 at 02:02:44PM +0300, Dan Carpenter wrote:
> This is a semi-automatic email about new static checker warnings.
> 
> The patch eeae3fba3afe: "iommu: Introduce iommu_request_dm_for_dev()" 
> from May 28, 2015, leads to the following Smatch complaint:
> 
> drivers/iommu/iommu.c:1581 iommu_request_dm_for_dev()
>        error: we previously assumed 'group->default_domain' could be null 
> (see line 1558)

Thanks for the report, I folded a fix back into the patch introducing
this function.


        Joerg

_______________________________________________
iommu mailing list
iommu@lists.linux-foundation.org
https://lists.linuxfoundation.org/mailman/listinfo/iommu

Reply via email to