Smatch reports for zynqmp video driver

Andrew Goodbody andrew.goodbody at linaro.org
Wed Oct 1 16:03:31 CEST 2025


Smatch reports the following two issues

drivers/video/zynqmp/zynqmp_dpsub.c:271 config_gfx_pipeline() error: 
uninitialized symbol 'offset_matrix'.
drivers/video/zynqmp/zynqmp_dpsub.c:277 config_gfx_pipeline() error: 
uninitialized symbol 'csc_matrix'.

Looking at the code, offset_matrix and csc_matrix are only initialised 
if video->is_rgb is true. It looks almost as if the code for 
video->is_rgb being false was never written. So I am not sure of the 
correct fix for this.

Andrew


More information about the U-Boot mailing list