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

I see.
And in this case, if I just want to check a single .c file other than the whole directory after building the database ,
what should  I do ?

regards,
Lishu Chang

"Dan Carpenter" <[email protected]>写道：
> On Wed, Mar 13, 2024 at 03:51:37PM +0800, 李书畅 wrote:
> > It's working !
> > Though the output does't change, but for each .c file, it create a .smatch file, which show me the warn and error.
> > Can you explain the WLOG command for me？
> 
> It's a shell variable I copied and pasted from smatch_scripts/test_kernel.sh
> 
> > Other than that, for other similar C projects, do I need to go through the above steps as well?
> 
> The unfortunate thing is that there doesn't seem to be any standard way
> of building code...  I wish we could just swap out /usr/bin/gcc for the
> cgcc script but gcc is used as a linker and all sorts of other stuff
> besides just being a C compiler so it's a bit complicated.
> 
> regards,
> dan carpenter