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" -------------------------------------------------------------------------------------------------- However, when I tried to make allyesconfig and make -j32, it builds successfully. This is really weird. Any ideas? [1] https://gitee.com/dzm91_hust/hust-os-kernel-contribution/blob/master/mainline/deploy_smatch_on_mainline.sh -- My best regards to you. No System Is Safe! Dongliang Mu
