From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lindbergh.monkeyblade.net ([23.128.96.19]:41646 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S236687AbiEZLk4 (ORCPT ); Thu, 26 May 2022 07:40:56 -0400 Received: from smtp.smtpout.orange.fr (smtp03.smtpout.orange.fr [80.12.242.125]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 53A0390CE4 for ; Thu, 26 May 2022 04:40:54 -0700 (PDT) Message-ID: Date: Thu, 26 May 2022 13:40:51 +0200 MIME-Version: 1.0 Subject: Re: [RFC PATCH] check_freeing_devm: Also track erroneous usage of kfree when the pointer has been re-assigned Content-Language: en-US References: <6e88b795e1283cc306f9d009dcec70ff162943e8.1653548169.git.christophe.jaillet@wanadoo.fr> <20220526095154.GD2146@kadam> <58ca2e95-4086-96f4-7c50-8206212b144b@wanadoo.fr> <20220526110702.GD2168@kadam> From: Marion & Christophe JAILLET In-Reply-To: <20220526110702.GD2168@kadam> Content-Type: text/plain; charset="utf-8"; format="flowed" Content-Transfer-Encoding: 8bit List-ID: To: Dan Carpenter Cc: smatch@vger.kernel.org Le 26/05/2022 à 13:07, Dan Carpenter a écrit : > On Thu, May 26, 2022 at 12:30:05PM +0200, Christophe JAILLET wrote: >> Le 26/05/2022 à 11:51, Dan Carpenter a écrit : >>>> All I know is that it seams to work for me, even if it has not detected 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}. Yep. I've also tweaked smatch_scripts/kchecker which doesn't have any -j, IIUC. CJ > regards, > dan carpenter >