CMakeLists.txt: add GCC SAST to build

Author: Eliot-Roxbergh

CMakeLists.txt

@@ -13,10 +13,19 @@ set(C_STD gnu11)
 IF(CMAKE_BUILD_TYPE STREQUAL "Debug")
     message("Debug build")
     set(C_FLAGS_DEBUG    " -O0 -g -fasynchronous-unwind-tables -fexceptions ")
-    set(C_FLAGS_WARNINGS " -Wall -Wextra -pedantic -Werror -Wformat=2  -Wconversion -Wdouble-promotion \
+    set(C_FLAGS_WARNINGS " -Wall -Wextra -pedantic -Wformat=2  -Wconversion -Wdouble-promotion \
                            -Wcast-align -Wredundant-decls -Winline -Wdisabled-optimization -Wnested-externs ")
+    # -Werror
+    
     #More flags to try (these report some new warnings!): -Og -Wshadow -Wundef -Wcast-qual
     #                                    and some extras: -Wmissing-prototypes -Wmissing-declarations
+    ## set(C_FLAGS_RUNTIME_CHECKS " -fsanitize=address,undefined ") #It's possible to enable RUNTIME warnings
+
+    # Enable GCC SAST
+    # TODO: CodeChecker might complain on -fanalyzer flag
+    set(C_FLAGS_WARNINGS_EXTRA " -fanalyzer -Wcast-qual -Wcast-align -Wredundant-decls -Winline -Wdisabled-optimization -Wnested-externs \
+                                 -fstrict-aliasing ") #more: -Wmissing-prototypes -Wmissing-declarations
+    
 
 #-DCMAKE_BUILD_TYPE=Release
 ELSE()
@@ -29,7 +38,7 @@ ELSE()
     #set(C_FLAGS_SECURITY_LIB  " -fpic ")
 ENDIF()
 
-set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -std=${C_STD} ${C_FLAGS_DEBUG} ${C_FLAGS_WARNINGS} ${C_FLAGS_SECURITY} -fno-common")
+set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -std=${C_STD} ${C_FLAGS_DEBUG} ${C_FLAGS_WARNINGS} ${C_FLAGS_WARNINGS_EXTRA} ${C_FLAGS_SECURITY} -fno-common")
 #set(CMAKE_C_COMPILER /usr/bin/gcc)
 
 add_executable(array         array.c)