CC: [email protected] CC: [email protected] CC: [email protected] TO: Xiubo Li <[email protected]> CC: Ilya Dryomov <[email protected]> CC: Jeff Layton <[email protected]>
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master head: 3f667b5d4053ad54aee13dab5c94f04ff75ddfdf commit: d517b3983dd3106ca92d6c5d0d09415a4a09481c ceph: reconnect to the export targets on new mdsmaps date: 4 months ago :::::: branch date: 19 hours ago :::::: commit date: 4 months ago config: arm-randconfig-c002-20211211 (https://download.01.org/0day-ci/archive/20211219/[email protected]/config) compiler: clang version 14.0.0 (https://github.com/llvm/llvm-project 097a1cb1d5ebb3a0ec4bcaed8ba3ff6a8e33c00a) 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=d517b3983dd3106ca92d6c5d0d09415a4a09481c git remote add linus https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git git fetch --no-tags linus master git checkout d517b3983dd3106ca92d6c5d0d09415a4a09481c # 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 <[email protected]> clang-analyzer warnings: (new ones prefixed by >>) ^ fs/ceph/mds_client.c:4934:8: note: 'session' is non-null if (!session) ^~~~~~~ fs/ceph/mds_client.c:4934:3: note: Taking false branch if (!session) ^ fs/ceph/mds_client.c:4937:7: note: Assuming field 's_state' is equal to CEPH_MDS_SESSION_REJECTED if (session->s_state == CEPH_MDS_SESSION_REJECTED) ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ fs/ceph/mds_client.c:4937:3: note: Taking true branch if (session->s_state == CEPH_MDS_SESSION_REJECTED) ^ fs/ceph/mds_client.c:4938:4: note: Calling '__unregister_session' __unregister_session(mdsc, session); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ fs/ceph/mds_client.c:786:2: note: Taking false branch dout("__unregister_session mds%d %p\n", s->s_mds, s); ^ include/linux/ceph/ceph_debug.h:25:3: note: expanded from macro 'dout' if (0) \ ^ fs/ceph/mds_client.c:786:2: note: Loop condition is false. Exiting loop dout("__unregister_session mds%d %p\n", s->s_mds, s); ^ include/linux/ceph/ceph_debug.h:24:26: note: expanded from macro 'dout' # define dout(fmt, ...) do { \ ^ fs/ceph/mds_client.c:787:2: note: Assuming the condition is false BUG_ON(mdsc->sessions[s->s_mds] != s); ^ include/asm-generic/bug.h:161:36: note: expanded from macro 'BUG_ON' #define BUG_ON(condition) do { if (unlikely(condition)) BUG(); } while (0) ^~~~~~~~~~~~~~~~~~~ include/linux/compiler.h:78:22: note: expanded from macro 'unlikely' # define unlikely(x) __builtin_expect(!!(x), 0) ^~~~~~~~~~~~~~~~~~~~~~~~~~ fs/ceph/mds_client.c:787:2: note: Taking false branch BUG_ON(mdsc->sessions[s->s_mds] != s); ^ include/asm-generic/bug.h:161:32: note: expanded from macro 'BUG_ON' #define BUG_ON(condition) do { if (unlikely(condition)) BUG(); } while (0) ^ fs/ceph/mds_client.c:787:2: note: Loop condition is false. Exiting loop BUG_ON(mdsc->sessions[s->s_mds] != s); ^ include/asm-generic/bug.h:161:27: note: expanded from macro 'BUG_ON' #define BUG_ON(condition) do { if (unlikely(condition)) BUG(); } while (0) ^ fs/ceph/mds_client.c:790:2: note: Calling 'ceph_put_mds_session' ceph_put_mds_session(s); ^~~~~~~~~~~~~~~~~~~~~~~ fs/ceph/mds_client.c:668:2: note: Taking false branch if (IS_ERR_OR_NULL(s)) ^ fs/ceph/mds_client.c:671:2: note: Taking false branch dout("mdsc put_session %p %d -> %d\n", s, ^ include/linux/ceph/ceph_debug.h:25:3: note: expanded from macro 'dout' if (0) \ ^ fs/ceph/mds_client.c:671:2: note: Loop condition is false. Exiting loop dout("mdsc put_session %p %d -> %d\n", s, ^ include/linux/ceph/ceph_debug.h:24:26: note: expanded from macro 'dout' # define dout(fmt, ...) do { \ ^ fs/ceph/mds_client.c:673:2: note: Taking true branch if (refcount_dec_and_test(&s->s_ref)) { ^ fs/ceph/mds_client.c:674:7: note: Assuming field 'authorizer' is null if (s->s_auth.authorizer) ^~~~~~~~~~~~~~~~~~~~ fs/ceph/mds_client.c:674:3: note: Taking false branch if (s->s_auth.authorizer) ^ fs/ceph/mds_client.c:676:3: note: Assuming the condition is false WARN_ON(mutex_is_locked(&s->s_mutex)); ^ include/asm-generic/bug.h:166:23: note: expanded from macro 'WARN_ON' int __ret_warn_on = !!(condition); \ ^~~~~~~~~~~~ fs/ceph/mds_client.c:678:3: note: Memory is released kfree(s); ^~~~~~~~ fs/ceph/mds_client.c:790:2: note: Returning; memory was released via 1st parameter ceph_put_mds_session(s); ^~~~~~~~~~~~~~~~~~~~~~~ fs/ceph/mds_client.c:4938:4: note: Returning; memory was released via 2nd parameter __unregister_session(mdsc, session); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ fs/ceph/mds_client.c:4943:3: note: Use of memory after it is freed __close_session(mdsc, session); ^ ~~~~~~~ fs/ceph/mds_client.c:5083:2: warning: Value stored to 'maplen' is never read [clang-analyzer-deadcode.DeadStores] maplen = ceph_decode_32(&p); ^ ~~~~~~~~~~~~~~~~~~ fs/ceph/mds_client.c:5083:2: note: Value stored to 'maplen' is never read maplen = ceph_decode_32(&p); ^ ~~~~~~~~~~~~~~~~~~ >> include/linux/ceph/mdsmap.h:56:9: warning: Dereference of null pointer >> [clang-analyzer-core.NullDereference] return m->m_info[w].state; ^ fs/ceph/mds_client.c:4180:2: note: Taking false branch dout("check_new_map new %u old %u\n", ^ include/linux/ceph/ceph_debug.h:25:3: note: expanded from macro 'dout' if (0) \ ^ fs/ceph/mds_client.c:4180:2: note: Loop condition is false. Exiting loop dout("check_new_map new %u old %u\n", ^ include/linux/ceph/ceph_debug.h:24:26: note: expanded from macro 'dout' # define dout(fmt, ...) do { \ ^ fs/ceph/mds_client.c:4183:6: note: Assuming field 'm_info' is null if (newmap->m_info) { ^~~~~~~~~~~~~~ fs/ceph/mds_client.c:4183:2: note: Taking false branch if (newmap->m_info) { ^ fs/ceph/mds_client.c:4190:14: note: Assuming 'i' is >= field 'possible_max_rank' for (i = 0; i < oldmap->possible_max_rank && i < mdsc->max_sessions; i++) { ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ fs/ceph/mds_client.c:4190:44: note: Left side of '&&' is false for (i = 0; i < oldmap->possible_max_rank && i < mdsc->max_sessions; i++) { ^ fs/ceph/mds_client.c:4269:14: note: Assuming 'i' is < field 'possible_max_rank' for (i = 0; i < newmap->possible_max_rank; i++) { ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ fs/ceph/mds_client.c:4269:2: note: Loop condition is true. Entering loop body for (i = 0; i < newmap->possible_max_rank; i++) { ^ fs/ceph/mds_client.c:4282:14: note: Calling 'ceph_mdsmap_get_state' newstate = ceph_mdsmap_get_state(newmap, i); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ include/linux/ceph/mdsmap.h:53:2: note: Taking false branch BUG_ON(w < 0); ^ include/asm-generic/bug.h:161:32: note: expanded from macro 'BUG_ON' #define BUG_ON(condition) do { if (unlikely(condition)) BUG(); } while (0) ^ include/linux/ceph/mdsmap.h:53:2: note: Loop condition is false. Exiting loop BUG_ON(w < 0); ^ include/asm-generic/bug.h:161:27: note: expanded from macro 'BUG_ON' #define BUG_ON(condition) do { if (unlikely(condition)) BUG(); } while (0) ^ include/linux/ceph/mdsmap.h:54:6: note: 'w' is < field 'possible_max_rank' if (w >= m->possible_max_rank) ^ include/linux/ceph/mdsmap.h:54:2: note: Taking false branch if (w >= m->possible_max_rank) ^ include/linux/ceph/mdsmap.h:56:9: note: Dereference of null pointer return m->m_info[w].state; ^~~~~~~~~~~~~~~~~~ Suppressed 16 warnings (16 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. 16 warnings generated. Suppressed 16 warnings (16 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. 17 warnings generated. fs/afs/server.c:709:3: warning: Value stored to 'ret' is never read [clang-analyzer-deadcode.DeadStores] ret = -ESTALE; ^ ~~~~~~~ fs/afs/server.c:709:3: note: Value stored to 'ret' is never read ret = -ESTALE; ^ ~~~~~~~ Suppressed 16 warnings (16 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. 16 warnings generated. Suppressed 16 warnings (16 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. 17 warnings generated. fs/afs/super.c:716:20: warning: Value stored to 'vnode' during its initialization is never read [clang-analyzer-deadcode.DeadStores] struct afs_vnode *vnode = AFS_FS_I(inode); ^~~~~ ~~~~~~~~~~~~~~~ fs/afs/super.c:716:20: note: Value stored to 'vnode' during its initialization is never read struct afs_vnode *vnode = AFS_FS_I(inode); ^~~~~ ~~~~~~~~~~~~~~~ Suppressed 16 warnings (16 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. 16 warnings generated. Suppressed 16 warnings (16 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. 16 warnings generated. Suppressed 16 warnings (16 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. 16 warnings generated. Suppressed 16 warnings (16 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. 17 warnings generated. fs/afs/vl_probe.c:51:15: warning: Value stored to 'server_index' during its initialization is never read [clang-analyzer-deadcode.DeadStores] unsigned int server_index = call->server_index; ^~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~ fs/afs/vl_probe.c:51:15: note: Value stored to 'server_index' during its initialization is never read unsigned int server_index = call->server_index; ^~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~ Suppressed 16 warnings (16 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. vim +56 include/linux/ceph/mdsmap.h 2f2dc053404feb fs/ceph/mdsmap.h Sage Weil 2009-10-06 50 2f2dc053404feb fs/ceph/mdsmap.h Sage Weil 2009-10-06 51 static inline int ceph_mdsmap_get_state(struct ceph_mdsmap *m, int w) 2f2dc053404feb fs/ceph/mdsmap.h Sage Weil 2009-10-06 52 { 2f2dc053404feb fs/ceph/mdsmap.h Sage Weil 2009-10-06 53 BUG_ON(w < 0); b38c9eb4757d5b include/linux/ceph/mdsmap.h Xiubo Li 2019-12-04 54 if (w >= m->possible_max_rank) 2f2dc053404feb fs/ceph/mdsmap.h Sage Weil 2009-10-06 55 return CEPH_MDS_STATE_DNE; 2f2dc053404feb fs/ceph/mdsmap.h Sage Weil 2009-10-06 @56 return m->m_info[w].state; 2f2dc053404feb fs/ceph/mdsmap.h Sage Weil 2009-10-06 57 } 2f2dc053404feb fs/ceph/mdsmap.h Sage Weil 2009-10-06 58 :::::: The code at line 56 was first introduced by commit :::::: 2f2dc053404febedc9c273452d9d518fb31fde72 ceph: MDS client :::::: TO: Sage Weil <[email protected]> :::::: CC: Sage Weil <[email protected]> --- 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]
