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]:38700 "EHLO
        lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S231831AbiEZLH2 (ORCPT
        <rfc822;smatch@vger.kernel.org>); Thu, 26 May 2022 07:07:28 -0400
Received: from mx0b-00069f02.pphosted.com (mx0b-00069f02.pphosted.com [205.220.177.32])
        by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 07506C966F
        for <smatch@vger.kernel.org>; Thu, 26 May 2022 04:07:26 -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=3UOO59VYQehl46ej6E6SxsE7fjSHtkp8Fan/7jB0umE=;
 b=XU6ryChW/j6InsZblAGpP/Wg0h036tRH5JVHXydhzLZffyXLsnDY0euUxc3tGvA/b5EL
 IxI3kygCBIVcAzqCsJmBcu8w1njLNaIhDtGo00plB7GoumeKPyt6D7+BDn0HXz/TxHJT
 tKWBATWeCnPuCJKlSirtu2UuXdbT2tgKk8Mcwqi2+NJITv+nMkHL4tdc783qfi/KopyM
 3B1CM3PFJVLEScN2f/Rcb+NDc8llALWvXf7WCL2zm0AA9X1wWr+n0VrN63M/kY8cGI+B
 LbTRZG73+eJB6SfjH5FyFE0iPKs94vrk9vaRis5eoSxu1alLFnGM5IdHLmPHgsevF/Si vw== 
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=DWmlJxvny7J7heWRmo/LgDk16EV/RLq2DZhRud9VVIM=;
 b=MavizZG2pUNLnxVMiuNHC5r8njPMOXnU7eskdQ6JyC2EBH7nejTxMw0hcBL2+TlpjyxIOcPaQAra16s3JLzJNcMgJemgVwvK9QNhWLuHQMrd4ngRXqBnL90I/WL3M3FkrKv4PhVk4Nw3bLDkR+zx6Gp3mRjFOLVD0to9PUCB2ok=
Date: Thu, 26 May 2022 14:07:02 +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: <20220526110702.GD2168@kadam>
References: <6e88b795e1283cc306f9d009dcec70ff162943e8.1653548169.git.christophe.jaillet@wanadoo.fr>
 <20220526095154.GD2146@kadam>
 <58ca2e95-4086-96f4-7c50-8206212b144b@wanadoo.fr>
Content-Type: text/plain; charset="iso-8859-1"
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
In-Reply-To: <58ca2e95-4086-96f4-7c50-8206212b144b@wanadoo.fr>
MIME-Version: 1.0
List-ID: <smatch.vger.kernel.org>
To: Christophe JAILLET <christophe.jaillet@wanadoo.fr>
Cc: smatch@vger.kernel.org

On Thu, May 26, 2022 at 12:30:05PM +0200, Christophe JAILLET wrote:
>=20
> Le 26/05/2022 =E0 11:51, Dan Carpenter a =E9crit=A0:
> >=20
> > > All I know is that it seams to work for me, even if it has not detect=
ed any
> > > issue yet :) (compiling takes SO MUCH time on my machine)
> > Yeah. :/  How big is your smatch_db.sqlite file?
>=20
> 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}.

regards,
dan carpenter