From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id B0E17EB64D9 for ; Thu, 6 Jul 2023 10:52:30 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 272998D0002; Thu, 6 Jul 2023 06:52:30 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 222FE8D0001; Thu, 6 Jul 2023 06:52:30 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 0EE808D0002; Thu, 6 Jul 2023 06:52:30 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0012.hostedemail.com [216.40.44.12]) by kanga.kvack.org (Postfix) with ESMTP id F3FB38D0001 for ; Thu, 6 Jul 2023 06:52:29 -0400 (EDT) Received: from smtpin13.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay06.hostedemail.com (Postfix) with ESMTP id 8EF7FB04AC for ; Thu, 6 Jul 2023 10:52:29 +0000 (UTC) X-FDA: 80980873218.13.E2E13D2 Received: from mga11.intel.com (mga11.intel.com [192.55.52.93]) by imf20.hostedemail.com (Postfix) with ESMTP id 6B7A51C0013 for ; Thu, 6 Jul 2023 10:52:26 +0000 (UTC) Authentication-Results: imf20.hostedemail.com; dkim=pass header.d=intel.com header.s=Intel header.b=G7I0DgvI; spf=pass (imf20.hostedemail.com: domain of lkp@intel.com designates 192.55.52.93 as permitted sender) smtp.mailfrom=lkp@intel.com; dmarc=pass (policy=none) header.from=intel.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1688640747; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:content-transfer-encoding:in-reply-to: references:dkim-signature; bh=CTh7iUjAQJ+pCSOKNIbg7LeLEuNv6+fnm2hF6MFPHBc=; b=nJi8z+4Bi2AMv+Yto4QXJgUi6PZlBtqyX16vSZOzxRWZK/eI2SlznJhIkRCn0C+AZO+22K y74/WVso599nd7+zdjXRjl6CHCqtfEY6K+tdumFY2syKFz1JBZWv0Acm38i0Xg1aL8g2dz IekttMN9yFfBM7ZXf6os9ZhPjPNjRUU= ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1688640747; a=rsa-sha256; cv=none; b=u1CoGeAY24uAr20F0oSC++B5/dsQ/WO18nE6Zf/R6u8YaBBaH7eQLaq2ph5UgBxP09RFwj 3CAnMg5Mg5PIrlId4BhXhFPNUTNR8uWqj0KT2DYRmmBu7bMYoAqnRcMS+7lrNHnKoVMg0u ejiXjoUx+7vdDz8m3vzEZcMyuUCC5aA= ARC-Authentication-Results: i=1; imf20.hostedemail.com; dkim=pass header.d=intel.com header.s=Intel header.b=G7I0DgvI; spf=pass (imf20.hostedemail.com: domain of lkp@intel.com designates 192.55.52.93 as permitted sender) smtp.mailfrom=lkp@intel.com; dmarc=pass (policy=none) header.from=intel.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1688640746; x=1720176746; h=date:from:to:cc:subject:message-id:mime-version; bh=WgNfcFmgoHg7Ejpd1gRA+ku2/6OzM5A50weImTBhw0o=; b=G7I0DgvIgnZRCAn8ru4jr1IIRGt9r+KsPwZTaVIwV8LfLgp1QzQ5kzwC FDcerRnOlYC+ifLb+4LmU9GsZ+PSbGPIgnZ1afFgb8pH52yWbdYRf1Rc4 YZKnVJiakoGeBQzA25lia8vUf3OWyrG6I+sm4X9TqsmIb8s74j2lusChz /UTXsldbVRW3nrE6VpcKzw2k0Gw+8iENwqHUAu+o6oupnJshIBRSxie5x V705PRsQH5vkGn3bY/179xgUsaqEMui2JYET4iR//x9pOkFArNuWM18Sw /fnWbWR4HhMYuJM9nT2Ix1w2EVBYkRfPOZ3AjjMtuMgKGZKK3NuHpTeyW w==; X-IronPort-AV: E=McAfee;i="6600,9927,10762"; a="361045362" X-IronPort-AV: E=Sophos;i="6.01,185,1684825200"; d="scan'208";a="361045362" Received: from fmsmga004.fm.intel.com ([10.253.24.48]) by fmsmga102.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 06 Jul 2023 03:52:24 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=McAfee;i="6600,9927,10762"; a="789503755" X-IronPort-AV: E=Sophos;i="6.01,185,1684825200"; d="scan'208";a="789503755" Received: from lkp-server01.sh.intel.com (HELO c544d7fc5005) ([10.239.97.150]) by fmsmga004.fm.intel.com with ESMTP; 06 Jul 2023 03:52:22 -0700 Received: from kbuild by c544d7fc5005 with local (Exim 4.96) (envelope-from ) id 1qHMb0-0001G8-0v; Thu, 06 Jul 2023 10:52:22 +0000 Date: Thu, 6 Jul 2023 18:52:16 +0800 From: kernel test robot To: Hugh Dickins Cc: oe-kbuild-all@lists.linux.dev, linux-kernel@vger.kernel.org, Andrew Morton , Linux Memory Management List Subject: arch/m68k/include/asm/mmu_context.h:164 load_ksp_mmu() warn: unsigned 'mmuar' is never less than zero. Message-ID: <202307061849.rJKwVbXb-lkp@intel.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-Rspamd-Queue-Id: 6B7A51C0013 X-Rspam-User: X-Rspamd-Server: rspam11 X-Stat-Signature: bqge446x4y47exe456g86zhqmef43nkw X-HE-Tag: 1688640746-120207 X-HE-Meta: U2FsdGVkX1/OxRxJcdMXQRvWh1kdQ1hPEOcOn03xXUFk9C3Fx124QkcR9RD+Tx8KqhA2B/qdUU3FPIBa248S9PWzqecOmzI3cfWg0gU1EJoQA7U2Finu/5hm/8UASrxneC3VP1xD6bengjCXbSCj9ZVxXIQSSJB4nYMXGc6oWoY1ijupHGkh4zyeOeOQgdJav4qQUNtOVANYqoWOyvY19/5p+An1SdBDzytVcF4ExmDmSI639uTFmk33aM1WBDntMani1R7apB09JLUNHhlh+qf1wzQDebixsFgP2tL2j0eIiPyvzFgjkiVDEC2PaxKa+jaQc9+fNuC+mMxvVmZB1IfnzwZC/SAr9l0SoDAb/kn078l7Y2JW8/72YKRiHqGytZnVH471QaImjrdhDDhUXcUoXZ5iOshqH2k0QwhNUxSvtHqYos58jO25P2yAE2UKPIrF6BkYcEeE+cUpNE8Lp+rcaBMd478Hwm4Cn/iCzfWSarCTeo0SGdxF95nwMa2nhiAbJyZjQSQzB9LE19KqSooBtPV/R57OsH+afQkvIJOK3CpeDK9F3zKVgiiZA/fnshKWOoqklpc0qBgBq6dlHQq/Kr4B6vbbN/m5t9IPGu5EhXmiKMKRqFJ1MbDjZNJcCWJbcTtGP1cp76xFtlD+vqzIvNhH1CL9QS+2/ciaHJf8HmAj0bgXRkcRfGrYwG57ahlqrZsNiZDO9vzL3VQ5ey+2cO/oPVwult6xyCZHOYoaDsyIqUfNed4Jjq9y2L+AMtIK94noek1ZOXl94MfmELPI+8yAifRMnhFCBQgTHjVPP5Mazu/NNpeUqFx5oCmkedSGwefGJaL9C5VayG/WrxN+oNNweHxd1Vjm/O/Q+3QEgMGZhfP0HZGL7EjS60+YhXDXEwik9aGOUKV835OhTj0p+7IChQxeGDrSP76DsOF2MsgFGbgx0rTKpsi8xouYvoLe+GbBiGqD41z9s/B bOFLyLmf sWcjcmcQ1xPmAX2L/Yei6oogyl1BkrpMrXgSGWHnF+SscDtBn1JZPMVhPou0l7pYXNm1zHzhjVZ5w8d8yo4yCD5AE3spnKUb5UO0s2u5ME762KJXWPJTKidorwWFNgVMPFzolYoi6vXAMFiMFOgJ9KXRi0eJwA7XG40v0IQgkTaUWKtfFgsGq8O9w/GlMsvJvJcZg+NfHrr1Z4OcumqJ7dEIUBvby+mWCfanCEPwUo5jw6nn2khARSJDCw56pMqg/J0M4Btdhxrn7PmU3duRxrVsLHJ0NHpao6VW5SHyNFYAY/Fjh90phtTkeN1cqwBEE23f+/wxdvU1IUWOb9pVs+H6hB9nv1Vt3NbP4KdjEtyFpoaQ4xgqb90EJyg== X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master head: c17414a273b81fe4e34e11d69fc30cc8b1431614 commit: e67b37c368b7cc24b8c0fe5ab6c44422312eab37 m68k: allow pte_offset_map[_lock]() to fail date: 2 weeks ago config: m68k-randconfig-m031-20230706 (https://download.01.org/0day-ci/archive/20230706/202307061849.rJKwVbXb-lkp@intel.com/config) compiler: m68k-linux-gcc (GCC) 12.3.0 reproduce: (https://download.01.org/0day-ci/archive/20230706/202307061849.rJKwVbXb-lkp@intel.com/reproduce) If you fix the issue in a separate patch/commit (i.e. not just a new version of the same patch/commit), kindly add following tags | Reported-by: kernel test robot | Closes: https://lore.kernel.org/oe-kbuild-all/202307061849.rJKwVbXb-lkp@intel.com/ New smatch warnings: arch/m68k/include/asm/mmu_context.h:164 load_ksp_mmu() warn: unsigned 'mmuar' is never less than zero. Old smatch warnings: arch/m68k/include/asm/mmu_context.h:114 load_ksp_mmu() warn: always true condition '(mmuar >= (0)) => (0-u32max >= 0)' arch/m68k/include/asm/mmu_context.h:140 load_ksp_mmu() warn: always true condition '(mmuar >= (0)) => (0-u32max >= 0)' vim +/mmuar +164 arch/m68k/include/asm/mmu_context.h 92 93 static inline void load_ksp_mmu(struct task_struct *task) 94 { 95 unsigned long flags; 96 struct mm_struct *mm; 97 int asid; 98 pgd_t *pgd; 99 p4d_t *p4d; 100 pud_t *pud; 101 pmd_t *pmd; 102 pte_t *pte = NULL; 103 unsigned long mmuar; 104 105 local_irq_save(flags); 106 mmuar = task->thread.ksp; 107 108 /* Search for a valid TLB entry, if one is found, don't remap */ 109 mmu_write(MMUAR, mmuar); 110 mmu_write(MMUOR, MMUOR_STLB | MMUOR_ADR); 111 if (mmu_read(MMUSR) & MMUSR_HIT) 112 goto end; 113 114 if (mmuar >= PAGE_OFFSET) { 115 mm = &init_mm; 116 } else { 117 pr_info("load_ksp_mmu: non-kernel mm found: 0x%p\n", task->mm); 118 mm = task->mm; 119 } 120 121 if (!mm) 122 goto bug; 123 124 pgd = pgd_offset(mm, mmuar); 125 if (pgd_none(*pgd)) 126 goto bug; 127 128 p4d = p4d_offset(pgd, mmuar); 129 if (p4d_none(*p4d)) 130 goto bug; 131 132 pud = pud_offset(p4d, mmuar); 133 if (pud_none(*pud)) 134 goto bug; 135 136 pmd = pmd_offset(pud, mmuar); 137 if (pmd_none(*pmd)) 138 goto bug; 139 140 pte = (mmuar >= PAGE_OFFSET) ? pte_offset_kernel(pmd, mmuar) 141 : pte_offset_map(pmd, mmuar); 142 if (!pte || pte_none(*pte) || !pte_present(*pte)) 143 goto bug; 144 145 set_pte(pte, pte_mkyoung(*pte)); 146 asid = mm->context & 0xff; 147 if (!pte_dirty(*pte) && mmuar <= PAGE_OFFSET) 148 set_pte(pte, pte_wrprotect(*pte)); 149 150 mmu_write(MMUTR, (mmuar & PAGE_MASK) | (asid << MMUTR_IDN) | 151 (((int)(pte->pte) & (int)CF_PAGE_MMUTR_MASK) 152 >> CF_PAGE_MMUTR_SHIFT) | MMUTR_V); 153 154 mmu_write(MMUDR, (pte_val(*pte) & PAGE_MASK) | 155 ((pte->pte) & CF_PAGE_MMUDR_MASK) | MMUDR_SZ_8KB | MMUDR_X); 156 157 mmu_write(MMUOR, MMUOR_ACC | MMUOR_UAA); 158 159 goto end; 160 161 bug: 162 pr_info("ksp load failed: mm=0x%p ksp=0x08%lx\n", mm, mmuar); 163 end: > 164 if (pte && mmuar < PAGE_OFFSET) 165 pte_unmap(pte); 166 local_irq_restore(flags); 167 } 168 -- 0-DAY CI Kernel Test Service https://github.com/intel/lkp-tests/wiki