Files
linux/drivers
Alex Williamson bd885fcf28 vfio: Fix smatch errors in vfio_combine_iova_ranges()
smatch reports:

vfio_combine_iova_ranges() error: uninitialized symbol 'last'.
vfio_combine_iova_ranges() error: potentially dereferencing uninitialized 'comb_end'.
vfio_combine_iova_ranges() error: potentially dereferencing uninitialized 'comb_start'.

These errors are only reachable via invalid input, in the case of
@last when we receive an empty rb-tree or for @comb_{start,end} if the
rb-tree is empty or otherwise fails to produce a second node that
reduces the gap.  Add tests with warnings for these cases.

Reported-by: Cong Liu <liucong2@kylinos.cn>
Link: https://lore.kernel.org/all/20230920095532.88135-1-liucong2@kylinos.cn
Reviewed-by: Jason Gunthorpe <jgg@nvidia.com>
Reviewed-by: Brett Creeley <brett.creeley@amd.com>
Link: https://lore.kernel.org/r/20231002224325.3150842-1-alex.williamson@redhat.com
Signed-off-by: Alex Williamson <alex.williamson@redhat.com>
2023-10-09 15:56:09 -06:00
..
2023-08-22 15:50:57 +02:00
2023-09-28 12:12:07 -06:00
2023-08-24 16:20:30 -07:00
2023-08-30 18:32:24 -07:00
2023-08-18 10:55:49 +05:30
2023-09-11 15:24:16 -07:00
2023-09-19 13:17:52 +01:00
2023-09-21 10:33:49 +02:00
2023-08-24 16:20:18 -07:00
2023-08-21 13:27:44 +02:00