On Mon, 2024-04-29 at 16:29 -0700, Eduard Zingerman wrote: > On Mon, 2024-04-29 at 16:16 -0700, Eduard Zingerman wrote: > [...] > > > Still, I'm not sure if we want to remove this safety check. > > ... and if we are going to remove the safety check, > then at-least there should be a warning like there was before the > commit from 2018. Which is almost the same amount of code as current > 'check + invalid flag'. My bad. I've been reminded by Yonghong that adjust_reg_min_max_vals() is called from check_alu_op(), which does reg_bounds_sanity_check() upon return. This patch is fine and there is also no need to change anything in patch #2, as it would be removed. Sorry for the noise. Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx>
