I'm experimentally rebuilding rawhide with the not-yet-released GCC 15 to see if anything breaks, and to help write the porting guide. See https://fedoraproject.org/wiki/User:Dmalcolm/gcc-15 My test build with GCC 15 failed on x86_64: https://copr.fedorainfracloud.org/coprs/dmalcolm/gcc-15-smoketest-3.failed/build/8476160/ whereas my test build with GCC 14 succeeded: https://copr.fedorainfracloud.org/coprs/dmalcolm/gcc-15-smoketest-3.failed.checker/build/8478154/ Looking at the failure log https://download.copr.fedorainfracloud.org/results/dmalcolm/gcc-15-smoketest-3.failed/fedora-rawhide-x86_64/08476160-cbmc/builder-live.log.gz I see various errors, such as: Tests failed 4 of 252 tests failed, 19 tests skipped Failed test: Header_files1/test.desc /usr/lib/gcc/x86_64-redhat-linux/15/include/stddef.h:450:1: error: failed to find symbol 'nullptr' typedef __typeof__(nullptr) nullptr_t; CONVERSION ERROR EXIT=1 SIGNAL=0 Failed Header_files1/test.desc lines: ^EXIT=0$ [FAILED] ^CONVERSION ERROR$ [FAILED] Failed test: gcc_builtins6/test.desc /usr/lib/gcc/x86_64-redhat-linux/15/include/stddef.h:450:1: error: failed to find symbol 'nullptr' typedef __typeof__(nullptr) nullptr_t; CONVERSION ERROR EXIT=1 SIGNAL=0 Failed gcc_builtins6/test.desc lines: ^EXIT=0$ [FAILED] ^CONVERSION ERROR$ [FAILED] Failed test: human-readable-error-on-wrong-main-signature/test.desc /usr/lib/gcc/x86_64-redhat-linux/15/include/stddef.h:450:1: error: failed to find symbol 'nullptr' typedef __typeof__(nullptr) nullptr_t; CONVERSION ERROR EXIT=1 SIGNAL=0 Failed human-readable-error-on-wrong-main-signature/test.desc lines: 'main' with signature .* found [FAILED] Failed test: linking_contracts1/test.desc header.h: In function 'bool': header.h:3:1: error: syntax error before 'util_func' bool util_func(int a) PARSING ERROR This might be due to GCC 15 now defaulting to -std=gnu23, whereas GCC 14 defaulted to -std=gnu17, and: * C23 is stricter about function prototypes than C17 * there are various new keywords in C23, including "bool" Reproducible: Always
This bug appears to have been reported against 'rawhide' during the Fedora Linux 42 development cycle. Changing version to 42.
This should be resolved by the following upstream PRs: * https://github.com/diffblue/cbmc/pull/8620 * https://github.com/diffblue/cbmc/pull/8623
*** Bug 2339958 has been marked as a duplicate of this bug. ***