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.
