lists.openwall.net   lists  /  announce  owl-users  owl-dev  john-users  john-dev  passwdqc-users  yescrypt  popa3d-users  /  oss-security  kernel-hardening  musl  sabotage  tlsify  passwords  /  crypt-dev  xvendor  /  Bugtraq  Full-Disclosure  linux-kernel  linux-netdev  linux-ext4  linux-hardening  linux-cve-announce  PHC 
Open Source and information security mailing list archives
 
Hash Suite: Windows password security audit tool. GUI, reports in PDF.
[<prev] [next>] [day] [month] [year] [list]
Date:   Sat, 17 Sep 2022 16:19:58 +0800
From:   kernel test robot <lkp@...el.com>
To:     Daniel Borkmann <daniel@...earbox.net>
Cc:     kbuild-all@...ts.01.org, Daniel Borkmann <daniel@...earbox.net>,
        linux-kernel@...r.kernel.org
Subject: [cilium:pr/bpf-tc-links 1/10] net/core/dev.c:3970:44: sparse:
 sparse: incorrect type in argument 1 (different address spaces)

tree:   https://github.com/cilium/linux.git pr/bpf-tc-links
head:   f9ab02443a6bd720c616b575437a851435c80c49
commit: f182834c964343d39688f653f16bfee1f3ff39c2 [1/10] bpf: Add initial fd-based API to attach tc BPF programs
config: i386-randconfig-s002 (https://download.01.org/0day-ci/archive/20220917/202209171632.1VYSsEBN-lkp@intel.com/config)
compiler: gcc-11 (Debian 11.3.0-5) 11.3.0
reproduce:
        # apt-get install sparse
        # sparse version: v0.6.4-39-gce1a6720-dirty
        # https://github.com/cilium/linux/commit/f182834c964343d39688f653f16bfee1f3ff39c2
        git remote add cilium https://github.com/cilium/linux.git
        git fetch --no-tags cilium pr/bpf-tc-links
        git checkout f182834c964343d39688f653f16bfee1f3ff39c2
        # 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 net/core/ net/sched/

If you fix the issue, kindly add following tag where applicable
Reported-by: kernel test robot <lkp@...el.com>

sparse warnings: (new ones prefixed by >>)
   net/core/dev.c:3325:23: sparse: sparse: incorrect type in argument 4 (different base types) @@     expected restricted __wsum [usertype] csum @@     got unsigned int @@
   net/core/dev.c:3325:23: sparse:     expected restricted __wsum [usertype] csum
   net/core/dev.c:3325:23: sparse:     got unsigned int
   net/core/dev.c:3325:23: sparse: sparse: cast from restricted __wsum
>> net/core/dev.c:3970:44: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected struct sch_entry *entry @@     got struct sch_entry [noderef] __rcu *sch_ingress @@
   net/core/dev.c:3970:44: sparse:     expected struct sch_entry *entry
   net/core/dev.c:3970:44: sparse:     got struct sch_entry [noderef] __rcu *sch_ingress
>> net/core/dev.c:4010:44: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected struct sch_entry *entry @@     got struct sch_entry [noderef] __rcu *sch_egress @@
   net/core/dev.c:4010:44: sparse:     expected struct sch_entry *entry
   net/core/dev.c:4010:44: sparse:     got struct sch_entry [noderef] __rcu *sch_egress
   net/core/dev.c:204:9: sparse: sparse: context imbalance in 'unlist_netdevice' - different lock contexts for basic block
   net/core/dev.c:3829:17: sparse: sparse: context imbalance in '__dev_queue_xmit' - different lock contexts for basic block
   net/core/dev.c:5206:17: sparse: sparse: context imbalance in 'net_tx_action' - different lock contexts for basic block
--
>> net/sched/sch_ingress.c:92:66: sparse: sparse: incorrect type in argument 3 (different address spaces) @@     expected struct mini_Qdisc [noderef] __rcu **p_miniq @@     got struct mini_Qdisc ** @@
   net/sched/sch_ingress.c:92:66: sparse:     expected struct mini_Qdisc [noderef] __rcu **p_miniq
   net/sched/sch_ingress.c:92:66: sparse:     got struct mini_Qdisc **
   net/sched/sch_ingress.c:242:74: sparse: sparse: incorrect type in argument 3 (different address spaces) @@     expected struct mini_Qdisc [noderef] __rcu **p_miniq @@     got struct mini_Qdisc ** @@
   net/sched/sch_ingress.c:242:74: sparse:     expected struct mini_Qdisc [noderef] __rcu **p_miniq
   net/sched/sch_ingress.c:242:74: sparse:     got struct mini_Qdisc **
   net/sched/sch_ingress.c:262:73: sparse: sparse: incorrect type in argument 3 (different address spaces) @@     expected struct mini_Qdisc [noderef] __rcu **p_miniq @@     got struct mini_Qdisc ** @@
   net/sched/sch_ingress.c:262:73: sparse:     expected struct mini_Qdisc [noderef] __rcu **p_miniq
   net/sched/sch_ingress.c:262:73: sparse:     got struct mini_Qdisc **

vim +3970 net/core/dev.c

  3957	
  3958	#ifdef CONFIG_NET_XGRESS
  3959	#ifdef CONFIG_NET_CLS_ACT
  3960	unsigned int sch_cls_ingress(const void *pskb, const struct bpf_insn *null)
  3961	{
  3962		struct sk_buff *skb = (void *)pskb;
  3963		struct mini_Qdisc *miniq;
  3964		struct tcf_result res;
  3965		int ret;
  3966	
  3967		tc_skb_cb(skb)->mru = 0;
  3968		tc_skb_cb(skb)->post_ct = false;
  3969	
> 3970		miniq = dev_sch_entry_pair(skb->dev->sch_ingress)->miniq;
  3971		if (!miniq)
  3972			return TC_ACT_UNSPEC;
  3973		mini_qdisc_bstats_cpu_update(miniq, skb);
  3974		__skb_pull(skb, skb->mac_len);
  3975		ret = tcf_classify(skb, miniq->block, miniq->filter_list, &res, false);
  3976		__skb_push(skb, skb->mac_len);
  3977		/* Only tcf related quirks below. */
  3978		switch (ret) {
  3979		case TC_ACT_SHOT:
  3980			mini_qdisc_qstats_cpu_drop(miniq);
  3981			break;
  3982		case TC_ACT_OK:
  3983		case TC_ACT_RECLASSIFY:
  3984			skb->tc_index = TC_H_MIN(res.classid);
  3985			ret = TC_ACT_OK;
  3986			break;
  3987		case TC_ACT_STOLEN:
  3988		case TC_ACT_QUEUED:
  3989		case TC_ACT_TRAP:
  3990			ret = TC_ACT_CONSUMED;
  3991			break;
  3992		case TC_ACT_CONSUMED:
  3993			/* Bump refcount given skb is now in use elsewhere. */
  3994			skb_get(skb);
  3995			break;
  3996		}
  3997		return ret;
  3998	}
  3999	
  4000	unsigned int sch_cls_egress(const void *pskb, const struct bpf_insn *null)
  4001	{
  4002		struct sk_buff *skb = (void *)pskb;
  4003		struct mini_Qdisc *miniq;
  4004		struct tcf_result res;
  4005		int ret;
  4006	
  4007		tc_skb_cb(skb)->mru = 0;
  4008		tc_skb_cb(skb)->post_ct = false;
  4009	
> 4010		miniq = dev_sch_entry_pair(skb->dev->sch_egress)->miniq;
  4011		if (!miniq)
  4012			return TC_ACT_UNSPEC;
  4013		mini_qdisc_bstats_cpu_update(miniq, skb);
  4014		ret = tcf_classify(skb, miniq->block, miniq->filter_list, &res, false);
  4015		/* Only tcf related quirks below. */
  4016		switch (ret) {
  4017		case TC_ACT_SHOT:
  4018			mini_qdisc_qstats_cpu_drop(miniq);
  4019			break;
  4020		case TC_ACT_OK:
  4021		case TC_ACT_RECLASSIFY:
  4022			skb->tc_index = TC_H_MIN(res.classid);
  4023			ret = TC_ACT_OK;
  4024			break;
  4025		case TC_ACT_STOLEN:
  4026		case TC_ACT_QUEUED:
  4027		case TC_ACT_TRAP:
  4028			ret = TC_ACT_CONSUMED;
  4029			break;
  4030		case TC_ACT_CONSUMED:
  4031			/* Bump refcount given skb is now in use elsewhere. */
  4032			skb_get(skb);
  4033			break;
  4034		}
  4035		return ret;
  4036	}
  4037	#endif /* CONFIG_NET_CLS_ACT */
  4038	

-- 
0-DAY CI Kernel Test Service
https://01.org/lkp

Powered by blists - more mailing lists

Powered by Openwall GNU/*/Linux Powered by OpenVZ