Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
From:   "Liam R. Howlett" <Liam.Howlett@oracle.com>
To:     Andrew Morton <akpm@linux-foundation.org>
Cc:     maple-tree@lists.infradead.org, linux-mm@kvack.org,
        linux-kernel@vger.kernel.org,
        "Liam R. Howlett" <Liam.Howlett@oracle.com>,
        David Binderman <dcb314@hotmail.com>,
        Peng Zhang <zhangpeng.00@bytedance.com>
Subject: [PATCH v3 01/35] maple_tree: Fix static analyser cppcheck issue
Date:   Fri, 12 May 2023 14:20:02 -0400
Message-Id: <20230512182036.359030-2-Liam.Howlett@oracle.com>
In-Reply-To: <20230512182036.359030-1-Liam.Howlett@oracle.com>
References: <20230512182036.359030-1-Liam.Howlett@oracle.com>
Content-Transfer-Encoding: 8bit
Content-Type: text/plain
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?A8jMvU7nhWLS8IW4wBVyV0uNAsENws09/QxOEMVb3qDt5SVNFC/YJjtmOdfN?=
 =?us-ascii?Q?fMKHHT6JsywVuacvDUWkC4WDOhAuApi2sIwOM+ASqD09GICGEhL/x3WHevqj?=
 =?us-ascii?Q?yAT7e/tuNLxbqjnVy6df7wMtCzA67LaYZeMYWY2+sevp7CK8n+TG07Gr7Pwz?=
 =?us-ascii?Q?fy6d4ZARs+lub87917e89bG9fIW2rllFxJ7B5F9m4TgUUonH2jto9wCIfjOG?=
 =?us-ascii?Q?tvf5W57vkHGU+zyaTMD9fApk0E7ujyVjDeOFqsLcTGmVrBq+n6begr3t4iXw?=
 =?us-ascii?Q?00v4GqHHufkF4lc3a3sQeJ+th8FMk+AVo7Oy3+XoQRZ8fPBLbL7sKmpefWXY?=
 =?us-ascii?Q?dJvp9tNjk9oEx9cNtvx253QFqolaYtwnT/c6GzWb9O56i/Nm7FONbYsFthLL?=
 =?us-ascii?Q?em38oGEiW6yw9rbrh1jo8nr2OvVEwLziWg07mT59hM+brajN5oSDF2V60jix?=
 =?us-ascii?Q?ODIV7REEDSwibvxoIK3m341E27FUaKGO2P/0d7e15W21tD2iJlfG0Xhvtiie?=
 =?us-ascii?Q?v3sJlKSzEJOURhfB0U4SNq+DL5qLskn2bljeWTAW5zXcV8NCH7Xae0KTxv4o?=
 =?us-ascii?Q?yilCPjyodVC15nuYHvUTimMipEgD/gXEk46qaojhwzf2Scnh7zRU0t1fWwbM?=
 =?us-ascii?Q?oDxK32uWNcsZAVYum//YmluoI1kOxCB6wIxylX7yhsMYBFh/vukooD7vPrqA?=
 =?us-ascii?Q?ynkL8MHpmIGdC4loErLPzP7mRxBuzRiMH/aSOybTcRjwJGX0wSxDLGuJ6o2F?=
 =?us-ascii?Q?YXpN+cdaNRL7HstYHb1DUX0LtqX04YEz/cl68Ye+vpqsF/D+XEpHWX/lPTpK?=
 =?us-ascii?Q?/1vc1btfoePTfvITQulQfBupYKIY3r8iOQGEeXgpYlVk6thSoFrvx8/naITU?=
 =?us-ascii?Q?jDcG74UnWqikPpy70DiZGTvm4BKbqBcTYSLxr/p5PRu5Lt9u+2xebG1H62ge?=
 =?us-ascii?Q?YWvgBVQy+MqaIJlSY9vz0DlHVEMGZF01yOwsOVOoaQs9SG7Qyk0XoB4q+Csv?=
 =?us-ascii?Q?OfPICvpFgkVj/cb3VF1+YTL/IfuzVhyWQ4WZ3x8hrPNlOPIvWokBsVsez+2J?=
 =?us-ascii?Q?A+PN6/0LfHZvc7ukZhE3OEo49Wd/v6YFz+owba+ltFZcN13NWiahSEa5qK8h?=
 =?us-ascii?Q?vgUfLxnrlYr2Z3fLG/RM9rjdZ7ftdn2QAKT3ITUf8DM0hgAjE4ogiy0yG/Nr?=
 =?us-ascii?Q?EbiwedubSMVQ+HamqVTfCrCQUW1KLPh295p87fUDW3Mj3j0X/t9KhqBFxWAT?=
 =?us-ascii?Q?Z24w0CCTKICLJtv3TtUc5R67bfK7Q9n3/d4lBx3CktX9AWb9f9o5KsVfPPBf?=
 =?us-ascii?Q?u+RmCwk3QUAEX8L3JlWX1WjntePTdvVBFsluFKu0WFGlP8nGkBMY8rBVkZCO?=
 =?us-ascii?Q?QvZnyz21NQAoyceC61264XcgEEfBodGU1uoWqbsCHiiPf7CE94AvyTmfZio7?=
 =?us-ascii?Q?lVrA7SP2Ht1FVOJ4zzjJiSiUzTsBSeRIbT94ULdO/QCF6jpE3oZi1imIUPgI?=
 =?us-ascii?Q?+fFD578sm3Hm0rxaFrbQHFsQEaDiLv0++jfAKPOj/O8zOEQxZTYCq6/ZIy18?=
 =?us-ascii?Q?3Erjcg/X4xcvAhy73x7rupGR93NHaK3zGo2hlQj2zGyt26wYxhiUVQdJ9gJ/?=
 =?us-ascii?Q?7w=3D=3D?=
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: =?us-ascii?Q?an2cwyYZ5Eohgdz1GBM75vlG2id7yzX64oIZM/ux+u+m0tzKtUWww4iRdFKj?=
 =?us-ascii?Q?Ndg08cRLacnF4f7vTStEa49ClncyDMqBimxYenmqKA9Qpp2gCg19fUIYe1hK?=
 =?us-ascii?Q?Kyj0GLL6j5lpOa8JcfdZROa7rogDaEjJT8XYy2fwW5yuZMufXGKQZjBqP7Dd?=
 =?us-ascii?Q?ulRAYuDeSIKUwzLD97h06+QhGtHxJo3jnl5zwFU7bJdwtY1RRk29Fc1CzWZ1?=
 =?us-ascii?Q?ypmWXzgua0rdnq+k06PlhrzE/vCTQrFPF3zecjsAxS8kvUXLME0UIefSTY4Q?=
 =?us-ascii?Q?nKHv0SpKb4/ebVEvnwvKf65A8Mmtxcr+nwvLay/JOC8xMK2CyQMSkHBz9VWG?=
 =?us-ascii?Q?a2o8H4Cc8/xnck0TaI0LeQvdYUq/f7NQf4F4VSsr7fGn4sIO8lRmJyBT+oOc?=
 =?us-ascii?Q?PS3HV0WhZvVqPbimHoZO1nqpaypwAXb/6qIVLdIQvL41lJ0tm1XbzJL58OTV?=
 =?us-ascii?Q?q87G7zPqfwkIRYzpuUmG15/Nv6DCKK5v9uQ7WS775CEVdUekZMnrC8dczp4i?=
 =?us-ascii?Q?zRb//h8g0RPedkpumKjay0zSgQuUfGXQJ8ZK9oOrPcEnREpPvpoUsEqxnLR2?=
 =?us-ascii?Q?Lcg6GvjoirwPcBPCcXbW8py9zpYL9FAFvz0NfoiK9UHEobyCCeZam5buJczA?=
 =?us-ascii?Q?UeGAGO6TM0O9UOQzcLzbKfwXmiCbQbXueUlPaN0N6J2hC80Zu/SuQwSR2iSv?=
 =?us-ascii?Q?zFo21+FI4Ov7xEFRXWodQ6MvCAZvOk16wNJr82LQcY7Mqrxh/bhLiiXBy9vg?=
 =?us-ascii?Q?AeNpD/rkBDnkItrQ9RXZutgbKM69jPEq0hGsylpo55jGioT0zolVeAoTC7yP?=
 =?us-ascii?Q?zf9rKg25RSD8FvP/NHHD3PtPKOoZDpjS7El9nsFvVWezfZRsipCQdO5eBA3W?=
 =?us-ascii?Q?SIVK0oYgr9U8OwJ+QiEldeMEuxFlLvQE/fN9EYZKxPkkidsXRD0IAfOQpsuq?=
 =?us-ascii?Q?CIDxV5Fg2vqye8NuavVqpA=3D=3D?=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 04d97f47-4070-4ff1-5f2b-08db53159e64
X-MS-Exchange-CrossTenant-AuthSource: SN6PR10MB3022.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 12 May 2023 18:20:52.0838
 (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: R0FI1Xqqvcb41nV5FfIdWPMX2ps0ntp3HuwNqYllPh+JMImBgHoZgsKTCzmQxs00is9LEH2osWviu9xphGxN6w==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DM4PR10MB5941
X-Proofpoint-Virus-Version: vendor=baseguard
 engine=ICAP:2.0.254,Aquarius:18.0.942,Hydra:6.0.573,FMLib:17.11.170.22
 definitions=2023-05-12_11,2023-05-05_01,2023-02-09_01
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=999 adultscore=0 mlxscore=0
 bulkscore=0 suspectscore=0 malwarescore=0 spamscore=0 phishscore=0
 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2304280000
 definitions=main-2305120153
X-Proofpoint-GUID: chTRX0Ku52JleXOwKuUhgAN9nnOKy8Ze
X-Proofpoint-ORIG-GUID: chTRX0Ku52JleXOwKuUhgAN9nnOKy8Ze
X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED,
        DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_LOW,SPF_HELO_NONE,
        SPF_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no
        version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
        lindbergh.monkeyblade.net
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

Static analyser of the maple tree code noticed that the split variable
is being used to dereference into an array prior to checking the
variable itself.  Fix this issue by changing the order of the statement
to check the variable first.

Reported-by: David Binderman <dcb314@hotmail.com>
Signed-off-by: Liam R. Howlett <Liam.Howlett@oracle.com>
Reviewed-by: Peng Zhang<zhangpeng.00@bytedance.com>
---
 lib/maple_tree.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/lib/maple_tree.c b/lib/maple_tree.c
index 110a36479dced..9cf4fca42310c 100644
--- a/lib/maple_tree.c
+++ b/lib/maple_tree.c
@@ -1943,8 +1943,9 @@ static inline int mab_calc_split(struct ma_state *mas,
 		 * causes one node to be deficient.
 		 * NOTE: mt_min_slots is 1 based, b_end and split are zero.
 		 */
-		while (((bn->pivot[split] - min) < slot_count - 1) &&
-		       (split < slot_count - 1) && (b_end - split > slot_min))
+		while ((split < slot_count - 1) &&
+		       ((bn->pivot[split] - min) < slot_count - 1) &&
+		       (b_end - split > slot_min))
 			split++;
 	}
 
-- 
2.39.2