Sanitizer polishing. #518

Job	Run time
doc-clang-15-release	7m 22s
build-gcc-9-debug	23m 48s
build-gcc-9-release	36m 1s
build-gcc-9-relwithdebinfo	39m 12s
build-gcc-9-minsizerel	29m 58s
build-gcc-10-debug	25m 15s
build-gcc-10-release	34m 4s
build-gcc-10-relwithdebinfo	40m 3s
build-gcc-10-minsizerel	29m 41s
build-gcc-11-debug	25m 11s
build-gcc-11-release	33m 36s
build-gcc-11-relwithdebinfo	38m 40s
build-gcc-11-minsizerel	29m 29s
build-gcc-13-debug	26m 39s
build-gcc-13-release	35m 32s
build-gcc-13-relwithdebinfo	39m 14s
build-gcc-13-minsizerel	30m 55s
build-clang-13-debug	23m 13s
build-clang-13-release	30m 58s
build-clang-13-relwithdebinfo	34m 23s
build-clang-13-minsizerel	28m 52s
build-clang-15-debug	24m 51s
build-clang-15-release	30m 35s
build-clang-15-relwithdebinfo	33m 11s
build-clang-15-minsizerel	27m 56s
build-clang-15-relwithdebinfo-asan	48m 52s
build-clang-15-relwithdebinfo-ubsan	43m 3s
build-clang-15-relwithdebinfo-tsan	39m 27s
build-clang-16-debug	26m 2s
build-clang-16-release	31m 14s
build-clang-16-relwithdebinfo	33m 58s
build-clang-16-minsizerel	29m 29s
build-clang-16-relwithdebinfo-asan	50m 56s
build-clang-16-relwithdebinfo-ubsan	50m 20s
build-clang-16-relwithdebinfo-tsan	39m 33s
build-clang-17-debug	26m 6s
build-clang-17-release	31m 41s
build-clang-17-relwithdebinfo	35m 36s
build-clang-17-minsizerel	29m 13s
build-clang-17-relwithdebinfo-asan	49m 44s
build-clang-17-relwithdebinfo-ubsan	51m 41s
build-clang-17-relwithdebinfo-tsan	37m 4s
	23h 32m 38s

Provide feedback