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:     linux-kernel@vger.kernel.org, linux-mm@kvack.org,
        maple-tree@lists.infradead.org,
        "Liam R. Howlett" <Liam.Howlett@oracle.com>,
        David Binderman <dcb314@hotmail.com>
Subject: [PATCH 01/34] maple_tree: Fix static analyser cppcheck issue
Date:   Tue, 25 Apr 2023 10:09:22 -0400
Message-Id: <20230425140955.3834476-2-Liam.Howlett@oracle.com>
In-Reply-To: <20230425140955.3834476-1-Liam.Howlett@oracle.com>
References: <20230425140955.3834476-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?mEUttXhEAE9/CTXzLck1Hai9ipA6kvtRVRBKqRpZxvA0iQl4jWA1l/m2ctY1?=
 =?us-ascii?Q?krzqBdaojpImpqn++g0XMlWLQ9RWufIFfi7E7zlGJnB1aOkPvZL4yiFdCfU6?=
 =?us-ascii?Q?TNX/cOVxjS5JmkMIgMAmoaUwla8Bkb294VGzv1iKPRqtAov/0cMe2tkWKbc4?=
 =?us-ascii?Q?jrNJuGWOU2lclyuOhs5sOLJJgrt8rUchufDxDvOn3APZKE1f1j7obsTEwmdS?=
 =?us-ascii?Q?C7UvC8JmA7ldfacU4Gdo7P6eIdaEe4hyyUpyf685GUryBuuukvW7EUNEvGfu?=
 =?us-ascii?Q?ZmkxKr/pUWlaAXYN7iCyicQv7EOlgxyMFZzIWYMQe2hYfzTm8Dg4IlVfYtHf?=
 =?us-ascii?Q?fzuUMh8teGiXuZMLriSJeKfX6leQf6vod3mBmAu4/uDMiifyd1T6bWv8Sl3I?=
 =?us-ascii?Q?6y53CMSR7cSEsjMPWv3J/p43CzaeHggUyNcESQpmmAeLmoBdkrqKtJc7AMUA?=
 =?us-ascii?Q?1B0LQlSivLbwpBHu5mqvpLB325FtqqKK6AKwUtHpVnhbV3qlkB/U0HtThJK4?=
 =?us-ascii?Q?aGt72DHqUMlzbAXZwXPd2WcDjBKkFeZyicRJoiK/JtaGErheFvtNteZ6ImUB?=
 =?us-ascii?Q?P4kcnEkRp0oxEPJ+yRX8R+NLnckAEUhroP3op4G8dKfNuGtvKEOsyONwMvrJ?=
 =?us-ascii?Q?iFXnijDAKqk5bjvmC1zz9gS5Yjl4/dgMGy6HgKs3HfhH3TWmegGE2Mao9AmT?=
 =?us-ascii?Q?57ZEfeRAlNwXSB72Mbtite+yKnLlEKLev2wnSfUvlfxURx1bqOdVQdKY7NN1?=
 =?us-ascii?Q?weQN4dFH2l+mBBkn/Jv38GfgS78Jr/EqQk07Uvr63/PKtDUHKCZio21+cX1A?=
 =?us-ascii?Q?b+SrNJK3rnuWQpPlF5i1M9Vsg+ZLM8/vn/ceFpoq5FqSFnVy5SyChHHnN7Oo?=
 =?us-ascii?Q?SShkcjcD/cI6o39OHkqncYcfzIcvqCiozKkQLGaATMorXCMVCPQm6nuI9Wqo?=
 =?us-ascii?Q?tqupg6KU5wGwCCVbIPUOo3ppHtvtjSKpbwdngMjCyFG/q7cQOv+4/yjjx7cj?=
 =?us-ascii?Q?pEKxIA+Ux09s0iO4HGOFRnnnzr1jS3HcFuhlwZy/vAkPy5aa/xY3oB5GAVS1?=
 =?us-ascii?Q?NGwzgOwBpsjYXqYNYRwD4iUa77Wlwzb38MEsyiePBcV1NCfktrDxXgJgMK+p?=
 =?us-ascii?Q?tIhehlE/1Re/ImvR4eeUXg4j423DLO4N7acmsO3hovaa0s8WH70MhUamhXYm?=
 =?us-ascii?Q?7U6x2SwYwHUb9y4to7CCOiAp8X66/nXOepoXxUy1r2ZNmC7onGk3gVYDjp1Y?=
 =?us-ascii?Q?6DBjafLtP7IdqY4P+sgQVx1XskGGd9GvzwBTrPOhvezd3111md707dkMuWsT?=
 =?us-ascii?Q?K2xg/GyuLLbnRaEIcy6PQr6PDWYnKl0uRaCDOxXd0WvW3GU2JlWRzutCs+xi?=
 =?us-ascii?Q?Au4ZIy/e/cSPGTpwXm5q6DAkG2+KT/Ps3FJcJ4yOeGrxlrXFsrHwfrwYlLIR?=
 =?us-ascii?Q?0vAOW6iwlmq1OdRqsvFddYO0W3Bl87dnVQGUVPsM30RI01AWEq7FWevoVML7?=
 =?us-ascii?Q?7gQ7HZoEm6wTwdoYGKdhPMqtUX6YbBMt3dqWyRzGfFaophblplEzc4rbsxXI?=
 =?us-ascii?Q?L6/BgU16tC42tFRehkhbXnAfEGNA+B0oZF5v/dLzZINSbm+DXh8UOT5xWuog?=
 =?us-ascii?Q?Yw=3D=3D?=
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: 4JS24oJGBF+Anc4KdmCu8RbDRiRLEXmb5cwH7Ti/SXxwZWglvXK6QowzrLGCKTunqWm/zmHoASkjjZXABa/VlBQfyCnVdauVsAH9EYWXu6hvBbec3iqhbjB7xuDqz655w4mqjW3ZrNRtGb7LvONNiFPNaaB3p8PtpVyAgqu+dktO0PCZ+KrAvZmrXg1TK7PYdL0xZ9mQWrA08to81fPO3sN6GTehS8ShuhnanhdxZ27P9qs8Ki6AuqbXBSJcyH5L0m3Yk/ZU008akQjnTTzXDke2RQZPD5HAzGjiJ51GuU4nKQI1hC4ivZidJs35UBmCPQmE/AljUtB55TkFwh7x8cSKscAzhXH9QbNUK7nR/kxqiwbrzEDXORGrTGU5gjGAT8Y4CiROU8NlIEHplgq06jxo6lWN9Cm1NVwxuJHXFanDJk7Omols2GoTI95zB22jtGkuxDDMke9sFYGkRM1iVD7oZBR/RmCiQzNcj9DE2EcK7ppDc7Fnva27fneg2eB6AfKD+a7rnFyJliBzgP47AJ63qAXKHkWYqFsPRt9q3mncfXaxRsN3F6iYr8NKHgaCkXvVSyedH1ces7xMl7fUC+QLJB3XGgFawmtdbLHi6tu5XS6KGQ/nw6GRZzLpNURhSOycw+9r2s9RS9rbezEGpwsHDK5ZQSKau8kcpQM8w2ShysI6rDZ38L1MqID47Ziglb47mylOwG97KwBtdEVzDyrVMl9ORJFdsvJINSj7ZxDgm0MM8URRQX2i6MKixrWBI0GIAo2wQYc/xxahjwLRVu8BpMxebhcJ51xHKewxFB90eQ8f89kasfDZPa6e3oJGrEuPkeFxFfavD2yQ6xaxPuOXtAYk4le013Hk+fDg9Uu6nK1Xi3izfumuKKFsHQnuwg1yg8WCy+pxaAILNrOOt8kBVhDBN49+EjWotL/J9Dc=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 1a7fb81c-d2c9-4fe8-cbfe-08db4596cebd
X-MS-Exchange-CrossTenant-AuthSource: SN6PR10MB3022.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 25 Apr 2023 14:10:22.0358
 (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: Qfv5BDzKLVYS7/ePBMx1Jb9JRrGHFfqtlH20XDHP8Nxq99PeKmKZvf6JgOqX29SToDmeJ347HaUrcemy5U82Jg==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PH7PR10MB6081
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-04-25_06,2023-04-25_01,2023-02-09_01
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 malwarescore=0 mlxscore=0 phishscore=0
 adultscore=0 mlxlogscore=999 spamscore=0 bulkscore=0 suspectscore=0
 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2303200000
 definitions=main-2304250128
X-Proofpoint-GUID: VrUNUeLR3wUhKtWgBg6yepI8Dbjke9q8
X-Proofpoint-ORIG-GUID: VrUNUeLR3wUhKtWgBg6yepI8Dbjke9q8
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,
        RCVD_IN_MSPIKE_H2,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>
---
 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