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

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