Smatch is reporting this issuedrivers/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