From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mx0b-00069f02.pphosted.com ([205.220.177.32]:17454 "EHLO mx0b-00069f02.pphosted.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S235970AbhG0Jj5 (ORCPT ); Tue, 27 Jul 2021 05:39:57 -0400 Received: from pps.filterd (m0246632.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 16R9VmXa018041 for ; Tue, 27 Jul 2021 09:39:56 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 : in-reply-to : mime-version; s=corp-2021-07-09; bh=CdFpwxN3c5TUgLF2T6n+cdb5Q5Lzg6hwFPoOuPCa/FM=; b=nAGDHwtxHf2z8Ukgq526NDMczQYbXspbNdworxpBHtzesq811GANe46tyLUar2V3mPcD oz8YGi6hDVXqo7RhcPdNp+9B6aaUFHXwKLoKZLB47Bqa7So3ofaedPrZ9ol65AZVIVQr /M8+1u+vuqnDjIZKTjrAWSoZq6TCyc0EM/dyFP2jA8IX1JQlWbDFSwOwo4GQ2ObXGSAh hCpCNILeYzkOunZwFwio0gtkpdw6UFfJCGVDGEyCN1e6HPmWImcMXH4bXWHitN49I+66 YCjIWkHK8lFSuN7IAfAPgHVkypqfZrQutWnePIQaBmDdAko5HFnKRUbqDqvtPwD6BCVu lg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=date : from : to : cc : subject : message-id : references : content-type : in-reply-to : mime-version; s=corp-2020-01-29; bh=CdFpwxN3c5TUgLF2T6n+cdb5Q5Lzg6hwFPoOuPCa/FM=; b=m8eOlYK5naIbUF2oGr5AMyQTIN6iTl6SG6KBfvDZ8VG6MXcMnjwBvNsfUoQDNd67mFQd WVjI8mS5ijeJ8jOakawyZNENkf1NIlHtjHSi+DUhfLIGRvWESE4kicFRqnlj4+nN287g +f92ovXn+3X12rjXQX3fZQez4bu8Nm1oJv5qa5tT0ouG1XDeJTKl3SuWMB3vXVNSB1fp YzmxMGxJlKWSiSh7dr8gWQqIvFRG8WG3CTfvnMu/8mq4fHnOGVDLsYo5i6z0Utwm6Ayi +FyujJysDz7DznFCXmP/Ttl1257m7OnHbQs1m5vd2QmVJmCM3BgaPU2ZG3L6SR9JW7zS XQ== Received: from userp3020.oracle.com (userp3020.oracle.com [156.151.31.79]) by mx0b-00069f02.pphosted.com with ESMTP id 3a23539akg-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK) for ; Tue, 27 Jul 2021 09:39:55 +0000 Received: from pps.filterd (userp3020.oracle.com [127.0.0.1]) by userp3020.oracle.com (8.16.0.42/8.16.0.42) with SMTP id 16R9UloQ108596 for ; Tue, 27 Jul 2021 09:39:54 GMT Received: from nam12-dm6-obe.outbound.protection.outlook.com (mail-dm6nam12lp2175.outbound.protection.outlook.com [104.47.59.175]) by userp3020.oracle.com with ESMTP id 3a234v5hr5-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK) for ; Tue, 27 Jul 2021 09:39:54 +0000 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=CdFpwxN3c5TUgLF2T6n+cdb5Q5Lzg6hwFPoOuPCa/FM=; b=SleGfW1Euc/XStM4dIC7Tcn/k2rBt+K6f8xJOPVgadPsuPg6YUlEwPGpfDBy79Oo6dFaZHMlMUnlrjZxO5iQxmkpZ7gxKzBRV1M0rRjIsHBddIDzBuG2adIM+hT7bezDFkw1TyN2Td6u/SwxO89GE0BDJTzTKiX6xeZD8HBny9c= Date: Tue, 27 Jul 2021 12:39:36 +0300 From: Dan Carpenter Subject: Re: [PATCH] check_do_while_loop_limit: implements checker for do_while loops Message-ID: <20210727093936.GK1931@kadam> References: <20210726135412.8209-1-harshvardhan.jha@oracle.com> Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20210726135412.8209-1-harshvardhan.jha@oracle.com> MIME-Version: 1.0 List-ID: To: Harshvardhan Jha Cc: smatch@vger.kernel.org On Mon, Jul 26, 2021 at 07:24:12PM +0530, Harshvardhan Jha wrote: > do{} while(n--) loops end at n=-1 but programmers sometimes assume that > they end at n=0. This checker sends a warning in these scenarios. > > Signed-off-by: Harshvardhan Jha Thanks a lot! Applied. regards, dan carpenter