Source: cbmc Version: 5.10-1 Severity: serious Tags: ftbfs https://buildd.debian.org/status/package.php?p=cbmc&suite=sid
... [31mTests failed[0m 2 of 164 tests failed, 10 tests skipped Failed test: gcc_float_types1 main.c: In function '__float80': main.c:8:1: error: syntax error before `f80' PARSING ERROR EXIT=1 SIGNAL=0 Failed test.desc lines: ^EXIT=0$ [FAILED] Failed test: gcc_types_compatible_p1 main.c:108:1: error: syntax error before `__float80' PARSING ERROR EXIT=1 SIGNAL=0 Failed test.desc lines: ^EXIT=0$ [FAILED] make[4]: *** [Makefile:13: test] Error 2 The gcc documentation says: * '__float80' is available on the i386, x86_64, and IA-64 targets, and supports the 80-bit ('XFmode') floating type. It is an alias for the type name '_Float64x' on these targets. Note that the build successes on some non-x86 non-release architectures are build with nocheck.