C++ front-end fixes #10285

Job	Run time
check-docker-image	21m 23s
check-macos-12-cmake-clang	34m 53s
check-macos-13-make-clang	1h 6m 19s
check-string-table	2m 3s
check-ubuntu-20_04-cmake-gcc	18m 55s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	3m 30s
check-ubuntu-20_04-cmake-gcc-THOROUGH	1h 46m 54s
check-ubuntu-20_04-make-clang	25m 28s
check-ubuntu-20_04-make-clang-smt-z3	4m 31s
check-ubuntu-20_04-make-gcc	34m 34s
check-ubuntu-22_04-cmake-gcc	17m 48s
check-ubuntu-22_04-cmake-gcc-32bit	15m 5s
check-ubuntu-22_04-make-clang	19m 35s
check-ubuntu-24_04-cmake-gcc-14	16m 27s
check-vs-2019-cmake-build-and-test	31m 20s
check-vs-2022-make-build-and-test	19m 40s
include-what-you-use	22m 49s
windows-msi-package	6m 36s
	7h 47m 50s

Provide feedback