From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <smatch-owner@vger.kernel.org>
Received: from lindbergh.monkeyblade.net ([23.128.96.19]:38918 "EHLO
        lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S230391AbiEZMAn (ORCPT
        <rfc822;smatch@vger.kernel.org>); Thu, 26 May 2022 08:00:43 -0400
Received: from mx0a-00069f02.pphosted.com (mx0a-00069f02.pphosted.com [205.220.165.32])
        by lindbergh.monkeyblade.net (Postfix) with ESMTPS id EB447C8BEA
        for <smatch@vger.kernel.org>; Thu, 26 May 2022 05:00:41 -0700 (PDT)
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-2021-07-09;
 bh=+/RSRzBlJidndDcKBG6+Xhvt7cMBgiTA2TAcxi4FZjo=;
 b=PhxGrb75vHnd5iMSzIS0bXh7B3yYfUFVmvSP33///ZAKnZC98xGjL6VmYHyaqWHHRdeU
 pqX7CK8plK6Q7PCvR3PGp28lmN88SPTd7SM72anQ28oyYMRJsSupTsx/Fj7OFywMB+k/
 P5c8eeyX1fU7DIrj6tLR6Xm9VICe0GUJjMyVok+Ai50oZPMUdcJrUpFWstrRyQ4vsRU+
 D8q9X9azcBesOQY6z/Go3hpNm5rIJUELo6/UYW3Uhyvhn2dXFq6eZJukn2mYLDqgXcHU
 ReM4+BLe/CX8cYjzr6f2vZDB2cXxPKLwlXPS/f4Rk5BheY7iQn8Ksc6cRtL27LYUqvED Qw== 
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=owCwCw75mp/46KSE6pbJP9ddbF8II7s6fGHVyVsyjjg=;
 b=dp8PsuVYj50d312eCu5je3ALC9iNBReXKeoJ0zyjIvQ9fhqa7RL7Z/JU3wR9LCn6gXYluxM1kFV4JSI8ys/+jXLj929xYj3I0imei2+YgXi7MF8ho1dz07Iu8y5X9sfiP6HLhNblLaxDYwwdZG3vu4XpC/V6TOPflyXyuVImLOw=
Date: Thu, 26 May 2022 15:00:16 +0300
From: Dan Carpenter <dan.carpenter@oracle.com>
Subject: Re: [RFC PATCH] check_freeing_devm: Also track erroneous usage of
 kfree when the pointer has been re-assigned
Message-ID: <20220526120016.GE2168@kadam>
References: <6e88b795e1283cc306f9d009dcec70ff162943e8.1653548169.git.christophe.jaillet@wanadoo.fr>
 <20220526095154.GD2146@kadam>
 <58ca2e95-4086-96f4-7c50-8206212b144b@wanadoo.fr>
 <20220526110702.GD2168@kadam>
 <eed02978-bf56-428e-29ed-78a3d9f5b706@wanadoo.fr>
Content-Type: text/plain; charset="iso-8859-1"
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
In-Reply-To: <eed02978-bf56-428e-29ed-78a3d9f5b706@wanadoo.fr>
MIME-Version: 1.0
List-ID: <smatch.vger.kernel.org>
To: Marion & Christophe JAILLET <christophe.jaillet@wanadoo.fr>
Cc: smatch@vger.kernel.org

On Thu, May 26, 2022 at 01:40:51PM +0200, Marion & Christophe JAILLET wrote:
>=20
> Le 26/05/2022 =E0 13:07, Dan Carpenter a =E9crit=A0:
> > On Thu, May 26, 2022 at 12:30:05PM +0200, Christophe JAILLET wrote:
> > > Le 26/05/2022 =E0 11:51, Dan Carpenter a =E9crit=A0:
> > > > > All I know is that it seams to work for me, even if it has not de=
tected any
> > > > > issue yet :) (compiling takes SO MUCH time on my machine)
> > > > Yeah. :/  How big is your smatch_db.sqlite file?
> > > I don't use any up-to-now.
> > Basically all my changes are targetted at making the smatch_db.sqlite
> > file smaller so they won't help you.  Are you at least doing a parallel
> > build?  The smatch_scripts/test_kernel.sh script does a make -j${NR_CPU=
}.
>=20
> Yep.
>=20
> I've also tweaked smatch_scripts/kchecker which doesn't have any -j, IIUC.

Normally, I only use kchecker on one file...  The problem with doing
parallel builds is that you have to print the warnings to a file instead
of to stdout.

regards,
dan carpenter