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

[Heinrich Schuchardt]

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)?

Best regards

Heinrich

>   	select PHYS_64BIT
>   	select SYS_CACHE_SHIFT_6
>   	imply SPL_SEPARATE_BSS