commit d2c0ffbfe415aa05ddbc5dc185f014b117bc745f
from: Sergey Bronnikov <estetus@gmail.com>
via: Sergey Bronnikov <sergeyb@tarantool.org>
date: Wed Oct 16 15:42:17 2024 UTC

not needed checks

Fixes #
Closes #
Needed for #
See also #

NO_CHANGELOG=internal
NO_DOC=internal
NO_TEST=internal

commit - 4ab164af72b65c58a08c9c2e4cea46730242bb29
commit + d2c0ffbfe415aa05ddbc5dc185f014b117bc745f
blob - 590153b2ffc2eca0676a2d1aef49ed57e7f7c9f0
blob + c88755c57a588c1dafa70ab14ee6d0999a3d644f
--- cmake/compiler.cmake
+++ cmake/compiler.cmake
@@ -248,8 +248,6 @@ macro(enable_tnt_compile_flags)
             vptr
             # Integer overflow and truncation are disabled due to extensive
             # usage of this UB in SQL code to 'implement' some kind of int65_t.
-            implicit-signed-integer-truncation
-            implicit-integer-sign-change
             signed-integer-overflow
             # NULL checking is disabled, because this is not a UB and raises
             # lots of false-positive fails such as typeof(*obj) with
@@ -261,10 +259,7 @@ macro(enable_tnt_compile_flags)
             # related to return.
             null
             nonnull-attribute
-            nullability-arg
             returns-nonnull-attribute
-            nullability-assign
-            nullability-return
         )
         # GCC has no "function" UB check. See details here:
         # https://gcc.gnu.org/onlinedocs/gcc/Instrumentation-Options.html#index-fsanitize_003dundefined