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" <dan.carpenter@xxxxxxxxxx>写道： > 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
