* include/linux/skmsg.h:315:2: warning: Use of memory after it is freed [clang-analyzer-unix.Malloc]
@ 2021-11-27 16:21 kernel test robot
0 siblings, 0 replies; 2+ messages in thread
From: kernel test robot @ 2021-11-27 16:21 UTC (permalink / raw)
To: kbuild
[-- Attachment #1: Type: text/plain, Size: 14765 bytes --]
CC: llvm(a)lists.linux.dev
CC: kbuild-all(a)lists.01.org
CC: linux-kernel(a)vger.kernel.org
TO: Cong Wang <cong.wang@bytedance.com>
CC: Alexei Starovoitov <ast@kernel.org>
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: c5c17547b778975b3d83a73c8d84e8fb5ecf3ba5
commit: 17edea21b38d047a10c189296c58aea9875d0d0a sock_map: Relax config dependency to CONFIG_NET
date: 5 months ago
:::::: branch date: 19 hours ago
:::::: commit date: 5 months ago
config: arm-randconfig-c002-20211114 (https://download.01.org/0day-ci/archive/20211128/202111280007.8HnlBvRN-lkp(a)intel.com/config)
compiler: clang version 14.0.0 (https://github.com/llvm/llvm-project c3dddeeafb529e769cde87bd29ef6271ac6bfa5c)
reproduce (this is a W=1 build):
wget https://raw.githubusercontent.com/intel/lkp-tests/master/sbin/make.cross -O ~/bin/make.cross
chmod +x ~/bin/make.cross
# install arm cross compiling tool for clang build
# apt-get install binutils-arm-linux-gnueabi
# https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=17edea21b38d047a10c189296c58aea9875d0d0a
git remote add linus https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
git fetch --no-tags linus master
git checkout 17edea21b38d047a10c189296c58aea9875d0d0a
# save the config file to linux build tree
COMPILER_INSTALL_PATH=$HOME/0day COMPILER=clang make.cross ARCH=arm clang-analyzer
If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@intel.com>
clang-analyzer warnings: (new ones prefixed by >>)
^
net/nfc/llcp_commands.c:95:8: note: Calling 'kzalloc'
tlv = kzalloc(2 + length, GFP_KERNEL);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/slab.h:721:9: note: Calling 'kmalloc'
return kmalloc(size, flags | __GFP_ZERO);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/slab.h:579:2: note: Taking false branch
if (__builtin_constant_p(size)) {
^
include/linux/slab.h:596:2: note: Returning pointer, which participates in a condition later
return __kmalloc(size, flags);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/slab.h:721:9: note: Returning from 'kmalloc'
return kmalloc(size, flags | __GFP_ZERO);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/slab.h:721:2: note: Returning pointer, which participates in a condition later
return kmalloc(size, flags | __GFP_ZERO);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
net/nfc/llcp_commands.c:95:8: note: Returning from 'kzalloc'
tlv = kzalloc(2 + length, GFP_KERNEL);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
net/nfc/llcp_commands.c:96:6: note: Assuming 'tlv' is not equal to NULL, which participates in a condition later
if (tlv == NULL)
^~~~~~~~~~~
net/nfc/llcp_commands.c:96:2: note: Taking false branch
if (tlv == NULL)
^
net/nfc/llcp_commands.c:101:2: note: Assigning value, which participates in a condition later
memcpy(tlv + 2, value, length);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
net/nfc/llcp_commands.c:103:2: note: Returning pointer (loaded from 'tlv'), which participates in a condition later
return tlv;
^~~~~~~~~~
net/nfc/llcp_commands.c:430:11: note: Returning from 'nfc_llcp_build_tlv'
rw_tlv = nfc_llcp_build_tlv(LLCP_TLV_RW, &rw, 0, &rw_tlv_length);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
net/nfc/llcp_commands.c:431:7: note: 'rw_tlv' is non-null
if (!rw_tlv) {
^~~~~~
net/nfc/llcp_commands.c:431:2: note: Taking false branch
if (!rw_tlv) {
^
net/nfc/llcp_commands.c:437:2: note: Taking false branch
pr_debug("SKB size %d SN length %zu\n", size, sock->service_name_len);
^
include/linux/printk.h:477:2: note: expanded from macro 'pr_debug'
no_printk(KERN_DEBUG pr_fmt(fmt), ##__VA_ARGS__)
^
include/linux/printk.h:140:2: note: expanded from macro 'no_printk'
if (0) \
^
net/nfc/llcp_commands.c:440:6: note: 'skb' is not equal to NULL
if (skb == NULL) {
^~~
net/nfc/llcp_commands.c:440:2: note: Taking false branch
if (skb == NULL) {
^
net/nfc/llcp_commands.c:445:2: note: 3rd function call argument is an uninitialized value
llcp_add_tlv(skb, service_name_tlv, service_name_tlv_length);
^ ~~~~~~~~~~~~~~~~~~~~~~~
1 warning generated.
drivers/nfc/pn533/i2c.c:140:2: warning: Value stored to 'client' is never read [clang-analyzer-deadcode.DeadStores]
client = phy->i2c_dev;
^ ~~~~~~~~~~~~
drivers/nfc/pn533/i2c.c:140:2: note: Value stored to 'client' is never read
client = phy->i2c_dev;
^ ~~~~~~~~~~~~
1 warning generated.
drivers/thermal/st/st_thermal.c:112:17: warning: Value stored to 'dev' during its initialization is never read [clang-analyzer-deadcode.DeadStores]
struct device *dev = sensor->dev;
^~~ ~~~~~~~~~~~
drivers/thermal/st/st_thermal.c:112:17: note: Value stored to 'dev' during its initialization is never read
struct device *dev = sensor->dev;
^~~ ~~~~~~~~~~~
1 warning generated.
Suppressed 1 warnings (1 in non-user code).
Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well.
1 warning generated.
Suppressed 1 warnings (1 in non-user code).
Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well.
1 warning generated.
Suppressed 1 warnings (1 in non-user code).
Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well.
3 warnings generated.
net/bluetooth/hci_conn.c:1754:18: warning: Value stored to 'hdev' during its initialization is never read [clang-analyzer-deadcode.DeadStores]
struct hci_dev *hdev = conn->hdev;
^~~~ ~~~~~~~~~~
net/bluetooth/hci_conn.c:1754:18: note: Value stored to 'hdev' during its initialization is never read
struct hci_dev *hdev = conn->hdev;
^~~~ ~~~~~~~~~~
net/bluetooth/hci_conn.c:1780:18: warning: Value stored to 'hdev' during its initialization is never read [clang-analyzer-deadcode.DeadStores]
struct hci_dev *hdev = conn->hdev;
^~~~ ~~~~~~~~~~
net/bluetooth/hci_conn.c:1780:18: note: Value stored to 'hdev' during its initialization is never read
struct hci_dev *hdev = conn->hdev;
^~~~ ~~~~~~~~~~
Suppressed 1 warnings (1 in non-user code).
Use -header-filter=.* to display errors from all non-system headers. Use -system-headers to display errors from system headers as well.
1 warning generated.
>> include/linux/skmsg.h:315:2: warning: Use of memory after it is freed [clang-analyzer-unix.Malloc]
return msg;
^
net/core/skmsg.c:411:11: note: Calling 'sk_psock_peek_msg'
msg_rx = sk_psock_peek_msg(psock);
^~~~~~~~~~~~~~~~~~~~~~~~
include/linux/skmsg.h:313:8: note: Left side of '||' is false
msg = list_first_entry_or_null(&psock->ingress_msg, struct sk_msg, list);
^
include/linux/list.h:545:28: note: expanded from macro 'list_first_entry_or_null'
struct list_head *pos__ = READ_ONCE(head__->next); \
^
include/asm-generic/rwonce.h:49:2: note: expanded from macro 'READ_ONCE'
compiletime_assert_rwonce_type(x); \
^
include/asm-generic/rwonce.h:36:21: note: expanded from macro 'compiletime_assert_rwonce_type'
compiletime_assert(__native_word(t) || sizeof(t) == sizeof(long long), \
^
include/linux/compiler_types.h:290:3: note: expanded from macro '__native_word'
(sizeof(t) == sizeof(char) || sizeof(t) == sizeof(short) || \
^
include/linux/skmsg.h:313:8: note: Left side of '||' is false
msg = list_first_entry_or_null(&psock->ingress_msg, struct sk_msg, list);
^
include/linux/list.h:545:28: note: expanded from macro 'list_first_entry_or_null'
struct list_head *pos__ = READ_ONCE(head__->next); \
^
include/asm-generic/rwonce.h:49:2: note: expanded from macro 'READ_ONCE'
compiletime_assert_rwonce_type(x); \
^
include/asm-generic/rwonce.h:36:21: note: expanded from macro 'compiletime_assert_rwonce_type'
compiletime_assert(__native_word(t) || sizeof(t) == sizeof(long long), \
^
include/linux/compiler_types.h:290:3: note: expanded from macro '__native_word'
(sizeof(t) == sizeof(char) || sizeof(t) == sizeof(short) || \
^
include/linux/skmsg.h:313:8: note: Left side of '||' is true
msg = list_first_entry_or_null(&psock->ingress_msg, struct sk_msg, list);
^
include/linux/list.h:545:28: note: expanded from macro 'list_first_entry_or_null'
struct list_head *pos__ = READ_ONCE(head__->next); \
^
include/asm-generic/rwonce.h:49:2: note: expanded from macro 'READ_ONCE'
compiletime_assert_rwonce_type(x); \
^
include/asm-generic/rwonce.h:36:21: note: expanded from macro 'compiletime_assert_rwonce_type'
compiletime_assert(__native_word(t) || sizeof(t) == sizeof(long long), \
^
include/linux/compiler_types.h:291:28: note: expanded from macro '__native_word'
sizeof(t) == sizeof(int) || sizeof(t) == sizeof(long))
^
include/linux/skmsg.h:313:8: note: Taking false branch
msg = list_first_entry_or_null(&psock->ingress_msg, struct sk_msg, list);
^
include/linux/list.h:545:28: note: expanded from macro 'list_first_entry_or_null'
struct list_head *pos__ = READ_ONCE(head__->next); \
^
include/asm-generic/rwonce.h:49:2: note: expanded from macro 'READ_ONCE'
compiletime_assert_rwonce_type(x); \
^
include/asm-generic/rwonce.h:36:2: note: expanded from macro 'compiletime_assert_rwonce_type'
compiletime_assert(__native_word(t) || sizeof(t) == sizeof(long long), \
^
include/linux/compiler_types.h:328:2: note: expanded from macro 'compiletime_assert'
_compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__)
^
include/linux/compiler_types.h:316:2: note: expanded from macro '_compiletime_assert'
__compiletime_assert(condition, msg, prefix, suffix)
^
include/linux/compiler_types.h:308:3: note: expanded from macro '__compiletime_assert'
if (!(condition)) \
^
include/linux/skmsg.h:313:8: note: Loop condition is false. Exiting loop
msg = list_first_entry_or_null(&psock->ingress_msg, struct sk_msg, list);
^
include/linux/list.h:545:28: note: expanded from macro 'list_first_entry_or_null'
struct list_head *pos__ = READ_ONCE(head__->next); \
^
include/asm-generic/rwonce.h:49:2: note: expanded from macro 'READ_ONCE'
compiletime_assert_rwonce_type(x); \
^
include/asm-generic/rwonce.h:36:2: note: expanded from macro 'compiletime_assert_rwonce_type'
compiletime_assert(__native_word(t) || sizeof(t) == sizeof(long long), \
^
include/linux/compiler_types.h:328:2: note: expanded from macro 'compiletime_assert'
_compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__)
^
include/linux/compiler_types.h:316:2: note: expanded from macro '_compiletime_assert'
__compiletime_assert(condition, msg, prefix, suffix)
^
include/linux/compiler_types.h:306:2: note: expanded from macro '__compiletime_assert'
do { \
^
include/linux/skmsg.h:313:8: note: Assuming 'pos__' is not equal to 'head__'
msg = list_first_entry_or_null(&psock->ingress_msg, struct sk_msg, list);
^
include/linux/list.h:546:2: note: expanded from macro 'list_first_entry_or_null'
pos__ != head__ ? list_entry(pos__, type, member) : NULL; \
^~~~~~~~~~~~~~~
include/linux/skmsg.h:313:8: note: '?' condition is true
msg = list_first_entry_or_null(&psock->ingress_msg, struct sk_msg, list);
vim +315 include/linux/skmsg.h
b01fd6e802b6d0a Cong Wang 2021-03-30 307
b01fd6e802b6d0a Cong Wang 2021-03-30 308 static inline struct sk_msg *sk_psock_peek_msg(struct sk_psock *psock)
b01fd6e802b6d0a Cong Wang 2021-03-30 309 {
b01fd6e802b6d0a Cong Wang 2021-03-30 310 struct sk_msg *msg;
b01fd6e802b6d0a Cong Wang 2021-03-30 311
b01fd6e802b6d0a Cong Wang 2021-03-30 312 spin_lock_bh(&psock->ingress_lock);
b01fd6e802b6d0a Cong Wang 2021-03-30 313 msg = list_first_entry_or_null(&psock->ingress_msg, struct sk_msg, list);
b01fd6e802b6d0a Cong Wang 2021-03-30 314 spin_unlock_bh(&psock->ingress_lock);
b01fd6e802b6d0a Cong Wang 2021-03-30 @315 return msg;
b01fd6e802b6d0a Cong Wang 2021-03-30 316 }
b01fd6e802b6d0a Cong Wang 2021-03-30 317
:::::: The code at line 315 was first introduced by commit
:::::: b01fd6e802b6d0a635176f943315670b679d8d7b skmsg: Introduce a spinlock to protect ingress_msg
:::::: TO: Cong Wang <cong.wang@bytedance.com>
:::::: CC: Alexei Starovoitov <ast@kernel.org>
---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all(a)lists.01.org
^ permalink raw reply [flat|nested] 2+ messages in thread
* include/linux/skmsg.h:315:2: warning: Use of memory after it is freed [clang-analyzer-unix.Malloc]
@ 2021-11-26 13:10 kernel test robot
0 siblings, 0 replies; 2+ messages in thread
From: kernel test robot @ 2021-11-26 13:10 UTC (permalink / raw)
To: kbuild
[-- Attachment #1: Type: text/plain, Size: 14031 bytes --]
CC: llvm(a)lists.linux.dev
CC: kbuild-all(a)lists.01.org
CC: linux-kernel(a)vger.kernel.org
TO: Cong Wang <cong.wang@bytedance.com>
CC: Alexei Starovoitov <ast@kernel.org>
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: a4849f6000e29235a2707f22e39da6b897bb9543
commit: 17edea21b38d047a10c189296c58aea9875d0d0a sock_map: Relax config dependency to CONFIG_NET
date: 4 months ago
:::::: branch date: 11 hours ago
:::::: commit date: 4 months ago
config: arm-randconfig-c002-20211114 (https://download.01.org/0day-ci/archive/20211126/202111262146.PP6CxPqw-lkp(a)intel.com/config)
compiler: clang version 14.0.0 (https://github.com/llvm/llvm-project c3dddeeafb529e769cde87bd29ef6271ac6bfa5c)
reproduce (this is a W=1 build):
wget https://raw.githubusercontent.com/intel/lkp-tests/master/sbin/make.cross -O ~/bin/make.cross
chmod +x ~/bin/make.cross
# install arm cross compiling tool for clang build
# apt-get install binutils-arm-linux-gnueabi
# https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=17edea21b38d047a10c189296c58aea9875d0d0a
git remote add linus https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
git fetch --no-tags linus master
git checkout 17edea21b38d047a10c189296c58aea9875d0d0a
# save the config file to linux build tree
COMPILER_INSTALL_PATH=$HOME/0day COMPILER=clang make.cross ARCH=arm clang-analyzer
If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@intel.com>
clang-analyzer warnings: (new ones prefixed by >>)
net/nfc/llcp_commands.c:422:13: note: Returning from 'nfc_llcp_build_tlv'
miux_tlv = nfc_llcp_build_tlv(LLCP_TLV_MIUX, (u8 *)&miux, 0,
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
net/nfc/llcp_commands.c:424:7: note: 'miux_tlv' is non-null
if (!miux_tlv) {
^~~~~~~~
net/nfc/llcp_commands.c:424:2: note: Taking false branch
if (!miux_tlv) {
^
net/nfc/llcp_commands.c:430:11: note: Calling 'nfc_llcp_build_tlv'
rw_tlv = nfc_llcp_build_tlv(LLCP_TLV_RW, &rw, 0, &rw_tlv_length);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
net/nfc/llcp_commands.c:83:2: note: Taking false branch
pr_debug("type %d\n", type);
^
include/linux/printk.h:477:2: note: expanded from macro 'pr_debug'
no_printk(KERN_DEBUG pr_fmt(fmt), ##__VA_ARGS__)
^
include/linux/printk.h:140:2: note: expanded from macro 'no_printk'
if (0) \
^
net/nfc/llcp_commands.c:85:6: note: 'type' is < LLCP_TLV_MAX
if (type >= LLCP_TLV_MAX)
^~~~
net/nfc/llcp_commands.c:85:2: note: Taking false branch
if (type >= LLCP_TLV_MAX)
^
net/nfc/llcp_commands.c:89:6: note: Assuming 'length' is not equal to 0
if (length == 0 && value_length == 0)
^~~~~~~~~~~
net/nfc/llcp_commands.c:89:18: note: Left side of '&&' is false
if (length == 0 && value_length == 0)
^
net/nfc/llcp_commands.c:91:11: note: 'length' is not equal to 0
else if (length == 0)
^~~~~~
net/nfc/llcp_commands.c:91:7: note: Taking false branch
else if (length == 0)
^
net/nfc/llcp_commands.c:95:8: note: Calling 'kzalloc'
tlv = kzalloc(2 + length, GFP_KERNEL);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/slab.h:721:9: note: Calling 'kmalloc'
return kmalloc(size, flags | __GFP_ZERO);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/slab.h:579:2: note: Taking false branch
if (__builtin_constant_p(size)) {
^
include/linux/slab.h:596:2: note: Returning pointer, which participates in a condition later
return __kmalloc(size, flags);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/slab.h:721:9: note: Returning from 'kmalloc'
return kmalloc(size, flags | __GFP_ZERO);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
include/linux/slab.h:721:2: note: Returning pointer, which participates in a condition later
return kmalloc(size, flags | __GFP_ZERO);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
net/nfc/llcp_commands.c:95:8: note: Returning from 'kzalloc'
tlv = kzalloc(2 + length, GFP_KERNEL);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
net/nfc/llcp_commands.c:96:6: note: Assuming 'tlv' is not equal to NULL, which participates in a condition later
if (tlv == NULL)
^~~~~~~~~~~
net/nfc/llcp_commands.c:96:2: note: Taking false branch
if (tlv == NULL)
^
net/nfc/llcp_commands.c:101:2: note: Assigning value, which participates in a condition later
memcpy(tlv + 2, value, length);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
net/nfc/llcp_commands.c:103:2: note: Returning pointer (loaded from 'tlv'), which participates in a condition later
return tlv;
^~~~~~~~~~
net/nfc/llcp_commands.c:430:11: note: Returning from 'nfc_llcp_build_tlv'
rw_tlv = nfc_llcp_build_tlv(LLCP_TLV_RW, &rw, 0, &rw_tlv_length);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
net/nfc/llcp_commands.c:431:7: note: 'rw_tlv' is non-null
if (!rw_tlv) {
^~~~~~
net/nfc/llcp_commands.c:431:2: note: Taking false branch
if (!rw_tlv) {
^
net/nfc/llcp_commands.c:437:2: note: Taking false branch
pr_debug("SKB size %d SN length %zu\n", size, sock->service_name_len);
^
include/linux/printk.h:477:2: note: expanded from macro 'pr_debug'
no_printk(KERN_DEBUG pr_fmt(fmt), ##__VA_ARGS__)
^
include/linux/printk.h:140:2: note: expanded from macro 'no_printk'
if (0) \
^
net/nfc/llcp_commands.c:440:6: note: 'skb' is not equal to NULL
if (skb == NULL) {
^~~
net/nfc/llcp_commands.c:440:2: note: Taking false branch
if (skb == NULL) {
^
net/nfc/llcp_commands.c:445:2: note: 3rd function call argument is an uninitialized value
llcp_add_tlv(skb, service_name_tlv, service_name_tlv_length);
^ ~~~~~~~~~~~~~~~~~~~~~~~
1 warning generated.
>> include/linux/skmsg.h:315:2: warning: Use of memory after it is freed [clang-analyzer-unix.Malloc]
return msg;
^
net/core/skmsg.c:411:11: note: Calling 'sk_psock_peek_msg'
msg_rx = sk_psock_peek_msg(psock);
^~~~~~~~~~~~~~~~~~~~~~~~
include/linux/skmsg.h:313:8: note: Left side of '||' is false
msg = list_first_entry_or_null(&psock->ingress_msg, struct sk_msg, list);
^
include/linux/list.h:545:28: note: expanded from macro 'list_first_entry_or_null'
struct list_head *pos__ = READ_ONCE(head__->next); \
^
include/asm-generic/rwonce.h:49:2: note: expanded from macro 'READ_ONCE'
compiletime_assert_rwonce_type(x); \
^
include/asm-generic/rwonce.h:36:21: note: expanded from macro 'compiletime_assert_rwonce_type'
compiletime_assert(__native_word(t) || sizeof(t) == sizeof(long long), \
^
include/linux/compiler_types.h:290:3: note: expanded from macro '__native_word'
(sizeof(t) == sizeof(char) || sizeof(t) == sizeof(short) || \
^
include/linux/skmsg.h:313:8: note: Left side of '||' is false
msg = list_first_entry_or_null(&psock->ingress_msg, struct sk_msg, list);
^
include/linux/list.h:545:28: note: expanded from macro 'list_first_entry_or_null'
struct list_head *pos__ = READ_ONCE(head__->next); \
^
include/asm-generic/rwonce.h:49:2: note: expanded from macro 'READ_ONCE'
compiletime_assert_rwonce_type(x); \
^
include/asm-generic/rwonce.h:36:21: note: expanded from macro 'compiletime_assert_rwonce_type'
compiletime_assert(__native_word(t) || sizeof(t) == sizeof(long long), \
^
include/linux/compiler_types.h:290:3: note: expanded from macro '__native_word'
(sizeof(t) == sizeof(char) || sizeof(t) == sizeof(short) || \
^
include/linux/skmsg.h:313:8: note: Left side of '||' is true
msg = list_first_entry_or_null(&psock->ingress_msg, struct sk_msg, list);
^
include/linux/list.h:545:28: note: expanded from macro 'list_first_entry_or_null'
struct list_head *pos__ = READ_ONCE(head__->next); \
^
include/asm-generic/rwonce.h:49:2: note: expanded from macro 'READ_ONCE'
compiletime_assert_rwonce_type(x); \
^
include/asm-generic/rwonce.h:36:21: note: expanded from macro 'compiletime_assert_rwonce_type'
compiletime_assert(__native_word(t) || sizeof(t) == sizeof(long long), \
^
include/linux/compiler_types.h:291:28: note: expanded from macro '__native_word'
sizeof(t) == sizeof(int) || sizeof(t) == sizeof(long))
^
include/linux/skmsg.h:313:8: note: Taking false branch
msg = list_first_entry_or_null(&psock->ingress_msg, struct sk_msg, list);
^
include/linux/list.h:545:28: note: expanded from macro 'list_first_entry_or_null'
struct list_head *pos__ = READ_ONCE(head__->next); \
^
include/asm-generic/rwonce.h:49:2: note: expanded from macro 'READ_ONCE'
compiletime_assert_rwonce_type(x); \
^
include/asm-generic/rwonce.h:36:2: note: expanded from macro 'compiletime_assert_rwonce_type'
compiletime_assert(__native_word(t) || sizeof(t) == sizeof(long long), \
^
include/linux/compiler_types.h:328:2: note: expanded from macro 'compiletime_assert'
_compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__)
^
include/linux/compiler_types.h:316:2: note: expanded from macro '_compiletime_assert'
__compiletime_assert(condition, msg, prefix, suffix)
^
include/linux/compiler_types.h:308:3: note: expanded from macro '__compiletime_assert'
if (!(condition)) \
^
include/linux/skmsg.h:313:8: note: Loop condition is false. Exiting loop
msg = list_first_entry_or_null(&psock->ingress_msg, struct sk_msg, list);
^
include/linux/list.h:545:28: note: expanded from macro 'list_first_entry_or_null'
struct list_head *pos__ = READ_ONCE(head__->next); \
^
include/asm-generic/rwonce.h:49:2: note: expanded from macro 'READ_ONCE'
compiletime_assert_rwonce_type(x); \
^
include/asm-generic/rwonce.h:36:2: note: expanded from macro 'compiletime_assert_rwonce_type'
compiletime_assert(__native_word(t) || sizeof(t) == sizeof(long long), \
^
include/linux/compiler_types.h:328:2: note: expanded from macro 'compiletime_assert'
_compiletime_assert(condition, msg, __compiletime_assert_, __COUNTER__)
^
include/linux/compiler_types.h:316:2: note: expanded from macro '_compiletime_assert'
__compiletime_assert(condition, msg, prefix, suffix)
^
include/linux/compiler_types.h:306:2: note: expanded from macro '__compiletime_assert'
do { \
^
include/linux/skmsg.h:313:8: note: Assuming 'pos__' is not equal to 'head__'
msg = list_first_entry_or_null(&psock->ingress_msg, struct sk_msg, list);
^
include/linux/list.h:546:2: note: expanded from macro 'list_first_entry_or_null'
pos__ != head__ ? list_entry(pos__, type, member) : NULL; \
^~~~~~~~~~~~~~~
include/linux/skmsg.h:313:8: note: '?' condition is true
msg = list_first_entry_or_null(&psock->ingress_msg, struct sk_msg, list);
vim +315 include/linux/skmsg.h
b01fd6e802b6d0 Cong Wang 2021-03-30 307
b01fd6e802b6d0 Cong Wang 2021-03-30 308 static inline struct sk_msg *sk_psock_peek_msg(struct sk_psock *psock)
b01fd6e802b6d0 Cong Wang 2021-03-30 309 {
b01fd6e802b6d0 Cong Wang 2021-03-30 310 struct sk_msg *msg;
b01fd6e802b6d0 Cong Wang 2021-03-30 311
b01fd6e802b6d0 Cong Wang 2021-03-30 312 spin_lock_bh(&psock->ingress_lock);
b01fd6e802b6d0 Cong Wang 2021-03-30 313 msg = list_first_entry_or_null(&psock->ingress_msg, struct sk_msg, list);
b01fd6e802b6d0 Cong Wang 2021-03-30 314 spin_unlock_bh(&psock->ingress_lock);
b01fd6e802b6d0 Cong Wang 2021-03-30 @315 return msg;
b01fd6e802b6d0 Cong Wang 2021-03-30 316 }
b01fd6e802b6d0 Cong Wang 2021-03-30 317
:::::: The code at line 315 was first introduced by commit
:::::: b01fd6e802b6d0a635176f943315670b679d8d7b skmsg: Introduce a spinlock to protect ingress_msg
:::::: TO: Cong Wang <cong.wang@bytedance.com>
:::::: CC: Alexei Starovoitov <ast@kernel.org>
---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all(a)lists.01.org
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2021-11-27 16:21 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-11-27 16:21 include/linux/skmsg.h:315:2: warning: Use of memory after it is freed [clang-analyzer-unix.Malloc] kernel test robot
-- strict thread matches above, loose matches on Subject: below --
2021-11-26 13:10 kernel test robot
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.