On Tue, Apr 13, 2021 at 12:30:50PM +0800, kernel test robot wrote: > smatch warnings: > kernel/cgroup/misc.c:61 valid_type() warn: unsigned 'type' is never less than zero. > kernel/cgroup/misc.c:210 misc_cg_max_show() warn: we never enter this loop > kernel/cgroup/misc.c:257 misc_cg_max_write() warn: we never enter this loop > kernel/cgroup/misc.c:299 misc_cg_current_show() warn: we never enter this loop > kernel/cgroup/misc.c:323 misc_cg_capacity_show() warn: we never enter this loop > kernel/cgroup/misc.c:376 misc_cg_alloc() warn: we never enter this loop > kernel/cgroup/misc.c:376 misc_cg_alloc() warn: unsigned 'i' is never less than zero. > kernel/cgroup/misc.c:376 misc_cg_alloc() warn: unsigned 'i' is never less than zero. > Tejun, Should this be ignored because MISC_CG_RES_TYPES is 0 as no resource is defined but the code has 'for' loops and condition checks which are valid? If there is a way to fix these let me know, I will make the change. Thanks Vipin
