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

On Fri, Mar 22, 2024 at 03:05:10PM +0800, 李书畅 wrote:
>
> It's a recursive makefile, so I tried :
> make CHECK="/home/lsc20011130/smatch/smatch /home/lsc20011130/CTestProj/nginx-1.25.4/objs --file-output" CC="/home/lsc20011130/smatch/cgcc""
> but it doesn't work, the terminal just show me the right-pointing arrow, i think it's because it can't find the CC.
> Then, I just cd to the subdirectory /objs, tried to run make here. But it failed with:
> make: *** No rule to make target 'src/core/nginx.h', needed by 'objs/src/core/nginx.o'.  Stop.It
> What should I do in this situation?

It's building for me:

sudo apt-get build-dep nginx
git clone https://github.com/nginx/nginx
cd nginx
./auto/configure --with-cc=~/smatch/cgcc
export CHECK="~/progs/smatch/devel/smatch --full-path --file-output"
make -j8
find -name \*.c.smatch -exec cat \{\} \; > smatch_warns.txt

regards,
dan carpenter