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