Sanitizer polishing. #509

Job	Run time
doc-clang-15-release	9s
build-gcc-9-debug	3m 42s
build-gcc-9-release	3m 42s
build-gcc-9-relwithdebinfo	3m 44s
build-gcc-9-minsizerel	3m 48s
build-gcc-10-debug	3m 45s
build-gcc-10-release	3m 47s
build-gcc-10-relwithdebinfo	3m 45s
build-gcc-10-minsizerel	3m 47s
build-gcc-11-debug	3m 46s
build-gcc-11-release	3m 40s
build-gcc-11-relwithdebinfo	3m 46s
build-gcc-11-minsizerel	3m 51s
build-gcc-13-debug	3m 46s
build-gcc-13-release	3m 45s
build-gcc-13-relwithdebinfo	3m 44s
build-gcc-13-minsizerel	3m 47s
build-clang-13-debug	3m 49s
build-clang-13-release	3m 49s
build-clang-13-relwithdebinfo	3m 47s
build-clang-13-minsizerel	3m 49s
build-clang-15-debug	3m 45s
build-clang-15-release	3m 47s
build-clang-15-relwithdebinfo	3m 48s
build-clang-15-minsizerel	3m 48s
build-clang-15-relwithdebinfo-asan	3m 49s
build-clang-15-relwithdebinfo-ubsan	3m 51s
build-clang-15-relwithdebinfo-tsan	3m 47s
build-clang-16-debug	3m 52s
build-clang-16-release	3m 47s
build-clang-16-relwithdebinfo	3m 49s
build-clang-16-minsizerel	3m 50s
build-clang-16-relwithdebinfo-asan	3m 47s
build-clang-16-relwithdebinfo-ubsan	3m 44s
build-clang-16-relwithdebinfo-tsan	3m 47s
build-clang-17-debug	3m 45s
build-clang-17-release	3m 47s
build-clang-17-relwithdebinfo	3m 51s
build-clang-17-minsizerel	3m 46s
build-clang-17-relwithdebinfo-asan	3m 50s
build-clang-17-relwithdebinfo-ubsan	3m 45s
build-clang-17-relwithdebinfo-tsan	3m 46s
	2h 35m 9s

Provide feedback