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" <dan.carpenter@xxxxxxxxxx>
> 发送时间: 2024-03-11 13:00:42 (星期一)
> 收件人: "李书畅" <lishuchang@xxxxxxxxxxx>
> 抄送: smatch@xxxxxxxxxxxxxxx
> 主题: 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
