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 867CDEE0213 for ; Wed, 11 Sep 2024 15:26:32 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id D277E94005C; Wed, 11 Sep 2024 11:26:31 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id CAEFD94004F; Wed, 11 Sep 2024 11:26:31 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id A8D8694005C; Wed, 11 Sep 2024 11:26:31 -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 80BBC94004F for ; Wed, 11 Sep 2024 11:26:31 -0400 (EDT) Received: from smtpin07.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay09.hostedemail.com (Postfix) with ESMTP id 29C28803F8 for ; Wed, 11 Sep 2024 15:26:31 +0000 (UTC) X-FDA: 82552834182.07.AA1194F Received: from mx0b-00069f02.pphosted.com (mx0b-00069f02.pphosted.com [205.220.177.32]) by imf09.hostedemail.com (Postfix) with ESMTP id CAC0814000E for ; Wed, 11 Sep 2024 15:26:27 +0000 (UTC) Authentication-Results: imf09.hostedemail.com; dkim=pass header.d=oracle.com header.s=corp-2023-11-20 header.b=iXYUzLeN; dkim=pass header.d=oracle.onmicrosoft.com header.s=selector2-oracle-onmicrosoft-com header.b=FuXIIHJ1; dmarc=pass (policy=reject) header.from=oracle.com; arc=pass ("microsoft.com:s=arcselector10001:i=1"); spf=pass (imf09.hostedemail.com: domain of liam.howlett@oracle.com designates 205.220.177.32 as permitted sender) smtp.mailfrom=liam.howlett@oracle.com ARC-Seal: i=2; s=arc-20220608; d=hostedemail.com; t=1726068383; a=rsa-sha256; cv=pass; b=tvslb+wz5ypx5RTbCtTsQPj71bXscY1Y+vOJZCsNUzTM2nLZhmilEXeftPJn/2mkoJPBRb CYxIQutSzTI6dM7aLapFkWMUabXxDyUcFINvo2g84nkke3ayzWB4NZKTOKDw5YBiBbb9tH oayjprB7VE0jvCXyXgIWWkRmiWarmIE= ARC-Authentication-Results: i=2; imf09.hostedemail.com; dkim=pass header.d=oracle.com header.s=corp-2023-11-20 header.b=iXYUzLeN; dkim=pass header.d=oracle.onmicrosoft.com header.s=selector2-oracle-onmicrosoft-com header.b=FuXIIHJ1; dmarc=pass (policy=reject) header.from=oracle.com; arc=pass ("microsoft.com:s=arcselector10001:i=1"); spf=pass (imf09.hostedemail.com: domain of liam.howlett@oracle.com designates 205.220.177.32 as permitted sender) smtp.mailfrom=liam.howlett@oracle.com ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1726068383; 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:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=GbjZeKBgsrQ897laDBXLP7xmHY38GzqoJWO0TARfZH8=; b=IlM69C7QCVs5kAiw8IOLluUvTZJK5ptwlufVG1tMLOboPQ0gl+5xJ0ESlUpe1n25TfaDBS AGsAVUIpfEdmE5Ljtm1zdrTXTAhXiueoFJt7b5AN3OmjBACKRs3PsqNFZ8lsR0DSFLj5ES N5pMLO7Zxsw1TSJVzf3Cbi0Rupj6tfQ= Received: from pps.filterd (m0246630.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.18.1.2/8.18.1.2) with ESMTP id 48BCgFqD005637; Wed, 11 Sep 2024 15:26:26 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h= date:from:to:cc:subject:message-id:references:content-type :content-transfer-encoding:in-reply-to:mime-version; s= corp-2023-11-20; bh=GbjZeKBgsrQ897laDBXLP7xmHY38GzqoJWO0TARfZH8=; b= iXYUzLeNNcS9ileRLmfrluucBiotdiSrg3k6NSlHYFbS2k4g8p0De1wFqg3j4YMm ANFSqvhzQCUubM2nXtBx1++g/Eec6RhgexTgoxqNaYM9qQjT9Tqme4EDcfAyJ7eT ggfSi1NqVHi5TtkaTKfaiN1wuaR34usItgIp6LHFTZr+QSr+PXWmVB3dOsygXY5D oi8XMvKPaex8GCbgtVhNK4uGpPEVpJRXamR/IdqfwLEdLNxZZNWBdJmZvcmbrTXQ J7o/p9vPeAsxUT45Jb6n9gf4C4uAZvaLkqgKiLmqZj6c2KDe+hCoKv8jVThFev5v xioV7BMCqz7SiluAQS3bHw== Received: from phxpaimrmta01.imrmtpd1.prodappphxaev1.oraclevcn.com (phxpaimrmta01.appoci.oracle.com [138.1.114.2]) by mx0b-00069f02.pphosted.com (PPS) with ESMTPS id 41gd8d0e4w-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Wed, 11 Sep 2024 15:26:26 +0000 (GMT) Received: from pps.filterd (phxpaimrmta01.imrmtpd1.prodappphxaev1.oraclevcn.com [127.0.0.1]) by phxpaimrmta01.imrmtpd1.prodappphxaev1.oraclevcn.com (8.18.1.2/8.18.1.2) with ESMTP id 48BFAIs5033689; Wed, 11 Sep 2024 15:26:25 GMT Received: from nam10-bn7-obe.outbound.protection.outlook.com (mail-bn7nam10lp2048.outbound.protection.outlook.com [104.47.70.48]) by phxpaimrmta01.imrmtpd1.prodappphxaev1.oraclevcn.com (PPS) with ESMTPS id 41gd9a3p1f-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Wed, 11 Sep 2024 15:26:25 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=U56g/s7/3alAnBf/qUMv8QrmHijqZnWp8hOVVScyzkDwPfnmTGDC5Duyfd8cfwm6NmiqlRPHfAr4qmCOfSvDPe+Ury+t3NqUTAz7A2biDClnhWDVomU8YRHvO9S0xLV1fonWLQlHF20Bt54bzVV+N2WOjpTY8lVsqa2m6S7cTvGs8xz4XM+a3BuuHxsjfGNbDSPxHjzaaQOaP1QM2tLMjVCulPPlDHFQ28oSY4npY4F0CpI6U81xrY75fNosEJS9P3lbpx+AnJELU9uPYiihppfZ6LvZv2b34mprLyJU/D6N92082/UwrAs+w/6hnY+KCGK/M28GlNzr14X33g5Gmw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=GbjZeKBgsrQ897laDBXLP7xmHY38GzqoJWO0TARfZH8=; b=V50Y3HZbnrq8NHQYJI7PHTdAzebMLD1pePl1OruhDd0bLw8bZmEO/D/2fZgJPgHYIEROuRuJsXCQ8SzeKfcDBF/8ilONV1QcBwYt26+2wcolxvmLsat+iKTYg49krAcP6JffYd+y0hWvPoTZWOTfBDXyxXjnuGoED8mohB9KjlH6QwWiCk+sPJ7qLedMINramvqLOEsOH1B0x7SpbyzLzLLXihyYqHEjTKyDk75WJVKndAdXXtlOf7y6LGHJOcvhgDKX7KMwU6+oGuq4pPe+I4VufEHKhj5Qm2W89+pa2+RL3fuJ1NT5Wj4BXvGsuLq18METxSzt/zuVGfaIyUto7g== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=oracle.com; dmarc=pass action=none header.from=oracle.com; dkim=pass header.d=oracle.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.onmicrosoft.com; s=selector2-oracle-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=GbjZeKBgsrQ897laDBXLP7xmHY38GzqoJWO0TARfZH8=; b=FuXIIHJ1NWMbdRprLIEcFajO/AJ61R6sMA7VNVtKwyHxVsJfYXsOx0cfHBeamWjvY8TsurOzUvNAZmVAOn6VcbOJ3dyz2Tz3ZAxRU6Ya5zgadxuqZ7db47qWlX099GvUEPfuMKnRkVYqqceCUTWLYO4UgYESq2iSY4nG1mmoZmE= Received: from DS0PR10MB7933.namprd10.prod.outlook.com (2603:10b6:8:1b8::15) by SJ0PR10MB4814.namprd10.prod.outlook.com (2603:10b6:a03:2d5::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7939.16; Wed, 11 Sep 2024 15:26:22 +0000 Received: from DS0PR10MB7933.namprd10.prod.outlook.com ([fe80::2561:85b0:ae8f:9490]) by DS0PR10MB7933.namprd10.prod.outlook.com ([fe80::2561:85b0:ae8f:9490%3]) with mapi id 15.20.7918.024; Wed, 11 Sep 2024 15:26:21 +0000 Date: Wed, 11 Sep 2024 11:26:19 -0400 From: "Liam R. Howlett" To: Wei Yang Cc: akpm@linux-foundation.org, maple-tree@lists.infradead.org, linux-mm@kvack.org Subject: Re: [PATCH 1/2] maple_tree: i is always less than or equal to mas_end Message-ID: Mail-Followup-To: "Liam R. Howlett" , Wei Yang , akpm@linux-foundation.org, maple-tree@lists.infradead.org, linux-mm@kvack.org References: <20240911142759.20989-1-richard.weiyang@gmail.com> <20240911142759.20989-2-richard.weiyang@gmail.com> Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable In-Reply-To: <20240911142759.20989-2-richard.weiyang@gmail.com> User-Agent: NeoMutt/20240425 X-ClientProxiedBy: YT4PR01CA0012.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:b01:d1::13) To DS0PR10MB7933.namprd10.prod.outlook.com (2603:10b6:8:1b8::15) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: DS0PR10MB7933:EE_|SJ0PR10MB4814:EE_ X-MS-Office365-Filtering-Correlation-Id: bb5c70a2-23e4-40d6-3533-08dcd27616c9 X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|366016|376014|1800799024; X-Microsoft-Antispam-Message-Info: =?utf-8?B?Qmx4ZnBLRlRnOEhJYVZxemM4MmI1UERDWTlsaWRtdlU0bUxYRWNvQkJyTE16?= =?utf-8?B?TkJJUDdSVXlYb21GMFhsUmd5VkRteE1KZVJjNDRBUTRmSXNGNEFuRkNUbDVR?= =?utf-8?B?eXNiZEdveWp5L0JxVjdhc2FDM003VHV3UklzYW9tazFWOUdTRHM0eVE1Z1Vz?= =?utf-8?B?SWJiK214YjhweDNMUWdvUDExcFFjUUVjNkhNWEVNYTZWZUZXMzhHSFh2ZDhw?= =?utf-8?B?YWtHK3BOZXpxcVRIUU1KU2lJcHRDbEhOelVDUnBQVUFPQzZpUFBsMnBHQkdl?= =?utf-8?B?L05nTFc2azRKeDN3TFlVdkFxSGljc2dsVFp2SjVGQVNOcmw3YUhJMFp3M0JD?= =?utf-8?B?dGpFWm1XNk5rWW9IVEplbGRCTVpxU1dLZERydHoyV1NpTXU2MGdBSDYrLzlr?= =?utf-8?B?WWZLTVpuTSs4eXNyTG5RM1VJQVRYcGFYRERpZGZHcHk1QjJSdFlPUDR3Tjdl?= =?utf-8?B?SGpwYTM4cllOcWFPbHNDU2Y1Sy9KUjNQUWxjQ09oY0hKbnlCQzZPdTFvdVM3?= =?utf-8?B?V29ZeFl1MFpKQkVlSitJaytuaWpYTGE0TytJcVdWUTdBYmlXZTEwKysyaFVM?= =?utf-8?B?SHZiTDN6bFZ2WElmM3dZOENaa0xtdDFHd1NsMld4Z1F3VFpCWFU1M2dLNzNS?= =?utf-8?B?Lzk2THNyN202MXVyc0VBTUk4bGRTSEt4K0IwRjREa2gwZjlBVFZPS1ZGOFA0?= =?utf-8?B?SlJqYUcyUEhmeERJajU4MmxWY0xrSXE2REZNZFlZV3Q3V3RFZmJtVmZza3E1?= =?utf-8?B?dTFQa1Y1RVM1OUw3a1N3WmVJdklmZjhpaEc4WjAyZ3ZseUdhcXFvNVZ6dG41?= =?utf-8?B?RFR0L1NicU5sNVF1R2syNm9hYlpZM2xkeWRQRXRLbWJjRHViK0Q4QTNLci8y?= =?utf-8?B?c0Z3TjRMR09JaFdhQUppSjZFdjM4QnViL24wc25UTnFrbmJrS0EzY2pXQnNK?= =?utf-8?B?R0ZaTWsyVFRYSDZNcWMvbU9UVkF5OGR6bnJtS3ptOU5VS3J6MTAxdGVUaWFZ?= =?utf-8?B?WDRHZkJzL2dySTdiYTl1UnVsWUZMcXZrZWNSbi9PVVFkR1NrY2o0b2daS2c2?= =?utf-8?B?cjR5NzFZRkJVVjNQbk44cTYwTFlSWWZZUXNkd0NjZjEwc2JBWE9HOGxkZzF3?= =?utf-8?B?Ukxqa09GdHBBWGc1MTEvallVWk1UWjU1anRkajRpWk1PdE5jcml0WUNTSWRn?= =?utf-8?B?eW9rV0grSUpXQkFQR2F0eldQdUw4TkNuTE5YNWtBZW5SekpxT2t0bk5CcTBB?= =?utf-8?B?ZDZqS3MwVjVxQlBMSU9JbXhiQldwL0x6aDdRM3drOGlXL01GMlk1ZTM0TWh1?= =?utf-8?B?aUpteTBqY2JGL0NRakdrYk5NSGdiajlkMEkvNWU2bG1ZeWlrMjdTY2d0cVVZ?= =?utf-8?B?TExyblN6S3pmRDJYQ2hDcnVzQkJMd0xPNUhHVEN4SU9tRUtPdWxrdnlRd1gz?= =?utf-8?B?cGZGOU9ybUIwUTVUQkRZVi9BMlJ3dEk4SjhUeGpKNThLeWpOL3g4aTFrSDVa?= =?utf-8?B?ZHZwb3k3Vm53b3RzTjROQlRLa3NYcFRZZUZCd29lWWh0OFl1WjVURW5uT3JK?= =?utf-8?B?bHUvNnhkR3RTMDcyL2FBczdsZTVLZVZGK2RORHVqWkZLZVVHMzRxS21QS3pw?= =?utf-8?B?eFlwYzdqc0JUSSs1eEZya256OUp1dExNLytDOVhCZkxFVTJ6VUNtWkFRWDM0?= =?utf-8?B?LzFIRFoyTlB1YzZvSE42K3lDcDRMWHFpQXozK3dWYkFVbTdMVGRjWk1acm9Z?= =?utf-8?B?NFNjQ05yNlpsOURoZk1HM3EwVkMvTzhxYm5ibmxNTzRYK3lxNEZ5c09RM1Mr?= =?utf-8?B?SjArbWxJQlpuOXc0SFEyQT09?= X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:DS0PR10MB7933.namprd10.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230040)(366016)(376014)(1800799024);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?RXE0RUVId3dhSUFNWHg4T3VidkJNUlZxV0hoZVBqMyt5OEpiM2NxSy96WHpv?= =?utf-8?B?ak9XOUhydHVaZ0tzRHIwMVdnb3lMNFZKdnBGYUE1amxXaTlvM1M2VjNDd25z?= =?utf-8?B?T0tjSUVhbTdPdEw3bU0vUVRhcmJGS2NqSDZTRm5oRTl6U1Q0MVAySnhoY1lj?= =?utf-8?B?ZTk1cVpoU2Y0UGt4VHJvV3dYWElQRUVReE1WS2s2dXpkTWNMRzRwbHFoV2RN?= =?utf-8?B?V3dmMk85RXdEREZSRzlzcS9VakQ4bGhnaEExcXNvdjBZM2VzbGwrMnZFWGo4?= =?utf-8?B?V0lSYjB0YWdlTDJwOEUxSXdjVlFMeC9LNkk5TDdJWDdoMWNzd3lpRmpuQ1Q0?= =?utf-8?B?OHErc2VxckxVTVh5TTRVZmtUT0pzQTV4TWt4UWxWUWJQZ3NLb0FGZWoyVGRJ?= =?utf-8?B?VmoxRkNVOURDcUpxbVpFTzQzMU56bkdBdGdPcWdsd3UzQXM5K2ZzRTNienB5?= =?utf-8?B?QmRKN3pxWGRwWnBlRDdVQldHZTIweHg5RUt4U2JFQXU5Y3R4MlFhcVJSUTRm?= =?utf-8?B?Uk5jOERXb1JWOHBBZVlLZmtHRW03MDRNbVB6SmlkU3BGaE51U0hPT0JtbC9N?= =?utf-8?B?R3lDdUxzMHFqM0xqdnJoSGJ4ZXkvRlFBZU1NVEFxcnd6dmErNWR4TU1TUUtE?= =?utf-8?B?Y3ZqWC84T1Z3QWJpOEltZXlJV0pCZjVLeUIwK1dBWHlYcThUc1JNdW14MUF6?= =?utf-8?B?aHg1dE9hOHZzcU9DWnJZK0NxMnBuMnBRSXBVRlY1S0pzeGNFWThIYnhCa2Nz?= =?utf-8?B?Z054ZWd6T1Q2Q2JLYjhmajB5U3ZOTkpIWEpTNm9qM3UwaWthL0tjWkhnd2l2?= =?utf-8?B?TnhTMm01ZWUwWUZHZ0hXQmMyVDdmKzl6aFVZZmdxQ010MWhJdmVZR1JWSVJX?= =?utf-8?B?QlMxYUt6NVQ4aG0zaXk3bVFhb2lESEFEK05ZUkJvQkZMVWZERVdkaWNPVkhu?= =?utf-8?B?cjJ4YmpFZWtvMVVQSExMRmFDRHNBaW1oS1hYS0RTZG9zQktoVlhvYTd4aHpH?= =?utf-8?B?emNVMFBvdXdndW5FTXZDd2RPTmo2dDdsTDQ2WFdEejV0MmlOQXpHdGJLaG54?= =?utf-8?B?bVlMbmhLTExVV2VBb2tRanl4TTY0eSs0MFhDclg0N21PWDhkYVdEZWFlMUpX?= =?utf-8?B?R0ZjK1lnWU1UdzBWTlBkMjhGM0xwQ3Fra1ZYRCtaZ3lpaXBmUlBuRU1PenU2?= =?utf-8?B?Uzg0dXFjTUcvVmtXVUJQY2hmOTRPVzROcXdhajJwWFM4TE9BKzF0SExnLy9w?= =?utf-8?B?YWRIekIxQjhSempuYU5GU1dKN2FkeEVDUWtGOVpNelBqNlQ2cTFIM3dFOU5U?= =?utf-8?B?Y2R6WFlCYnhDQmNkdzh2WkZMZ0UzY2NoMWhlOXdaR1IxTjAxZG5aRHFFVDlr?= =?utf-8?B?bHhaVXh2ZTBEWm05Q00waDhuRnJkVTk0NWRldzBWOU55MWpaY0t6Qmp3NEpL?= =?utf-8?B?VXNrbWtPUWVUMTVmMzFEajBhaHhzUSsxbWN2VWdCcjkvUDdOT1RpMlBTdXAy?= =?utf-8?B?WDQ1aU5VSThzeXh4dForMXVHbkoxTXlYODRaK0hpVjMwN0Vld1F1a1BPWnkz?= =?utf-8?B?OElWSGJWVFBKd1FzYkllRUhGaEZQQ1NySXMvdnBGYUtWM09yTzY1WjNySmxx?= =?utf-8?B?QjJhRWNNQzhYNFRvQzNoeldtYlJKejY2REVUUzlpa3RHVGtLNnNlLzh2dkI1?= =?utf-8?B?VWRaS3N3cVkvd3ZmdnVwanlWZlR0Q0padjEzZEYrZVhpRjlGYmdXMnBqdE90?= =?utf-8?B?QkZ5cXFabi9nODZmTm9QYU1Bb2kxL1A3eEd6eUN1ditKN3lnK1ZIMEdUeFJH?= =?utf-8?B?eW5NTWFRTmhSMVprS2FQaS95ZWgxeWJlTGhlMTNFZURwcGkyMFdITVNEb2E2?= =?utf-8?B?U3pGUzFyNmpGY0hTS0RLaXEwOWZEdEdHTy9RdVpNelBhQXZCdy9oNkFVTjhx?= =?utf-8?B?cm95TmVqSnd4NzQwL2JTM0pIQVIxcXlJUERXTGdpYzJDaEROOGpFemdLam9t?= =?utf-8?B?QXo4VThlKzJITjVvVVFiRDNvRklNK0VtV3c3NDQ1ZnE1VWlaNERPQTFkMlhh?= =?utf-8?B?cThURzZGem1YdlZsaFFQak9kL1dEeHI5L2pEUjdjdWpWOEcvSkd6MitDNXI0?= =?utf-8?Q?RIIz/mBCQ3Vkaw1susYZcXwQ+?= X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: dSxW5/wcR+Gz+IlAiyybJsFiu9rj9tphEzQUoiURc8XbEfy49N9Gz5njNuBXBeOlcgFPiQhIXJkQbVIprlMBCn/vrkdu6mrZPN22uJD6l8iFyhrX3Rw6yOP8MF0rfKOszaYbhf9wkTvlqtYlJrTDpBWHrYLr2quPP8GdeQZhl9n77wRcEAw4ETzmcup+9CEnbFUgrIy89XVBAxoxSf15/gqWqzY6/Zs2ewQaM6RHO5grmVaQyeTx1VB6AO09/+sUiAmLJprXSLh6dD0gKCU1jtERZUNubyjr5TXh8dovRqPEh02qKg+/S85lznhybZI7qFd6CCYBFIhAUbNxY5H79do49qmT0T7Nq6Mx0ImzUygYJ54eDKhKpRWsG1FQRXt2/W1Mms/OvKPitkUG9ck7LL0VdrVwXB2zm7TQvqeQLYDkL4e5N7zHWORBiUwGQxziParOFuC1BbnUZvvAICmQ0kE6gz6MJgZe+wj2lWmd5T8qzljyB8J3d8zgrgHDPtiNJgehHlBD0HKQ2riEN8hZzCewG1RmapozvdY93j4o3v9rSzHbxjcTxTe7NIAs4gH/Y9moViD/pNh+HrVlHX8CnfXeSmRFCOqQ/1deTswXnjk= X-OriginatorOrg: oracle.com X-MS-Exchange-CrossTenant-Network-Message-Id: bb5c70a2-23e4-40d6-3533-08dcd27616c9 X-MS-Exchange-CrossTenant-AuthSource: DS0PR10MB7933.namprd10.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 11 Sep 2024 15:26:21.1794 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 6WpkyizdfoU/SrdU7ErB1S/qLCX+Re9jwr6PdqfY4pOcLm4bF06OZIDA3uqhE18VlzUQrmtwYFGviyNcASiOXg== X-MS-Exchange-Transport-CrossTenantHeadersStamped: SJ0PR10MB4814 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.293,Aquarius:18.0.1039,Hydra:6.0.680,FMLib:17.12.60.29 definitions=2024-09-10_12,2024-09-09_02,2024-09-02_01 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 bulkscore=0 suspectscore=0 phishscore=0 spamscore=0 malwarescore=0 adultscore=0 mlxscore=0 mlxlogscore=999 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2408220000 definitions=main-2409110117 X-Proofpoint-ORIG-GUID: XcRHLNBbE7L5F1w-jB9ZdmsqGuU3tLcl X-Proofpoint-GUID: XcRHLNBbE7L5F1w-jB9ZdmsqGuU3tLcl X-Rspam-User: X-Stat-Signature: cjahjxct6yn5ti4hu9e1d6obwa7wn14d X-Rspamd-Queue-Id: CAC0814000E X-Rspamd-Server: rspam02 X-HE-Tag: 1726068387-825995 X-HE-Meta: U2FsdGVkX18t5wYmMi0S/E5Wu7jsgf1wsPvc2irzPNj1ZXCHcRPuhnIAkIfzHSrD5JgExi4eruXjOaKpc0Y+4w+zoYVWbizePTlI1In+DfqQ4t0Gwvq/1QzryZ0kaN8vmpMw790JMVzrTLFOZqBrEi4iUdqb0W3XhC65EAN4gzKNpLaRKZqtlAjHkvme6XClJttrLsczw18zLhh/My0NHtrgvg8a8UtPpr6h5VN6OP85G6x2O700ETuMHeOIUw/tDBYouGJ0KoALcnffZRPTgde7BleV11XEbXmqdWyLksbG9Jv0FT59WsYJWSFgLqvB+oeRr14RVnwM3gIxlwkXQmPXRqmocmELwbbm6U3uGNPRV6QHAB0ka60n4qn3dnkeOEtkV3pd0FfkpLX9GWSnyM/TWQ33B68Fol1zJkF6vcU825ArLgdlCexefAdug8XTZzSj1jeTvG6oQnC7OOXRIpV6WjVv7e3aCmMzjNni4h4NIMlNivnETLpkgfhF4UTNq3e+nu24h6kcE/wDd0dQfoS6xV7W/nhv0Do0iJytCVcsgvTzSraaxAw6H2a+B+cBRAj82KlxiK01IfL1Q3/iVww+l3P3Q1gu7AK/n+fXNEQdTIBRpER2Us7lr3Hf0bW6gAzjYiqNb0d/NTrS1b5gnsjwomop4yZ5cVs4xobRr7WJVf21lBNuYgUHnNV+A8EEw63SY3Z9C4Zr20JAiVBnTCHdDPoF6dzjVO7CQl4B0MGV3c+0WhDvmizA1o9urorBm7JhWVz6QL6Oj/ZRHl5RnrStre7Dzacef/7pen3/VlvL2mM3X+eTtH5UHFrvhwE0uzKJ4SNw7RTMy2sHyfXAH42fLoR1uGJ3yWkZSl36huDFU+lHeABzM2SXnkjwwhtBhCLCaG/4Zad0iFpWIcDrYi5XY2GjVCaGiKGuFH5U5vwCO8tSRrqn5DPxlgqalNt6H4ttO6BEgv1XUqONOlw 83zqyjpY Gu/QWhXV4de2huPIeYOe10gCg2C8TGLwf5YJfBGkxfZ2dwrvywtrzJzwtMHPgCtgQWe/fL8tuufGIps2iojnrSBGmIxQh2Em7QK6HCOJKwanIoJG8XLDPOVKEtxb+7zoET04c4OGqpyTI4snHm6mGVnlJa02JCEmpgL7zdXPpX8kZohHsdkN1opU/5xyDY9Szt9ZNphWFFNA5oeNC6avLkXCNbkjZkFBxv4h8EG10GFrPE/6zwMqM1k5c6kctW48D7yH7bQbSG9mgBWUf5gfZBZC4RoNDrA2+7jL7l+kR9kZMlmS2v/9YH0qKqUtq3uhRizGQP+etwuJzyYKKFiSBhQFNl6m+jj1ewJw1SO0iTQcfRFvVnOauhguIGrlMovp2d1NH4V2jdR3tbiPPmwELNFunxp6+9kSfpLwwQQTtNDbtGiPGFO59b77cXUNvhufnMYdwq7NUt16j0eK0QplUfAqdq7A3egYyl1ARNVZEwKceZheDcS1fsGiahT4F5oeUmJAuxxAzMoSkRKPaQQkwizd4P6dyGFYbCHM2tB1JXL9fekjm0VaacVsLry8DYkA6p28N+EryU9EXmX112T10hX3L9m5KpnnOlRCt1+YigsU1O5gsA41JZuW05mtf5zzgB5d+mFKQqkgRaTWNrORePGDSAT3buSs8XxqA 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: List-Subscribe: List-Unsubscribe: * Wei Yang [240911 10:29]: > mas_mab_cp() copy range [mas_start, mas_end] inclusively from a > maple_node to maple_big_node. This implies mas_start <=3D mas_end. >=20 > Based on the relationship of mas_start and mas_end, we can have the > following four cases: >=20 > | mas_start =3D=3D mas_end | mas_start < mas_end > ---------------+----------------------+---------------------- > mas_start =3D=3D 0 | 1 | 2 > ---------------+----------------------+---------------------- > mas_start !=3D 0 | 3 | 4 >=20 > We can see in all these four cases, i is always less than or equal to > mas_end after finish the loop: >=20 > Case 1: After assign pivot 0, i is set to 1, which is bigger than > mas_end 0. So it jumps to complete and skip the check. > Case 2: After assign pivot 0, i is set to 1. > =E2=88=B5 (mas_start < mas_end) && (mas_start =3D=3D 0) > =3D=3D> (1 <=3D mas_end) > =E2=88=B5 (i =3D=3D 1) && (1 <=3D mas_end) > =3D=3D> (i <=3D mas_end) > =E2=88=B4 Before loop, we have (i <=3D mas_end). And we still h= old this > if it skips the loop. For example, (i =3D=3D mas_end). >=20 > Now let's see what happens in the loop: > =E2=88=B5 piv_end =3D min(mas_end, mt_pivots[mt]) > =3D=3D> (piv_end <=3D mas_end) > =E2=88=B5 loop condition is (i < piv_end) > =3D=3D> (i <=3D piv_end) on finish the loop both normally or break > =E2=88=B5 (i <=3D piv_end) && (piv_end <=3D mas_end) > =3D=3D> (i <=3D mas_end) > =E2=88=B4 After loop, we still get (i <=3D mas_end) in this cas= e > Case 3: This case would skip both if clause and loop. So when it comes > to the check, i is still mas_start which equals to mas_end. > Case 4: This case would skip the if clause. > =E2=88=B5 (mas_start < mas_end) && (i =3D=3D mas_start) > =3D=3D> (i < mas_end) > =E2=88=B4 Before loop, we have (i < mas_end). > The loop process is similar with Case 2, so we get the same > result. >=20 > Now we can conclude in all cases, we get (i <=3D mas_end) when doing > check. Then it is not necessary to do the check. >=20 > Signed-off-by: Wei Yang Reviewed-by: Liam R. Howlett > --- > lib/maple_tree.c | 3 +-- > 1 file changed, 1 insertion(+), 2 deletions(-) >=20 > diff --git a/lib/maple_tree.c b/lib/maple_tree.c > index 76b68568f77b..6fd62b7ef240 100644 > --- a/lib/maple_tree.c > +++ b/lib/maple_tree.c > @@ -1948,8 +1948,7 @@ static inline void mas_mab_cp(struct ma_state *mas,= unsigned char mas_start, > goto complete; > } > =20 > - if (likely(i <=3D mas_end)) > - b_node->pivot[j] =3D mas_safe_pivot(mas, pivots, i, mt); > + b_node->pivot[j] =3D mas_safe_pivot(mas, pivots, i, mt); > =20 > complete: > b_node->b_end =3D ++j; > --=20 > 2.34.1 >=20 >=20