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

I realized that my previous statement was wrong. 
In this case, as I tried : make CHECK="/home/lsc20011130/smatch/smatch" CC=/home/lsc20011130/smatch/cgcc,
the output is:

if [ ! -d "objs" ]; then \
        mkdir -p objs; \\
mkdir -p objs; \\
if [ ! -d "bin" ]; then \ \
        mkdir -p bin; \ \
mkdir -p bin; \fi
core/
make -C core/
make[1]: Entering directory '/home/lsc20011130/NtyCo/core'
/home/lsc20011130/smatch/cgcc -c nty_epoll.c -o /home/lsc20011130/NtyCo/objs/nty_epoll.o -lpthread -O3 -ldl -I /home/lsc20011130/NtyCo/core  
/home/lsc20011130/smatch/cgcc -c nty_coroutine.c -o /home/lsc20011130/NtyCo/objs/nty_coroutine.o -lpthread -O3 -ldl -I /home/lsc20011130/ NtyCo/core  
/home/lsc20011130/smatch/cgcc -c nty_socket.c -o /home/lsc20011130/NtyCo/objs/nty_socket.o -lpthread -O3 -ldl -I /home/lsc20011130/NtyCo/core core  
/home/lsc20011130/smatch/cgcc -c nty_schedule.c -o /home/lsc20011130/NtyCo/objs/nty_schedule.o -lpthread -O3 -ldl -I /home/lsc20011130/ NtyCo/core  
make[1]: Leaving directory '/home/lsc20011130/NtyCo/core'
ar rcs libntyco.a /home/lsc20011130/NtyCo/objs/nty_socket.o /home/lsc20011130/NtyCo/objs/nty_coroutine.o /home/lsc20011130/NtyCo/objs/ nty_epoll.o /home/lsc20011130/NtyCo/objs/nty_schedule.o

cgcc runs, but sparse doesn't seem to work successfully.

regards,
Lishu Chang


> -----原始邮件-----
> 发件人: "Dan Carpenter" <[email protected]>
> 发送时间: 2024-03-11 13:00:42 (星期一)
> 收件人: "李书畅" <[email protected]>
> 抄送: [email protected]
> 主题: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
> 
> On Sun, Mar 10, 2024 at 01:39:41PM +0800, 李书畅 wrote:
> > I figure it out, I tried 
> > CHECK="/home/lsc20011130/smatch/smatch /home/lsc20011130/NtyCo/core" CC=/home/lsc20011130/smatch/cgcc make , and it works fine.
> > 
> 
> I don't think you want to add the "/home/lsc20011130/NtyCo/core" part...
> 
> But I'm happy that it's working.  Don't hesitate to ask if you run into
> more issues.
> 
> regards,
> dan carpenter