CC: [email protected]
CC: Linux Memory Management List <[email protected]>
TO: Christy Lee <[email protected]>
CC: Alexei Starovoitov <[email protected]>

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git 
master
head:   7a769a3922d81cfc74ab4d90a9cc69485f260976
commit: 0f55f9ed21f96630c6ec96805d42f92c0b458b37 [7391/10864] bpf: Only print 
scratched registers and stack slots to verifier logs.
:::::: branch date: 16 hours ago
:::::: commit date: 3 weeks ago
config: xtensa-randconfig-m031-20220105 
(https://download.01.org/0day-ci/archive/20220106/[email protected]/config)
compiler: xtensa-linux-gcc (GCC) 11.2.0

If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <[email protected]>
Reported-by: Dan Carpenter <[email protected]>

New smatch warnings:
kernel/bpf/verifier.c:619 mark_stack_slot_scratched() warn: should '1 << spi' 
be a 64 bit type?

Old smatch warnings:
arch/xtensa/include/asm/thread_info.h:91 current_thread_info() warn: 
inconsistent indenting

vim +619 kernel/bpf/verifier.c

0f55f9ed21f9663 Christy Lee 2021-12-16  616  
0f55f9ed21f9663 Christy Lee 2021-12-16  617  static void 
mark_stack_slot_scratched(struct bpf_verifier_env *env, u32 spi)
0f55f9ed21f9663 Christy Lee 2021-12-16  618  {
0f55f9ed21f9663 Christy Lee 2021-12-16 @619     env->scratched_stack_slots |= 
1UL << spi;
0f55f9ed21f9663 Christy Lee 2021-12-16  620  }
0f55f9ed21f9663 Christy Lee 2021-12-16  621  

---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/[email protected]
_______________________________________________
kbuild mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to