On Jul 8, 2015, at 4:28 AM, Dan Carpenter wrote: > On Mon, Jul 06, 2015 at 12:48:53PM -0400, gr...@linuxhacker.ru wrote: >> +static int param_set_uint_minmax(const char *val, >> + const struct kernel_param *kp, >> + unsigned int min, unsigned int max) >> +{ >> + unsigned int num; >> + int ret; >> + >> + if (!val) >> + return -EINVAL; >> + ret = kstrtouint(val, 0, &num); >> + if (ret == -EINVAL || num < min || num > max) > ^^^ > Smatch is smart enough to know that "num" can be uninitialized here on > some paths. It doesn't generate a warning yet because a lot of the > kernel has error paths where we mostly assume things won't fail. > > It should probably be: > > ret = kstrtouint(val, 0, &num); > if (ret) > return ret; > if (num < min || num > max) > return -EINVAL;
Hm, indeed kstrtouint can return errors other than -EINVAL. In reality this code comes from net/sunrpc/xprtsock.c and I failed to see the problem there while copying. This also suggests that the type is might be enough in demand to make it generic so that people don't reimplement it themselves? Thanks! Bye, Oleg -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/