From cf1d9f104696ecb95c62c136aa47f90fb28c6762 Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Mon, 30 May 2022 17:28:44 +0200 Subject: [PATCH] arm systems have unsigned chars by default, enforce signedness for consistancy --- tools/cmake/Flags.cmake | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/tools/cmake/Flags.cmake b/tools/cmake/Flags.cmake index de55de01d4..6fdaa31346 100644 --- a/tools/cmake/Flags.cmake +++ b/tools/cmake/Flags.cmake @@ -84,6 +84,12 @@ if(enable_compile_optimizations) else() set(optCFLAGS "-O0 ") endif() + +#ARM platforms have signed char by default, switch to unsigned for consistancy +if(${CMAKE_SYSTEM_PROCESSOR} MATCHES "aarch64") + set(optCFLAGS "${optCFLAGS} -fsigned-char") +endif() + if(enable_compile_optimizations AND CMAKE_COMPILER_IS_GNUCC AND (NOT enable_model-checking)) # This is redundant (already in -03): -- 2.20.1