Sorry! On Tue, Jun 20, 2023 at 10:14:51PM +0800, Dongliang Mu wrote: > Hi Dan, > > When I built Smatch in my local desktop, I encountered some errors > which do not appear in the normal building. > > When I use the following script[1] to check linux mainline with > Smatch, I encountered the following errors: > > -------------------------------------------------------------------------------------------------- > make[1]: Target './' not remade because of errors. > make: *** [Makefile:2026: .] Error 2 > make: Target 'bzImage' not remade because of errors. > make: Target 'modules' not remade because of errors. > Done. Build with status 2. The warnings are saved to smatch_warns.txt > smatch_warns.txt built. > -------------------------------------------------------------------------------------------------- > > And smatch_warns.txt is full with logs with sql operations. > When scrolling up, I found some error logs: > > -------------------------------------------------------------------------------------------------- > drivers/gpu/drm/amd/amdgpu/../display/modules/hdcp/hdcp1_execution.c:492:29: > warning: function 'mod_hdcp_hdcp1_dp_execution' with external linkage > has definit > ion > CHECK drivers/gpu/drm/amd/amdgpu/../display/modules/hdcp/hdcp_psp.c > drivers/gpu/drm/amd/amdgpu/../display/modules/hdcp/hdcp_psp.c: note: > in included file (through > drivers/gpu/drm/amd/amdgpu/../amdgpu/amdgpu_virt.h, drivers/gpu > /drm/amd/amdgpu/../amdgpu/amdgpu.h): > drivers/gpu/drm/amd/amdgpu/../amdgpu/amdgv_sriovmsg.h:257:49: error: > static assertion failed: "amd_sriov_msg_vf2pf_info must be 1 KB" > drivers/gpu/drm/amd/amdgpu/../amdgpu/amdgv_sriovmsg.h:261:49: error: > static assertion failed: "amd_sriov_msg_pf2vf_info must be 1 KB" > -------------------------------------------------------------------------------------------------- This is not related. That's old stuff. https://lore.kernel.org/all/20230620045919.492128-1-suhui@xxxxxxxxxxxx/ We need to try rebuild again. Don't do a make clean. It will fail fast now. make -j`nproc` -k \ CHECK="/PATH/TO/smatch --succeed -p=kernel --file-output" \ C=1 bzImage modules 2>&1 | tee smatch_compile.warns grep Error smatch_compile.warns > > However, when I tried to make allyesconfig and make -j32, it builds > successfully. This is really weird. Any ideas? > Whenever this happens it means I have left out part of a commit. :( But if you can give me the failing file it's easy for me to run: ~/progs/smatch/devel/smatch_scripts/kchecker --valgrind path/to/file.c to reproduce the bug. regards, dan carpenter