Sanitizer polishing. #507

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

Provide feedback