From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp51.i.mail.ru (smtp51.i.mail.ru [94.100.177.111]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by dev.tarantool.org (Postfix) with ESMTPS id 70A91469710 for ; Fri, 5 Jun 2020 02:43:19 +0300 (MSK) From: Vladislav Shpilevoy Date: Fri, 5 Jun 2020 01:43:05 +0200 Message-Id: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Subject: [Tarantool-patches] [PATCH 00/11] Enable miscelaneous sanitations List-Id: Tarantool development patches List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: tarantool-patches@dev.tarantool.org, tsafin@tarantool.org, alyapunov@tarantool.org The patchset is a second part of the undefined behaviour fixes. It is based on the UB alignment patchset, and enables all the other UB checks except a few last ones, described in the first commit. Branch: http://github.com/tarantool/tarantool/tree/gerold103/gh-4609-sanitize-misc-full-ci Issue: https://github.com/tarantool/tarantool/issues/4609 Aleksandr Lyapunov (1): salad: fix UB pointer arithmetics in bps_tree Vladislav Shpilevoy (10): cmake: enable misc types of UB detection in clang util: introduce double_compare_nint64() test: avoid usleep() usage for error injections vinyl: fix 0 division in case of canceled dump xrow: don't cast double to float unconditionally swim: fix zero division test: fix signed integer overflow in vclock test digest: eliminate UBs from guava() sql: fix usage of not initialized index_stat sql: fix mem_apply_type double type truncation cmake/compiler.cmake | 16 ++++++++++++++- src/box/sql/vdbe.c | 18 +++++++++++------ src/box/sql/vdbeaux.c | 16 +++++++-------- src/box/sql/where.c | 4 ++-- src/box/tuple_compare.cc | 9 ++------- src/box/vy_regulator.c | 10 ++++++---- src/box/vy_run.c | 2 +- src/box/vy_scheduler.c | 2 +- src/box/xrow_update_field.c | 19 +++++++++--------- src/lib/core/util.c | 39 ++++++++++++++++++++++++++++++++++++- src/lib/salad/bps_tree.h | 14 ++++++------- src/lib/salad/guava.c | 18 ++++++++++------- src/lib/salad/guava.h | 2 +- src/lib/swim/swim.c | 10 +++++----- src/lua/digest.lua | 2 +- src/trivia/util.h | 29 +++++++++++++++++++++++++++ test/app/digest.result | 2 +- test/box/update.result | 2 +- test/box/update.test.lua | 2 +- test/unit/vclock.cc | 28 +++++++++++++------------- test/unit/vclock.result | 2 +- 21 files changed, 167 insertions(+), 79 deletions(-) -- 2.21.1 (Apple Git-122.3)