From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mgamail.intel.com (mgamail.intel.com [198.175.65.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 1E00332D455 for ; Tue, 18 Nov 2025 10:01:11 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=198.175.65.17 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1763460076; cv=none; b=WDnMjCVeksRuajhnfU8pJHbok6KTosRnKC9QYux0k8LzHRfvu/9y2zmwgtbCOt+V/6TjSrk/UXoA5o/dgRYDSBayBunc45SsiksQ8yoUscZh3xo4dqXIjuiYfDB+EcQTu5dFw3Sn8qm0ZrDfuXkUyZCCQm3/H+SoXUC3IwYf+pE= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1763460076; c=relaxed/simple; bh=QETlHsyxA1CMcwQ0apbk0e1OJvFHNZ/8HwHxR+k3cOQ=; h=Date:From:To:Cc:Subject:Message-ID:MIME-Version:Content-Type: Content-Disposition; b=gSvZ2Jt/3KKXQIo7HpSyUCPcWaXgGbb6RIaUh2KtCFc1MgxjuqDZP0Pc+UR2SJ8vmqzk7/KzhvKiTqb9IWOoYRTj9tsekBKvXDMC8bpRYdGsM3zeEOrmvG1doDjc7C00PvPUFsqm6QvPHWJQ4b8QdQnsGVFjqqfYH9kgWUMAq+c= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=intel.com; spf=pass smtp.mailfrom=intel.com; dkim=pass (2048-bit key) header.d=intel.com header.i=@intel.com header.b=WBtxRjX2; arc=none smtp.client-ip=198.175.65.17 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=intel.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=intel.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=intel.com header.i=@intel.com header.b="WBtxRjX2" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1763460074; x=1794996074; h=date:from:to:cc:subject:message-id:mime-version; bh=QETlHsyxA1CMcwQ0apbk0e1OJvFHNZ/8HwHxR+k3cOQ=; b=WBtxRjX2qw7uOdmPZnGo+j5AUXYtWia6fi5B9l8mWu73Ro84edKBDInI 9SL4OFd52B0lxF9tfc0fzHifCSFJillHQ4USP5V0kDAH/8rGFTIJNb8TZ Yr1VBaz/Zf/5Gc+fuUx+etO+tk+G2KDOdPffrPktWWJzgc1o6IEIyhXU/ GPtuILEDkUXnXFVTuEwTi8Ea0/FUHiVDoOzp8AxUS82VcVoR5N11wJT5N usGoXReXL+TpsD0305gG77wbCclBIjCgeOVjMzIotQNBheFIL1iD0ngmu g2zzzthRcdAtduWjUvNzJPVC0KGqgTbOj8HtN3JwaBfveCDMRKiKF9JW7 g==; X-CSE-ConnectionGUID: 6gay/LCvS+esfMCHLA8uYw== X-CSE-MsgGUID: 9XWvW556QLqdJVSUepWkTg== X-IronPort-AV: E=McAfee;i="6800,10657,11616"; a="65416174" X-IronPort-AV: E=Sophos;i="6.19,314,1754982000"; d="scan'208";a="65416174" Received: from fmviesa007.fm.intel.com ([10.60.135.147]) by orvoesa109.jf.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 18 Nov 2025 02:01:12 -0800 X-CSE-ConnectionGUID: 6N/4puHrSYe0f4398dDCnA== X-CSE-MsgGUID: LqqJBlK7QkKHqkm7llEvRg== X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="6.19,314,1754982000"; d="scan'208";a="190382806" Received: from lkp-server01.sh.intel.com (HELO adf6d29aa8d9) ([10.239.97.150]) by fmviesa007.fm.intel.com with ESMTP; 18 Nov 2025 02:01:10 -0800 Received: from kbuild by adf6d29aa8d9 with local (Exim 4.96) (envelope-from ) id 1vLIWK-0001a3-0N; Tue, 18 Nov 2025 10:01:08 +0000 Date: Tue, 18 Nov 2025 18:00:59 +0800 From: kernel test robot To: oe-kbuild@lists.linux.dev Cc: lkp@intel.com, Dan Carpenter Subject: [android-common:android17-6.18 3/3] mm/msync.c:90 __do_sys_msync() warn: comparison of a potentially tagged address (__do_sys_msync, -2, __UNIQUE_ID_x_890) Message-ID: <202511181724.3dndsm25-lkp@intel.com> Precedence: bulk X-Mailing-List: oe-kbuild@lists.linux.dev List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline BCC: lkp@intel.com CC: oe-kbuild-all@lists.linux.dev TO: cros-kernel-buildreports@googlegroups.com tree: https://android.googlesource.com/kernel/common android17-6.18 head: d014070de77f2e1770b4b08659ad4ba0b3c6f5f6 commit: 378b7708194fff77c9020392067329931c3fcc04 [3/3] sched: Make migrate_{en,dis}able() inline :::::: branch date: 12 hours ago :::::: commit date: 8 weeks ago config: arm64-randconfig-r073-20251118 (https://download.01.org/0day-ci/archive/20251118/202511181724.3dndsm25-lkp@intel.com/config) compiler: aarch64-linux-gcc (GCC) 8.5.0 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 | Reported-by: Dan Carpenter | Closes: https://lore.kernel.org/r/202511181724.3dndsm25-lkp@intel.com/ New smatch warnings: mm/msync.c:90 __do_sys_msync() warn: comparison of a potentially tagged address (__do_sys_msync, -2, __UNIQUE_ID_x_890) mm/msync.c:90 __do_sys_msync() warn: comparison of a potentially tagged address (__do_sys_msync, -2, __UNIQUE_ID_x_890) fs/userfaultfd.c:1515 userfaultfd_unregister() warn: comparison of a potentially tagged address (userfaultfd_unregister, -2, __UNIQUE_ID_x_900) Old smatch warnings: fs/userfaultfd.c:1348 userfaultfd_register() warn: comparison of a potentially tagged address (userfaultfd_register, -2, end) fs/userfaultfd.c:1498 userfaultfd_unregister() warn: comparison of a potentially tagged address (userfaultfd_unregister, -2, start) fs/userfaultfd.c:1513 userfaultfd_unregister() warn: comparison of a potentially tagged address (userfaultfd_unregister, -2, start) vim +90 mm/msync.c ^1da177e4c3f41 Linus Torvalds 2005-04-16 17 ^1da177e4c3f41 Linus Torvalds 2005-04-16 18 /* ^1da177e4c3f41 Linus Torvalds 2005-04-16 19 * MS_SYNC syncs the entire file - including mappings. ^1da177e4c3f41 Linus Torvalds 2005-04-16 20 * 204ec841fbea3e Peter Zijlstra 2006-09-25 21 * MS_ASYNC does not start I/O (it used to, up to 2.5.67). 204ec841fbea3e Peter Zijlstra 2006-09-25 22 * Nor does it marks the relevant pages dirty (it used to up to 2.6.17). 204ec841fbea3e Peter Zijlstra 2006-09-25 23 * Now it doesn't do anything, since dirty pages are properly tracked. 204ec841fbea3e Peter Zijlstra 2006-09-25 24 * 204ec841fbea3e Peter Zijlstra 2006-09-25 25 * The application may now run fsync() to ^1da177e4c3f41 Linus Torvalds 2005-04-16 26 * write out the dirty pages and wait on the writeout and check the result. ^1da177e4c3f41 Linus Torvalds 2005-04-16 27 * Or the application may run fadvise(FADV_DONTNEED) against the fd to start ^1da177e4c3f41 Linus Torvalds 2005-04-16 28 * async writeout immediately. 16538c40776b8b Amos Waterland 2006-03-24 29 * So by _not_ starting I/O in MS_ASYNC we provide complete flexibility to ^1da177e4c3f41 Linus Torvalds 2005-04-16 30 * applications. ^1da177e4c3f41 Linus Torvalds 2005-04-16 31 */ 6a6160a7b5c27b Heiko Carstens 2009-01-14 32 SYSCALL_DEFINE3(msync, unsigned long, start, size_t, len, int, flags) ^1da177e4c3f41 Linus Torvalds 2005-04-16 33 { ^1da177e4c3f41 Linus Torvalds 2005-04-16 34 unsigned long end; 204ec841fbea3e Peter Zijlstra 2006-09-25 35 struct mm_struct *mm = current->mm; ^1da177e4c3f41 Linus Torvalds 2005-04-16 36 struct vm_area_struct *vma; 676758bdb7bfca Andrew Morton 2006-03-24 37 int unmapped_error = 0; 676758bdb7bfca Andrew Morton 2006-03-24 38 int error = -EINVAL; ^1da177e4c3f41 Linus Torvalds 2005-04-16 39 057d3389108eda Andrey Konovalov 2019-09-25 40 start = untagged_addr(start); 057d3389108eda Andrey Konovalov 2019-09-25 41 ^1da177e4c3f41 Linus Torvalds 2005-04-16 42 if (flags & ~(MS_ASYNC | MS_INVALIDATE | MS_SYNC)) ^1da177e4c3f41 Linus Torvalds 2005-04-16 43 goto out; b0d61c7e56815b Alexander Kuleshov 2015-11-05 44 if (offset_in_page(start)) ^1da177e4c3f41 Linus Torvalds 2005-04-16 45 goto out; ^1da177e4c3f41 Linus Torvalds 2005-04-16 46 if ((flags & MS_ASYNC) && (flags & MS_SYNC)) ^1da177e4c3f41 Linus Torvalds 2005-04-16 47 goto out; ^1da177e4c3f41 Linus Torvalds 2005-04-16 48 error = -ENOMEM; ^1da177e4c3f41 Linus Torvalds 2005-04-16 49 len = (len + ~PAGE_MASK) & PAGE_MASK; ^1da177e4c3f41 Linus Torvalds 2005-04-16 50 end = start + len; ^1da177e4c3f41 Linus Torvalds 2005-04-16 51 if (end < start) ^1da177e4c3f41 Linus Torvalds 2005-04-16 52 goto out; ^1da177e4c3f41 Linus Torvalds 2005-04-16 53 error = 0; ^1da177e4c3f41 Linus Torvalds 2005-04-16 54 if (end == start) ^1da177e4c3f41 Linus Torvalds 2005-04-16 55 goto out; ^1da177e4c3f41 Linus Torvalds 2005-04-16 56 /* ^1da177e4c3f41 Linus Torvalds 2005-04-16 57 * If the interval [start,end) covers some unmapped address ranges, f6899bc03cbadc Nikita Ermakov 2021-04-29 58 * just ignore them, but return -ENOMEM at the end. Besides, if the f6899bc03cbadc Nikita Ermakov 2021-04-29 59 * flag is MS_ASYNC (w/o MS_INVALIDATE) the result would be -ENOMEM f6899bc03cbadc Nikita Ermakov 2021-04-29 60 * anyway and there is nothing left to do, so return immediately. ^1da177e4c3f41 Linus Torvalds 2005-04-16 61 */ d8ed45c5dcd455 Michel Lespinasse 2020-06-08 62 mmap_read_lock(mm); 204ec841fbea3e Peter Zijlstra 2006-09-25 63 vma = find_vma(mm, start); 204ec841fbea3e Peter Zijlstra 2006-09-25 64 for (;;) { 9c50823eebf7c2 Andrew Morton 2006-03-24 65 struct file *file; 7fc34a62ca4434 Matthew Wilcox 2014-06-04 66 loff_t fstart, fend; 9c50823eebf7c2 Andrew Morton 2006-03-24 67 204ec841fbea3e Peter Zijlstra 2006-09-25 68 /* Still start < end. */ 204ec841fbea3e Peter Zijlstra 2006-09-25 69 error = -ENOMEM; 204ec841fbea3e Peter Zijlstra 2006-09-25 70 if (!vma) 204ec841fbea3e Peter Zijlstra 2006-09-25 71 goto out_unlock; ^1da177e4c3f41 Linus Torvalds 2005-04-16 72 /* Here start < vma->vm_end. */ ^1da177e4c3f41 Linus Torvalds 2005-04-16 73 if (start < vma->vm_start) { f6899bc03cbadc Nikita Ermakov 2021-04-29 74 if (flags == MS_ASYNC) f6899bc03cbadc Nikita Ermakov 2021-04-29 75 goto out_unlock; ^1da177e4c3f41 Linus Torvalds 2005-04-16 76 start = vma->vm_start; 204ec841fbea3e Peter Zijlstra 2006-09-25 77 if (start >= end) 9c50823eebf7c2 Andrew Morton 2006-03-24 78 goto out_unlock; 204ec841fbea3e Peter Zijlstra 2006-09-25 79 unmapped_error = -ENOMEM; ^1da177e4c3f41 Linus Torvalds 2005-04-16 80 } 204ec841fbea3e Peter Zijlstra 2006-09-25 81 /* Here vma->vm_start <= start < vma->vm_end. */ 204ec841fbea3e Peter Zijlstra 2006-09-25 82 if ((flags & MS_INVALIDATE) && 204ec841fbea3e Peter Zijlstra 2006-09-25 83 (vma->vm_flags & VM_LOCKED)) { 204ec841fbea3e Peter Zijlstra 2006-09-25 84 error = -EBUSY; 9c50823eebf7c2 Andrew Morton 2006-03-24 85 goto out_unlock; 9c50823eebf7c2 Andrew Morton 2006-03-24 86 } 9c50823eebf7c2 Andrew Morton 2006-03-24 87 file = vma->vm_file; 496a8e68654a5f Namjae Jeon 2014-07-02 88 fstart = (start - vma->vm_start) + 496a8e68654a5f Namjae Jeon 2014-07-02 89 ((loff_t)vma->vm_pgoff << PAGE_SHIFT); 7fc34a62ca4434 Matthew Wilcox 2014-06-04 @90 fend = fstart + (min(end, vma->vm_end) - start) - 1; :::::: The code at line 90 was first introduced by commit :::::: 7fc34a62ca4434a79c68e23e70ed26111b7a4cf8 mm/msync.c: sync only the requested range in msync() :::::: TO: Matthew Wilcox :::::: CC: Linus Torvalds -- 0-DAY CI Kernel Test Service https://github.com/intel/lkp-tests/wiki