Powered by Linux
Re: [RFC PATCH] check_freeing_devm: Also track erroneous usage of kfree when the pointer has been re-assigned — Semantic Matching Tool

Re: [RFC PATCH] check_freeing_devm: Also track erroneous usage of kfree when the pointer has been re-assigned

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 




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




[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux