Smatch is reporting this issue drivers/fpga/socfpga_arria10.c:536 get_rbf_image_info() warn: ignoring unreachable code. Looking at the code, that for loop is a bit strange and I am not sure what was intended here. Could you please take a look? Thanks, Andrew