On 20. Mar 2024, at 11:27, Masami Hiramatsu (Google) <mhira...@kernel.org>
wrote:
>
> Hmm, strange, trace_do_benchmark() has another do_div(u64, u64).
>
> do {
> last_seed = seed;
> seed = stddev;
> if (!last_seed)
> break;
> do_div(seed, last_seed);
> seed += last_seed;
> do_div(seed, 2);
> } while (i++ < 10 && last_seed != seed);
>
> Didn't Coccinelle find that?
Coccinelle also finds this one, but please ignore this patch as I just realized
this was already fixed in another patch of mine from February.
Sorry for the inconvenience.
Link:
https://lore.kernel.org/linux-kernel/20240225164507.232942-2-thorsten.b...@toblux.com/
