Hello Joerg Roedel,
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)
drivers/iommu/iommu.c
1557 /* Check if the default domain is already direct mapped */
1558 ret = 0;
1559 if (group->default_domain &&
^^^^^^^^^^^^^^^^^^^^^
Check for NULL.
1560 group->default_domain->type == IOMMU_DOMAIN_IDENTITY)
1561 goto out;
1562
1563 /* Don't change mappings of existing devices */
1564 ret = -EBUSY;
1565 if (iommu_group_device_count(group) != 1)
1566 goto out;
1567
1568 /* Allocate a direct mapped domain */
1569 ret = -ENOMEM;
1570 dm_domain = __iommu_domain_alloc(dev->bus,
IOMMU_DOMAIN_IDENTITY);
1571 if (!dm_domain)
1572 goto out;
1573
1574 /* Attach the device to the domain */
1575 ret = __iommu_attach_group(dm_domain, group);
1576 if (ret) {
1577 iommu_domain_free(dm_domain);
1578 goto out;
1579 }
1580
1581 /* Make the direct mapped domain the default for this group */
1582 iommu_domain_free(group->default_domain);
^^^^^^^^^^^^^^^^^^^^^
Dereferenced inside function.
1583 group->default_domain = dm_domain;
regards,
dan carpenter
_______________________________________________
iommu mailing list
[email protected]
https://lists.linuxfoundation.org/mailman/listinfo/iommu
