On Tue, Jun 20, 2023 at 10:44 PM Dan Carpenter <dan.carpenter@xxxxxxxxxx> wrote: > > 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 > I tried this command in my local environment, it builds the kernel successfully. :/ To confirm this, I tried with two different kernel repos. > 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 >
