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
