commit - d2c0ffbfe415aa05ddbc5dc185f014b117bc745f
commit + 525ca82e984d9d34919243bcf34174a2c60ec73c
blob - c88755c57a588c1dafa70ab14ee6d0999a3d644f
blob + c9524e9ae7233e0a9969665e48aa371b03ef0ecb
--- cmake/compiler.cmake
+++ cmake/compiler.cmake
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