[Tarantool-patches] [PATCH 0/2] ASAN build

Alexander Turenko alexander.turenko at tarantool.org
Mon Jun 15 17:01:42 MSK 2020


LGTM except broken coverage reporting:

https://travis-ci.org/github/tarantool/tarantool/jobs/698246927

It looks quite similar to
https://github.com/tarantool/tarantool/commit/415c05868f95b45a56904d5aa581358aced05efe

Maybe we should add '-o ${CMAKE_BINARY_DIR}/src/box/sql/parse.c' to
lemon call to write absolute path in #line directives, which may help to
avoid ambiguity.

WBR, Alexander Turenko.

On Sun, Jun 14, 2020 at 06:24:29PM +0200, Vladislav Shpilevoy wrote:
> The build was broken because sql static library couldn't find some
> box symbols, when UB sanitizer was enabled.
> 
> Appeared, that the whole sql library was broken, because there was
> a cyclic dependency between box and sql libraries.
> 
> The patch merged sql and box libraries.
> 
> After their merge appeared that some UB sanitations 'woken up' and
> started failing, about nullability attributes and usage of NULL
> pointers. All of them were false-positive so the second patch
> disabled them.
> 
> After this patchset the build works, but the tests don't pass
> because of this:
> https://github.com/tarantool/tarantool/issues/5078.
> 
> Branch: http://github.com/tarantool/tarantool/tree/gerold103/gh-5067-asan-build
> Issue: https://github.com/tarantool/tarantool/issues/5067
> Issue: https://github.com/tarantool/tarantool/issues/4609
> 
> Vladislav Shpilevoy (2):
>   sql: don't build sql as a separate library
>   cmake: split UB sanitations into separate flags.
> 
>  cmake/compiler.cmake       |  44 +++++++++++++--
>  src/CMakeLists.txt         |   2 +-
>  src/box/CMakeLists.txt     | 101 ++++++++++++++++++++++++++++++++--
>  src/box/sql/CMakeLists.txt | 109 -------------------------------------
>  4 files changed, 138 insertions(+), 118 deletions(-)
>  delete mode 100644 src/box/sql/CMakeLists.txt
> 
> -- 
> 2.21.1 (Apple Git-122.3)
> 


More information about the Tarantool-patches mailing list