[PATCH] drm/amd/display: remove an unnecessary NULL check

2023-03-06 Thread Danila Chernetsov
The 'pipe' can't be NULL because it points to an element of array. Found by Linux Verification Center (linuxtesting.org) with SVACE. Fixed: 7cf2c840c6b5 (drm/amd/display: Commit validation set from state) Signed-off-by: Danila Chernetsov --- drivers/gpu/drm/amd/display/dc/core

[no subject]

2023-03-11 Thread Danila Chernetsov
when an error occurs. Found by Linux Verification Center (linuxtesting.org) with SVACE. Fixes: d38ceaf99ed0 (drm/amdgpu: add core driver (v4)) Signed-off-by: Danila Chernetsov --- drivers/gpu/drm/amd/amdgpu/amdgpu_fb.c | 13 +++-- 1 file changed, 11

[PATCH v5.10 1/1] drm/amdgpu: add error handling for drm_fb_helper_initial_config

2023-03-12 Thread Danila Chernetsov
/amdgpu: add core driver (v4)) Signed-off-by: Danila Chernetsov --- drivers/gpu/drm/amd/amdgpu/amdgpu_fb.c | 13 +++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/drivers/gpu/drm/amd/amdgpu/amdgpu_fb.c b/drivers/gpu/drm/amd/amdgpu/amdgpu_fb.c index 43f29ee0e3b0..e445a2c9f569

[PATCH] drm/etnaviv: Added error handling for dma_map_sgtable.

2023-11-26 Thread Danila Chernetsov
Added error handling for dma_map_sgtable. If an error occurs, the sgt table is freed. Found by Linux Verification Center (linuxtesting.org) with static analysis tool SVACE. Fixes: 182354a526a0 ("drm: etnaviv: fix common struct sg_table related issues") Signed-off-by: Danila

[PATCH] video: fbdev: sm501fb: Add some geometry checks.

2025-03-18 Thread Danila Chernetsov
Added checks for xoffset, yoffset settings. Incorrect settings of these parameters can lead to errors in sm501fb_pan_ functions. Found by Linux Verification Center (linuxtesting.org) with SVACE. Fixes: 5fc404e47bdf ("[PATCH] fb: SM501 framebuffer driver") Signed-off-by: Danila

[PATCH] video: fbdev: kyro: Add some geometry checks.

2025-04-05 Thread Danila Chernetsov
The check protects against division by 0, integer wraparound, and overflow Start/End window settings. Found by Linux Verification Center (linuxtesting.org) with SVACE. Fixes: 1da177e4c3f4 ("Linux-2.6.12-rc2") Signed-off-by: Danila Chernetsov --- drivers/video/fbdev/kyro/fbdev.c | 7