Powered by Linux
Re: The errors I encountered when Smatch builds the latest mainline — Semantic Matching Tool

Re: The errors I encountered when Smatch builds the latest mainline

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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




[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux