From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mx0a-00069f02.pphosted.com ([205.220.165.32]:9602 "EHLO mx0a-00069f02.pphosted.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S238225AbhGLGkC (ORCPT ); Mon, 12 Jul 2021 02:40:02 -0400 Received: from pps.filterd (m0246627.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 16C6bDH6021000 for ; Mon, 12 Jul 2021 06:37:14 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-2020-01-29; bh=RtUZRei1MJiEpAPBbFA9gpV4lZ/qtCapeuAgDnP+Nco=; b=UMjlXv5oCItJyJ4+M0BC52NQhxVol0PcxjKromvjwj/o0JSVxe9utnZJ4voaz0yi11u5 kGCf51X2FBOLV5hGO/zE70U0vcBL+W8nxUYhrURfpF/kpd59wKumRsix6BqGsLUyTHqQ g9DzXodoGIjyDmmLKhgoF6hx1gxlyjgjMsyALgX53sGoRqRBayoLwUphF4X+5dtk0jI7 PUbwkZX/Xq1uaASsrnNswOFP0m3NOo6u0KUurG/rzZOo9UkyTY+yMQY7LD1BKSbaTMRb vsZ536upShZUqDN+Ljkhv9OvYtrBm7v0zxBULdlcLeFDz6gJge9+ZyxDkRWl+PzVCCPN EA== Received: from aserp3020.oracle.com (aserp3020.oracle.com [141.146.126.70]) by mx0b-00069f02.pphosted.com with ESMTP id 39r9hcgcuv-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK) for ; Mon, 12 Jul 2021 06:37:14 +0000 Received: from pps.filterd (aserp3020.oracle.com [127.0.0.1]) by aserp3020.oracle.com (8.16.0.42/8.16.0.42) with SMTP id 16C6UbxS023472 for ; Mon, 12 Jul 2021 06:37:08 GMT Received: from nam11-co1-obe.outbound.protection.outlook.com (mail-co1nam11lp2177.outbound.protection.outlook.com [104.47.56.177]) by aserp3020.oracle.com with ESMTP id 39q3c5us7w-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK) for ; Mon, 12 Jul 2021 06:37:08 +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=RtUZRei1MJiEpAPBbFA9gpV4lZ/qtCapeuAgDnP+Nco=; b=bccx8cdnuZ3elPyWB44n32tE55dfFxVtPUPrj6ZjPjtOo5bhOL3hqG2Jly4Ip2d1ahnmDxu0BDjeT1QCuSM/jSFSjeUNFwTZCZNtWXXE2GgGpkFb/458OCwbbojD2DJg72Wpb9L0o3fs2FnkAtAT6sT9DYiuZ16A4SXdA6ZcQTc= Date: Mon, 12 Jul 2021 09:36:50 +0300 From: Dan Carpenter Subject: Re: [PATCH] extra: Fixed handle_bit_test so that null set condition is taken care of Message-ID: <20210712063650.GD1931@kadam> References: <20210710210949.20264-1-harshvardhan.jha@oracle.com> <20210712061856.GC1931@kadam> Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20210712061856.GC1931@kadam> MIME-Version: 1.0 List-ID: To: Harshvardhan Jha Cc: smatch@vger.kernel.org On Mon, Jul 12, 2021 at 09:21:02AM +0300, Dan Carpenter wrote: > On Sun, Jul 11, 2021 at 02:39:49AM +0530, Harshvardhan Jha wrote: > > The handle_bit_test condition wasn't setting a false range_list for the > > false state and hence the implied rl was coming out to be false. The > > false and true rls have been calculating using rl_intersection and > > rl_filter commands. > > > > Also it fixes that off by one. Thanks. > > cat ../tmp/harshvardhan.jha | git am -s > Applying: extra: Fixed false output of handle_AND_op and handle_AND_condition > .git/rebase-apply/patch:125: trailing whitespace. > return; > warning: 1 line adds whitespace errors. > Applying: extra: Fixed handle_bit_test so that null set condition is taken care of Sorry, when I read my sent message then it occured to me that this email was kind of ambiguous. I applied the patch so no need to resend. The whitespace issue was in the testcase and it doesn't really matter. regards, dan carpenter