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

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@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