8:10 p.m.
Hi Toke,
url:
https://github.com/0day-ci/linux/commits/Toke-H-iland-J-rgensen/bpf-Suppo...
base: https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next.git master
config: x86_64-randconfig-m001-20200715 (attached as .config)
compiler: gcc-9 (Debian 9.3.0-14) 9.3.0
If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp(a)intel.com>
Reported-by: Dan Carpenter <dan.carpenter(a)oracle.com>
smatch warnings:
include/linux/bpf_verifier.h:351 bpf_verifier_log_needed() error: we previously assumed
'log' could be null (see line 350)
include/linux/bpf_verifier.h:351 bpf_verifier_log_needed() error: we previously assumed
'log' could be null (see line 350)
# https://github.com/0day-ci/linux/commit/e33243ff1dd2cbb3628e4044dd9e00a6a...
git remote add linux-review https://github.com/0day-ci/linux
git remote update linux-review
git checkout e33243ff1dd2cbb3628e4044dd9e00a6abf99c7e
vim +/log +351 include/linux/bpf_verifier.h
06ee7115b0d174 Alexei Starovoitov 2019-04-01 347
77d2e05abd4588 Martin KaFai Lau 2018-03-24 348 static inline bool
bpf_verifier_log_needed(const struct bpf_verifier_log *log)
77d2e05abd4588 Martin KaFai Lau 2018-03-24 349 {
e33243ff1dd2cb Toke Høiland-Jørgensen 2020-07-15 @350 return (log &&
log->level && log->ubuf && !bpf_verifier_log_full(log)) ||
^^^
If "log" is NULL
8580ac9404f624 Alexei Starovoitov 2019-10-15 @351 log->level == BPF_LOG_KERNEL;
^^^^^^^^^^
then we are toasted.
77d2e05abd4588 Martin KaFai Lau 2018-03-24 352 }
77d2e05abd4588 Martin KaFai Lau 2018-03-24 353
---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org