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