@@ -200,6 +200,10 @@ if (SANITIZE)
200
200
elseif (sanitizer STREQUAL "undefined" )
201
201
# The following flags not used by fuzzer but used by us may create problems, so consider
202
202
# disabling them: alignment, pointer-overflow.
203
+ # The following flag is not used by us to reduce terminal noise
204
+ # i.e., warnings printed on stderr: unsigned-integer-overflow
205
+ # Note: The C++ standard does not officially consider unsigned integer overflows
206
+ # to be undefined behavior since they are implementation independent.
203
207
# Flags are alphabetically sorted and are for clang v10.0
204
208
list (APPEND undefinedSanitizerChecks
205
209
alignment
@@ -217,18 +221,12 @@ if (SANITIZE)
217
221
returns-nonnull-attribute
218
222
shift
219
223
signed-integer-overflow
220
- unsigned-integer-overflow
221
224
unreachable
222
225
vla-bound
223
226
vptr
224
227
)
225
228
list (JOIN undefinedSanitizerChecks "," sanitizerChecks )
226
- list (REMOVE_ITEM undefinedSanitizerChecks unsigned-integer-overflow )
227
- # The fuzzer excludes reports of unsigned-integer-overflow. Hence, we remove it
228
- # from the -fno-sanitize-recover checks. Consider reducing this list if we do not
229
- # want to be notified about other failed checks.
230
- list (JOIN undefinedSanitizerChecks "," dontRecoverFromChecks )
231
- set (CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fsanitize=${sanitizerChecks} -fno-sanitize-recover=${dontRecoverFromChecks} " )
229
+ set (CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fsanitize=${sanitizerChecks} -fno-sanitize-recover=${sanitizerChecks} " )
232
230
endif ()
233
231
endif ()
234
232
0 commit comments