:::::: :::::: Manual check reason: "low confidence static check warning: include/linux/bpf_verifier.h:348:26: sparse: sparse: dubious one-bit signed bitfield" ::::::
CC: [email protected] BCC: [email protected] In-Reply-To: <[email protected]> References: <[email protected]> TO: Eduard Zingerman <[email protected]> TO: [email protected] TO: [email protected] TO: [email protected] TO: [email protected] TO: [email protected] TO: [email protected] TO: [email protected] CC: [email protected] Hi Eduard, Thank you for the patch! Perhaps something to improve: [auto build test WARNING on bpf-next/master] url: https://github.com/intel-lab-lkp/linux/commits/Eduard-Zingerman/bpf_loop-inlining/20220614-051405 base: https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next.git master :::::: branch date: 4 days ago :::::: commit date: 4 days ago config: i386-randconfig-s002 (https://download.01.org/0day-ci/archive/20220617/[email protected]/config) compiler: gcc-11 (Debian 11.3.0-3) 11.3.0 reproduce: # apt-get install sparse # sparse version: v0.6.4-30-g92122700-dirty # https://github.com/intel-lab-lkp/linux/commit/743c1f24e0257d653274ebf1b2cd0b62a0ea591d git remote add linux-review https://github.com/intel-lab-lkp/linux git fetch --no-tags linux-review Eduard-Zingerman/bpf_loop-inlining/20220614-051405 git checkout 743c1f24e0257d653274ebf1b2cd0b62a0ea591d # save the config file mkdir build_dir && cp config build_dir/.config make W=1 C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=i386 SHELL=/bin/bash kernel/bpf/ If you fix the issue, kindly add following tag where applicable Reported-by: kernel test robot <[email protected]> sparse warnings: (new ones prefixed by >>) kernel/bpf/core.c: note: in included file: >> include/linux/bpf_verifier.h:348:26: sparse: sparse: dubious one-bit signed >> bitfield include/linux/bpf_verifier.h:349:29: sparse: sparse: dubious one-bit signed bitfield kernel/bpf/core.c:221:49: sparse: sparse: arithmetics on pointers to functions kernel/bpf/core.c:1850:43: sparse: sparse: arithmetics on pointers to functions kernel/bpf/core.c:1855:48: sparse: sparse: arithmetics on pointers to functions kernel/bpf/core.c:2103:77: sparse: sparse: subtraction of functions? Share your drugs kernel/bpf/core.c: note: in included file (through include/linux/rbtree_latch.h, include/linux/bpf.h, include/linux/filter.h): include/linux/rbtree.h:74:9: sparse: sparse: incompatible types in comparison expression (different address spaces): include/linux/rbtree.h:74:9: sparse: struct rb_node [noderef] __rcu * include/linux/rbtree.h:74:9: sparse: struct rb_node * include/linux/rbtree.h:74:9: sparse: sparse: incompatible types in comparison expression (different address spaces): include/linux/rbtree.h:74:9: sparse: struct rb_node [noderef] __rcu * include/linux/rbtree.h:74:9: sparse: struct rb_node * vim +348 include/linux/bpf_verifier.h 58e2af8b3a6b58 Jakub Kicinski 2016-09-21 346 743c1f24e0257d Eduard Zingerman 2022-06-13 347 struct bpf_loop_inline_state { 743c1f24e0257d Eduard Zingerman 2022-06-13 @348 int initialized:1; /* set to true upon first entry */ 743c1f24e0257d Eduard Zingerman 2022-06-13 349 int fit_for_inline:1; /* true if callback function is the same 743c1f24e0257d Eduard Zingerman 2022-06-13 350 * at each call and flags are always zero 743c1f24e0257d Eduard Zingerman 2022-06-13 351 */ 743c1f24e0257d Eduard Zingerman 2022-06-13 352 u32 callback_subprogno; /* valid when fit_for_inline is true */ 743c1f24e0257d Eduard Zingerman 2022-06-13 353 }; 743c1f24e0257d Eduard Zingerman 2022-06-13 354 -- 0-DAY CI Kernel Test Service https://01.org/lkp _______________________________________________ kbuild mailing list -- [email protected] To unsubscribe send an email to [email protected]
