Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Model-checking is robust now that it's stateless MC only -- remove precautionous...
[simgrid.git] / tools / cmake / Flags.cmake
1 ##
2 ## This file is in charge of setting our paranoid flags with regard to warnings and optimization.
3 ##
4 ##   It is only used for gcc, clang and Intel compilers.
5 ##
6 ##   These flags do break some classical CMake tests, so you don't
7 ##   want to do so before the very end of the configuration.
8 ##
9 ##   Other compiler flags (C/C++ standard version) are tested and set
10 ##   by the beginning of the configuration, directly in ~/CMakeList.txt
11
12 set(warnCFLAGS "")
13 set(optCFLAGS "")
14 set(warnCXXFLAGS "")
15
16 if(enable_compile_warnings)
17   set(warnCFLAGS "-fno-common -Wall -Wextra -Wunused -Wmissing-declarations -Wpointer-arith -Wwrite-strings -Wno-unused-function -Wno-unused-local-typedefs -Wno-unused-parameter -Wno-strict-aliasing")
18
19   if (CMAKE_CXX_COMPILER_ID MATCHES "Intel")
20     # ignore remarks:
21     # 191: type qualifier is meaningless on cast type
22     # 1418: external function definition with no prior declaration
23     # 2196: routine is both "inline" and "noinline"
24     # 2651: attribute does not apply to any entity
25     # 3179: deprecated conversion of string literal to char* (should be const char*)
26     # set as warning:
27     # 597: entity-kind "entity" will not be called for implicit or explicit conversions
28     # 2330: argument of type "type" is incompatible with parameter of type "type" (dropping qualifiers)
29     # 11003: no IR in object file xxxx; was the source file compiled with xxxx
30     set(warnCFLAGS "${warnCFLAGS} -diag-disable=191,1418,2196,2651,3179 -diag-warning=597,2330,11003")
31   endif()
32   set(warnCXXFLAGS "${warnCFLAGS}")
33
34   if(CMAKE_COMPILER_IS_GNUCC)
35     set(warnCFLAGS "${warnCFLAGS} -Wclobbered -Wformat-signedness -Wno-error=clobbered -Wno-error=attributes -Wno-error=maybe-uninitialized")
36   endif()
37
38   if(CMAKE_COMPILER_IS_GNUCXX)
39     set(warnCXXFLAGS "${warnCXXFLAGS} -Wclobbered -Wformat-signedness -Wno-error=clobbered -Wno-free-nonheap-object -Wno-unused-local-typedefs -Wno-error=attributes -Wno-error=maybe-uninitialized")
40     if(CMAKE_CXX_COMPILER_VERSION VERSION_LESS "8.0")
41       # workaround for https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81767
42       set(warnCXXFLAGS "${warnCXXFLAGS} -Wno-error=unused-variable")
43     endif()
44   endif()
45
46   if (CMAKE_CXX_COMPILER_ID MATCHES "Clang")
47     # don't care about class that become struct, avoid issue of empty C structs
48     # size (coming from libunwind.h)
49     set(warnCXXFLAGS "${warnCXXFLAGS} -Wno-mismatched-tags -Wno-extern-c-compat")
50     # also ignore deprecated builtins (seen with clang 15 + boost 1.79)
51     if(CMAKE_CXX_COMPILER_VERSION VERSION_GREATER_EQUAL "15.0")
52       set(warnCXXFLAGS "${warnCXXFLAGS} -Wno-deprecated-builtins")
53     endif()
54   endif()
55
56   # the one specific to C but refused by C++
57   set(warnCFLAGS "${warnCFLAGS} -Wmissing-prototypes")
58
59   if(CMAKE_Fortran_COMPILER_ID MATCHES "GCC|PGI")
60     set(CMAKE_Fortran_FLAGS "${CMAKE_Fortran_FLAGS} -Wall")
61   elseif(CMAKE_Fortran_COMPILER_ID MATCHES "Flang")
62     # flang >= 7 has a bug with common and debug flags. Ignore cmake-added -g in this case.
63     # https://github.com/flang-compiler/flang/issues/671
64     set(CMAKE_Fortran_FLAGS "-Wall")
65   elseif(CMAKE_Fortran_COMPILER_ID MATCHES "Intel")
66     set(CMAKE_Fortran_FLAGS "${CMAKE_Fortran_FLAGS} -warn all")
67   endif()
68 endif()
69
70 # NDEBUG gives a lot of "initialized but unused variables" errors. Don't die anyway.
71 if(enable_compile_warnings AND enable_debug)
72   set(warnCFLAGS "${warnCFLAGS} -Werror")
73   set(warnCXXFLAGS "${warnCXXFLAGS} -Werror")
74   if(CMAKE_Fortran_COMPILER_ID MATCHES "GCC")
75     set(CMAKE_Fortran_FLAGS "${CMAKE_Fortran_FLAGS} -Werror -Werror=format-security")
76   endif()
77 endif()
78
79 # Activate the warnings on #if FOOBAR when FOOBAR has no value
80 # It breaks on FreeBSD within Boost headers, so activate this only in Pure Hardcore debug mode.
81  if(enable_maintainer_mode)
82   set(warnCFLAGS "${warnCFLAGS} -Wundef")
83   set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wundef")
84 endif()
85
86 # Set the optimisation flags
87 # NOTE, we should CMAKE_BUILD_TYPE for this
88 if(enable_compile_optimizations)
89   set(optCFLAGS "-O3 -funroll-loops -fno-strict-aliasing ")
90 else()
91   set(optCFLAGS "-O0 ")
92 endif()
93
94 # ARM platforms have signed char by default, switch to unsigned for consistancy
95 if(${CMAKE_SYSTEM_PROCESSOR} MATCHES "aarch64")
96   set(optCFLAGS "${optCFLAGS} -fsigned-char")
97 endif()
98
99 if(enable_compile_optimizations AND CMAKE_COMPILER_IS_GNUCC)
100   # This is redundant (already in -03):
101   set(optCFLAGS "${optCFLAGS} -finline-functions ")
102 endif()
103
104 # Do not leak the current directory into the binaries
105 if(CMAKE_COMPILER_IS_GNUCC AND NOT enable_coverage)
106   if (CMAKE_VERSION VERSION_LESS "3.20")
107     file(RELATIVE_PATH RELATIVE_SOURCE_DIR ${CMAKE_BINARY_DIR} ${CMAKE_SOURCE_DIR})
108   else() # cmake >= 3.20
109     cmake_path(RELATIVE_PATH CMAKE_SOURCE_DIR BASE_DIRECTORY ${CMAKE_BINARY_DIR} OUTPUT_VARIABLE RELATIVE_SOURCE_DIR)
110   endif()
111   message(STATUS "Relative source directory is \"${RELATIVE_SOURCE_DIR}\".")
112   if (CMAKE_C_COMPILER_VERSION VERSION_LESS "8.0")
113     set(optCFLAGS "${optCFLAGS} -fdebug-prefix-map=\"${CMAKE_SOURCE_DIR}=${RELATIVE_SOURCE_DIR}\"")
114   else()
115     set(optCFLAGS "${optCFLAGS} -ffile-prefix-map=\"${CMAKE_SOURCE_DIR}=${RELATIVE_SOURCE_DIR}\"")
116   endif()
117 endif()
118
119 # Configure LTO
120 if(enable_lto) # User wants LTO. Try if we can do that
121   set(enable_lto OFF)
122   if(enable_compile_optimizations)
123     include(CheckIPOSupported)
124     check_ipo_supported(RESULT ipo LANGUAGES C CXX)
125     if(ipo)
126       set(enable_lto ON)
127     endif()
128   endif()
129
130   if(enable_lto)
131     message(STATUS "LTO seems usable.")
132   else()
133     if(NOT enable_compile_optimizations)
134       message(STATUS "LTO disabled: Compile-time optimizations turned off.")
135     else()
136       message(STATUS "LTO does not seem usable -- try updating your build chain.")
137     endif()
138   endif()
139 else()
140   message(STATUS "LTO disabled on the command line.")
141 endif()
142 if(enable_lto) # User wants LTO, and it seems usable. Go for it
143   set(CMAKE_INTERPROCEDURAL_OPTIMIZATION TRUE)
144   if(LTO_EXTRA_FLAG AND CMAKE_COMPILER_IS_GNUCC)
145     list(APPEND CMAKE_C_COMPILE_OPTIONS_IPO "-flto=${LTO_EXTRA_FLAG}")
146     list(APPEND CMAKE_CXX_COMPILE_OPTIONS_IPO "-flto=${LTO_EXTRA_FLAG}")
147   endif()
148
149   # Activate fat-lto-objects in case LD and gfortran differ too much.
150   # Only test with GNU as it's the only case I know (clang+gfortran+lld)
151   execute_process(COMMAND ${CMAKE_LINKER} -v OUTPUT_VARIABLE LINKER_ID ERROR_VARIABLE LINKER_ID)
152   string(REGEX MATCH "GNU" LINKER_ID "${LINKER_ID}")
153   if(${CMAKE_Fortran_COMPILER_ID} MATCHES "GNU"
154      AND NOT "${LINKER_ID}" MATCHES "GNU")
155        list(APPEND CMAKE_Fortran_COMPILE_OPTIONS_IPO "-ffat-lto-objects")
156   endif()
157
158   # "Since version 4.9 gcc produces slim object files that only contain
159   # the intermediate representation. In order to handle archives of
160   # these objects you have to use the gcc wrappers:
161   # gcc-ar, gcc-nm and gcc-ranlib."
162   if(${CMAKE_C_COMPILER_ID} STREQUAL "GNU"
163       AND CMAKE_C_COMPILER_VERSION VERSION_GREATER "4.8")
164     set (CMAKE_AR gcc-ar)
165     set (CMAKE_RANLIB gcc-ranlib)
166   endif()
167 endif()
168
169 if (CMAKE_C_COMPILER_ID MATCHES "Intel")
170   # honor parentheses when determining the order of expression evaluation.
171   # disallow optimizations for floating-point arithmetic with Nans or +-Infs (breaks Eigen3)
172   set(optCFLAGS "${optCFLAGS} -fprotect-parens -fno-finite-math-only")
173 endif()
174
175 if(NOT enable_debug)
176   set(CMAKE_C_FLAGS "-DNDEBUG ${CMAKE_C_FLAGS}")
177   set(CMAKE_CXX_FLAGS "-DNDEBUG ${CMAKE_CXX_FLAGS}")
178 endif()
179
180 set(CMAKE_C_FLAGS   "${warnCFLAGS} ${CMAKE_C_FLAGS}   ${optCFLAGS}")
181 set(CMAKE_CXX_FLAGS "${warnCXXFLAGS} ${CMAKE_CXX_FLAGS} ${optCFLAGS}")
182
183 # Try to make Mac a bit more compliant to open source standards
184 if(CMAKE_SYSTEM_NAME MATCHES "Darwin")
185   set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -D_XOPEN_SOURCE=700 -D_DARWIN_C_SOURCE")
186 endif()
187
188 set(TESH_OPTION "")
189 if(enable_coverage)
190   find_program(GCOV_PATH NAMES ENV{GCOV} gcov)
191   if(GCOV_PATH)
192     set(COVERAGE_COMMAND "${GCOV_PATH}" CACHE FILEPATH "Coverage testing tool (gcov)" FORCE)
193     set(COVERAGE_BUILD_FLAGS "-fprofile-arcs -ftest-coverage -fprofile-abs-path")
194     set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -DCOVERAGE ${COVERAGE_BUILD_FLAGS}")
195     set(CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} ${COVERAGE_BUILD_FLAGS}")
196     set(CMAKE_Fortran_FLAGS "${CMAKE_Fortran_FLAGS} ${COVERAGE_BUILD_FLAGS}")
197     set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -DCOVERAGE ${COVERAGE_BUILD_FLAGS}")
198     add_definitions(${COVERAGE_BUILD_FLAGS})
199   endif()
200 endif()
201
202 if(enable_address_sanitizer)
203     set(CMAKE_C_FLAGS   "${CMAKE_C_FLAGS} -fsanitize=address -fno-omit-frame-pointer")
204     set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fsanitize=address -fno-omit-frame-pointer")
205     set(CMAKE_C_LINK_FLAGS "${CMAKE_C_LINK_FLAGS} -fsanitize=address")
206     set(TESH_OPTION --enable-sanitizers)
207     try_compile(HAVE_SANITIZER_ADDRESS ${CMAKE_BINARY_DIR} ${CMAKE_HOME_DIRECTORY}/tools/cmake/test_prog/prog_asan.cpp)
208     try_compile(HAVE_SANITIZER_ADDRESS_FIBER_SUPPORT ${CMAKE_BINARY_DIR} ${CMAKE_HOME_DIRECTORY}/tools/cmake/test_prog/prog_asan.cpp
209       COMPILE_DEFINITIONS -DCHECK_FIBER_SUPPORT)
210 else()
211     set(HAVE_SANITIZER_ADDRESS FALSE CACHE INTERNAL "")
212     set(HAVE_SANITIZER_ADDRESS_FIBER_SUPPORT FALSE CACHE INTERNAL "")
213 endif()
214
215 if(enable_thread_sanitizer)
216     set(CMAKE_C_FLAGS   "${CMAKE_C_FLAGS} -fsanitize=thread -fno-omit-frame-pointer -no-pie")
217     set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fsanitize=thread -fno-omit-frame-pointer -no-pie")
218     if(CMAKE_COMPILER_IS_GNUCXX AND (NOT (CMAKE_CXX_COMPILER_VERSION VERSION_LESS "12.0")))
219         set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wno-error=tsan")
220     endif()
221     set(CMAKE_C_LINK_FLAGS "${CMAKE_C_LINK_FLAGS} -fsanitize=thread -no-pie")
222     try_compile(HAVE_SANITIZER_THREAD ${CMAKE_BINARY_DIR} ${CMAKE_HOME_DIRECTORY}/tools/cmake/test_prog/prog_tsan.cpp)
223     try_compile(HAVE_SANITIZER_THREAD_FIBER_SUPPORT ${CMAKE_BINARY_DIR} ${CMAKE_HOME_DIRECTORY}/tools/cmake/test_prog/prog_tsan.cpp
224       COMPILE_DEFINITIONS -DCHECK_FIBER_SUPPORT)
225 else()
226     set(HAVE_SANITIZER_THREAD FALSE CACHE INTERNAL "")
227     set(HAVE_SANITIZER_THREAD_FIBER_SUPPORT FALSE CACHE INTERNAL "")
228 endif()
229
230 if(enable_undefined_sanitizer)
231     set(CMAKE_C_FLAGS   "${CMAKE_C_FLAGS} -fsanitize=undefined -fno-omit-frame-pointer")
232     set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fsanitize=undefined -fno-omit-frame-pointer")
233     set(CMAKE_C_LINK_FLAGS "${CMAKE_C_LINK_FLAGS} -fsanitize=undefined")
234 endif()
235
236 if(NOT $ENV{CFLAGS} STREQUAL "")
237   message(STATUS "Add CFLAGS: \"$ENV{CFLAGS}\" to CMAKE_C_FLAGS")
238   set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} $ENV{CFLAGS}")
239 endif()
240
241 if(NOT $ENV{CXXFLAGS} STREQUAL "")
242   message(STATUS "Add CXXFLAGS: \"$ENV{CXXFLAGS}\" to CMAKE_CXX_FLAGS")
243   set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} $ENV{CXXFLAGS}")
244 endif()
245
246 if(NOT $ENV{LDFLAGS} STREQUAL "")
247   message(STATUS "Add LDFLAGS: \"$ENV{LDFLAGS}\" to CMAKE_C_LINK_FLAGS")
248   set(CMAKE_C_LINK_FLAGS "${CMAKE_C_LINK_FLAGS} $ENV{LDFLAGS}")
249 endif()