tree: https://android.googlesource.com/kernel/common android-4.14-stable head: 608fa6223455f800d8752a8a8ca18c05a9a14057 commit: 5179a6a673e1bff5b9823b1317c59127bacd4641 [16585/25399] UPSTREAM: bpf: permit multiple bpf attachments for a single perf event config: i386-randconfig-s001-20211019 (attached as .config) compiler: gcc-7 (Ubuntu 7.5.0-6ubuntu2) 7.5.0 reproduce: # apt-get install sparse # sparse version: v0.6.4-dirty git remote add android-common https://android.googlesource.com/kernel/common git fetch --no-tags android-common android-4.14-stable git checkout 5179a6a673e1bff5b9823b1317c59127bacd4641 # save the attached .config to linux build tree make W=1 C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' ARCH=i386 If you fix the issue, kindly add following tag as appropriate Reported-by: kernel test robot <lkp(a)intel.com&gt; sparse warnings: (new ones prefixed by >>) kernel/bpf/core.c:1095:43: sparse: sparse: arithmetics on pointers to functions kernel/bpf/core.c:1514:31: sparse: sparse: incorrect type in return expression (different address spaces) @@ expected struct bpf_prog_array [noderef] <asn:4> * @@ got void * @@ kernel/bpf/core.c:1514:31: sparse: expected struct bpf_prog_array [noderef] <asn:4> * kernel/bpf/core.c:1514:31: sparse: got void * kernel/bpf/core.c:1518:17: sparse: sparse: incorrect type in return expression (different address spaces) @@ expected struct bpf_prog_array [noderef] <asn:4> * @@ got struct bpf_prog_array * @@ kernel/bpf/core.c:1518:17: sparse: expected struct bpf_prog_array [noderef] <asn:4> * kernel/bpf/core.c:1518:17: sparse: got struct bpf_prog_array * kernel/bpf/core.c:1526:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct callback_head *head @@ got struct callback_head [noderef] <asn:4> * @@ kernel/bpf/core.c:1526:9: sparse: expected struct callback_head *head kernel/bpf/core.c:1526:9: sparse: got struct callback_head [noderef] <asn:4> * kernel/bpf/core.c:1532:34: sparse: expected struct bpf_prog **prog kernel/bpf/core.c:1532:34: sparse: got struct bpf_prog *[noderef] <asn:4> * kernel/bpf/core.c:1555:31: sparse: expected struct bpf_prog **existing_prog kernel/bpf/core.c:1555:31: sparse: got struct bpf_prog *[noderef] <asn:4> * kernel/bpf/core.c:1577:15: sparse: expected struct bpf_prog_array *array kernel/bpf/core.c:1577:15: sparse: got struct bpf_prog_array [noderef] <asn:4> * kernel/bpf/core.c:1583:31: sparse: expected struct bpf_prog **[assigned] existing_prog kernel/bpf/core.c:1583:31: sparse: got struct bpf_prog *[noderef] <asn:4> * vim +1532 kernel/bpf/core.c 1528 1529 void bpf_prog_array_delete_safe(struct bpf_prog_array __rcu *progs, 1530 struct bpf_prog *old_prog) 1531 { 1533 1534 for (; *prog; prog++) 1535 if (*prog == old_prog) { 1536 WRITE_ONCE(*prog, &dummy_bpf_prog.prog); 1537 break; 1538 } 1539 } 1540 1541 int bpf_prog_array_copy(struct bpf_prog_array __rcu *old_array, 1542 struct bpf_prog *exclude_prog, 1543 struct bpf_prog *include_prog, 1544 struct bpf_prog_array **new_array) 1545 { 1546 int new_prog_cnt, carry_prog_cnt = 0; 1547 struct bpf_prog **existing_prog; 1548 struct bpf_prog_array *array; 1549 int new_prog_idx = 0; 1550 1551 /* Figure out how many existing progs we need to carry over to 1552 * the new array. 1553 */ 1554 if (old_array) { 1556 for (; *existing_prog; existing_prog++) { 1557 if (*existing_prog != exclude_prog && 1558 *existing_prog != &dummy_bpf_prog.prog) 1559 carry_prog_cnt++; 1560 if (*existing_prog == include_prog) 1561 return -EEXIST; 1562 } 1563 } 1564 1565 /* How many progs (not NULL) will be in the new array? */ 1566 new_prog_cnt = carry_prog_cnt; 1567 if (include_prog) 1568 new_prog_cnt += 1; 1569 1570 /* Do we have any prog (not NULL) in the new array? */ 1571 if (!new_prog_cnt) { 1572 *new_array = NULL; 1573 return 0; 1574 } 1575 1576 /* +1 as the end of prog_array is marked with NULL */ 1578 if (!array) 1579 return -ENOMEM; 1580 1581 /* Fill in the new prog array */ 1582 if (carry_prog_cnt) { 1584 for (; *existing_prog; existing_prog++) 1585 if (*existing_prog != exclude_prog && 1586 *existing_prog != &dummy_bpf_prog.prog) 1587 array->progs[new_prog_idx++] = *existing_prog; 1588 } 1589 if (include_prog) 1590 array->progs[new_prog_idx++] = include_prog; 1591 array->progs[new_prog_idx] = NULL; 1592 *new_array = array; 1593 return 0; 1594 } 1595 --- 0-DAY CI Kernel Test Service, Intel Corporation https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org