[PATCH v2 2/2] arm64: Enable CONFIG_64BIT for static analysis

[Dan Carpenter]

On Mon, Mar 04, 2024 at 02:44:12PM +0100, Heinrich Schuchardt wrote:
> On 04.03.24 08:04, Dan Carpenter wrote:
> > In the Makefile there is a line that says this:
> > 
> >      # the checker needs the correct machine size
> >      CHECKFLAGS += $(if $(CONFIG_64BIT),-m64,-m32)
> > 
> > Set CONFIG_64BIT for ARM64 so that we pass -m64 to the static checkers
> > instead of -m32.
> > 
> > Signed-off-by: Dan Carpenter <dan.carpenter at linaro.org>
> > ---
> > v2: split the patch into two patches
> > 
> >   arch/arm/Kconfig | 1 +
> >   1 file changed, 1 insertion(+)
> > 
> > diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
> > index fde85dc0d537..76d6a8cc6886 100644
> > --- a/arch/arm/Kconfig
> > +++ b/arch/arm/Kconfig
> > @@ -6,6 +6,7 @@ config SYS_ARCH
> >   config ARM64
> >   	bool
> > +	select 64BIT
> 
> How about other 64bit architectures (sandbox64, x86_64)?
> 

You're right.  That was laziness on my part.  Plus, I didn't know about
sandbox64.  But I think once we fix the two you mentioned then
everything will be updated.

$ grep -l 64 arch/*/Kconfig
arch/arm/Kconfig
arch/mips/Kconfig
arch/riscv/Kconfig
arch/sandbox/Kconfig
arch/x86/Kconfig

I'll send those patches tomorrow.

regards,
dan carpenter