Message ID | 1553954142-65515-1-git-send-email-nixiaoming@huawei.com (mailing list archive) |
---|---|
State | Changes Requested, archived |
Headers | show |
Series | [v3,1/2] clk:Fix divide-by-zero in divider_ro_round_rate_parent | expand |
Quoting nixiaoming (2019-03-30 06:55:42) > The _get_div() function has a branch with a return value of 0 > Add a check on the return value of _get_div() to avoid divide-by-zero > Are you seeing this in practice? Or just trying to avoid a div-by-zero case that you've found from inspection? > Signed-off-by: nixiaoming <nixiaoming@huawei.com> > Reviewed-by: Mukesh Ojha <mojha@codeaurora.org>
On Wed, Apr 24, 2019 at 7:00 AM Stephen Boyd <sboyd@kernel.org> wrote: >Quoting nixiaoming (2019-03-30 06:55:42) >> The _get_div() function has a branch with a return value of 0 >> Add a check on the return value of _get_div() to avoid divide-by-zero >> > >Are you seeing this in practice? Or just trying to avoid a div-by-zero >case that you've found from inspection? > This potential bug is found by code inspection. _get_div() is defined as a static function which is only refered twice in drivers/clk/mmp/clk-mix.c. In both cases the return value of _get_div() is used as divider without any check. If _get_div() never returns 0, then the branch returning 0 is dead code, or the return value should be check to avoid dividing by zero error. thanks >> Signed-off-by: nixiaoming <nixiaoming@huawei.com> >> Reviewed-by: Mukesh Ojha <mojha@codeaurora.org> >
Quoting Nixiaoming (2019-04-24 08:34:54) > On Wed, Apr 24, 2019 at 7:00 AM Stephen Boyd <sboyd@kernel.org> wrote: > >Quoting nixiaoming (2019-03-30 06:55:42) > >> The _get_div() function has a branch with a return value of 0 > >> Add a check on the return value of _get_div() to avoid divide-by-zero > >> > > > >Are you seeing this in practice? Or just trying to avoid a div-by-zero > >case that you've found from inspection? > > > This potential bug is found by code inspection. > _get_div() is defined as a static function which is only refered twice > in drivers/clk/mmp/clk-mix.c. In both cases the return value of _get_div() > is used as divider without any check. > If _get_div() never returns 0, then the branch returning 0 is dead code, > or the return value should be check to avoid dividing by zero error. > Ok. If it's found by code inspection then I'd rather wait until someone can confirm what the behavior should be when _get_div() returns 0. Is it an error case that never happens or does the hardware support 0 as a divider value meaning "bypass"? I'd like to understand that before patching up a potential div-by-zero case and not knowing what it means.
diff --git a/drivers/clk/mmp/clk-mix.c b/drivers/clk/mmp/clk-mix.c index 90814b2..6ed5ad7 100644 --- a/drivers/clk/mmp/clk-mix.c +++ b/drivers/clk/mmp/clk-mix.c @@ -245,6 +245,9 @@ static int mmp_clk_mix_determine_rate(struct clk_hw *hw, div_val_max = _get_maxdiv(mix); for (j = 0; j < div_val_max; j++) { div = _get_div(mix, j); + /* avoid divide-by-zero */ + if (!div) + continue; mix_rate = parent_rate / div; gap = abs(mix_rate - req->rate); if (!parent_best || gap < gap_best) { @@ -341,6 +344,9 @@ static unsigned long mmp_clk_mix_recalc_rate(struct clk_hw *hw, shift = mix->reg_info.shift_div; div = _get_div(mix, MMP_CLK_BITS_GET_VAL(mux_div, width, shift)); + /* avoid divide-by-zero */ + if (!div) + return -EINVAL; return parent_rate / div; }