On Wed, 2021-08-11 at 06:16 -0700, Tuo Li wrote: > In the function mega_mod64(). the variable is checked in: > if (!divisor) > > This indicates that divisor can be zero. > If so, a divide-by-zero bug will occur: > remainder = do_div(d, divisor); > > Also, in the function mega_div64_32(), a divide-by-zero bug can also > occur if divisor is NULL. > > To fix these divide-by-zero bugs, the functions return 0 if divisor > is zero. How exactly is this fixing anything? Simply returning zero because there is a dividion by zero isn't a fix unless you know what that return is going to do. If you look at the inputs to all the mega_div/mod functions, they're already checked for zero divisor before calling, so the error handling is already being done correctly and this "fix" would add nothing to that. You can argue that the check and print is pointless since the condition never occurs, but it's not exactly fast path code. James
