Re: Re: Re: Re: Re: about using smatch in all debian C code

李书畅 <[email protected]> Mon, 11 Mar 2024 15:07:40 +0800 (GMT+08:00)
Newsgroups org.kernel.vger.smatch
Message-ID <[email protected]>
Hello Dan, I'd like to know are there any requirements for the makefile of a C project (e.g. not using meson to build)
to prevent similar sparse problems?

regards,
Lishu Chang

"Dan Carpenter" <[email protected]>写道:
> I figured it out.  You need to:
> 
> export CHECK="/home/user/smatch/smatch --file-output"
> 
> Then you can't use ~/ in the --cc option.  It has to be
> /home/user/smatch/cgcc.  But then Smatch/Sparse still doesn't compile
> the code correctly.  There are tons of compile errors.  This is really
> a Sparse problem (Smatch uses Sparse as a parser).  I suspect that
> fixing it will be difficult.
> 
> regards,
> dan carpenter