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

Dan Carpenter dan.carpenter at linaro.org
Mon Mar 4 08:03:55 CET 2024


The makefiles currently pass -m32 to Smatch static checker when I'm
building on arm64.  Also the arch is set to "arm" and Smatch thinks
"arm" is 32 bits and "arm64" is 64 bits.  With this patchset we pass
-m64 and Smatch works correctly.

Changes since v1:
Break up the patch into two patches.

Dan Carpenter (2):
  Kconfig: move CONFIG_32/64BIT to arch/Kconfig
  ARM: Enable CONFIG_64BIT for static analysis

 arch/Kconfig       | 6 ++++++
 arch/arm/Kconfig   | 1 +
 arch/mips/Kconfig  | 6 ------
 arch/riscv/Kconfig | 6 ------
 4 files changed, 7 insertions(+), 12 deletions(-)

-- 
2.43.0



More information about the U-Boot mailing list