commit 525ca82e984d9d34919243bcf34174a2c60ec73c
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 - d2c0ffbfe415aa05ddbc5dc185f014b117bc745f
commit + 525ca82e984d9d34919243bcf34174a2c60ec73c
blob - c88755c57a588c1dafa70ab14ee6d0999a3d644f
blob + c9524e9ae7233e0a9969665e48aa371b03ef0ecb
--- cmake/compiler.cmake
+++ cmake/compiler.cmake
@@ -239,16 +239,6 @@ macro(enable_tnt_compile_flags)
             object-size
             # Not interested in checking arithmetic with NULL.
             pointer-overflow
-            # Intrusive data structures may abuse '&obj->member' on pointer
-            # 'obj' which is not really a pointer at an object of its type.
-            # For example, rlist uses '&item->member' expression in macro cycles
-            # to check end of cycle, but on the last iteration 'item' points at
-            # the list metadata head, not at an object of type stored in this
-            # list.
-            vptr
-            # Integer overflow and truncation are disabled due to extensive
-            # usage of this UB in SQL code to 'implement' some kind of int65_t.
-            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
             # obj == NULL, or memcpy() with NULL argument and 0 size. All